Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

Physicist Richard Feynman turned a lunch dilemma into a math problem. Researchers finally cracked his notes and found people ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

A statement can be true or false. But as Kurt Gödel demonstrated, there will always be mathematical assumptions that can ...

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

A battle between “slimes” and “zoglins” could be the best way to calculate pi—at least for fans of this megahit game ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...

For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

Tests of how well 19 large language models (LLMs) complete and perform complicated multi-step tasks has shown that they are both error-prone and, in many cases, unreliable. They said that the ...

Materials inspired by nature, or biomimetic materials, are nothing new. Scientists have designed water-resistant materials inspired by lotus leaves and rose petals, unsinkable metals based on the ...