Mathematical model suggests global population could drop 50% by 2064 under extreme conditions, but UN projections show steady ...

In a new open-access study that I published with my late colleague Kostya Trachenko from Queen Mary University of London, I propose a surprisingly simple nonlinear mathematical equation that unifies ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now If you haven’t heard of “Qwen2” it’s ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new problems. The gap between polished performance on familiar benchmarks and ...

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

AI large language models have been especially weak on math. There are now several papers from Google Deep Mind, Alibaba and other universities where AI large language models are at Math Olympiad ...

When researchers at Tsinghua University and other institutions built MMMU-Pro, they designed it to be nearly impossible to ...

Video: This intriguing theory from a master of conceptual science might end up being crucial to new AI advances. Get ready for a lot of math…! We have sort of an intuitive understanding of a big need ...