AI system TongGeometry generates and solves olympiad-level geometry problems

The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.
Scientific American

AI just got its toughest math test yet. The results are mixed

Experts gave AI 10 math problems to solve in a week. OpenAI, researchers and amateurs all gave it their best shot ...
Scientific American

Is AI on the precipice of revolutionizing math? It depends

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...
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 ...
usace.army.mil

Math Night at the Commissary brings students, family together

The Fort Jackson Commissary became a de facto mathematics lab for C.C. Pinckney Elementary School during its annual Math Night at the Commissary event, held Jan. 22. “This helps with their basic math ...
Android Police

I don't use my smartphone the way companies think I do — and that's a problem

When Mitsubishi made your first cellphone, you know you’ve been around a while. Steve has carried the latest and greatest around in his pocket for nearly 30 years, with everything from Motorola ...
IEEE

Reinforcement Learning for Solving Colored Traveling Salesman Problems: An Entropy-Insensitive Attention Approach

Abstract: The utilization of neural network models for solving combinatorial optimization problems (COPs) has gained significant attention in recent years and has demonstrated encouraging outcomes in ...