A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.
Tech Xplore

Why reinforcement learning breaks at scale, and how a new method fixes it

From autonomous cars to video games, reinforcement learning (machine learning through interaction with environments) can have ...

Focusing and defocusing light without a lens: First demonstration of the structured Montgomery effect in free space

Applied physicists in the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) have demonstrated a new way to structure light in custom, repeatable, three-dimensional patterns, ...
IEEE

An efficient method for solving the traveling salesman problem using modern optimization algorithms

Abstract: Metaheuristic algorithms have demonstrated strong effectiveness in solving complex real-world optimization problems. This paper presents two discrete metaheuristic approaches for the ...
IEEE

Geo-Qwen: A Geometry Problem-Solving Method Based on Generative Large Language Models and Heuristic Reasoning

Abstract: Research on geometry problem solving is gaining increasing attention in the field of Natural Language Processing (NLP). Currently, research in geometry problem solving often relies on formal ...