New benchmark study results show leading AI models, including ChatGPT, Claude, and Gemini, still lag humans in visual math reasoning.

A Polish mathematician was left surprised after an AI system solved a problem he had spent 20 years developing.

Abstract: Real-world constrained multiobjective optimization problems (CMOPs) are prevalent and often come with stringent time-sensitive requirements. However, most contemporary constrained ...

Google DeepMind’s AlphaProof system solved International Mathematical Olympiad problems at a silver-medal level earlier this year, marking the most concrete demonstration yet that artificial ...

AI stuns researchers by solving a 20-year-old mathematical challenge with near-human reasoning, marking a breakthrough in ...

Jiang Ping, who is majoring in fashion design at Lianshui Secondary Vocational School in Huai'an, Jiangsu province, taught herself advanced mathematics for about two years, and then made it to the ...

A Polish mathematician spent two decades crafting a problem meant to test the limits of artificial intelligence. A new AI ...

A team of students from the University of Engineering and Technology under Vietnam National University–Hanoi has won third ...

Abstract: This work addresses an energy-minimized deadline-constrained task scheduling problem in human-cyber-physical systems. It consists of three subproblems: processor allocation, task sequencing, ...

Mental math shortcuts suggest future STEM performance—and gender is a significant predictor What is 29 + 14?

When teenagers turn to AI for emotional guidance or moral conversation, something important is being displaced ...

Over the past couple of months, several researchers have begun making the same provocative claim: They used generative-AI tools to solve a previously unanswered math problem. The most extreme promises ...