The puzzle poses a deceptively simple question that boils down to: How many pairs of dots on a piece of paper can be the same ...

On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...

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

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font ...

An 80-year-old challenge in geometry has been cracked by mathematicians working for the tech firm Open AI using a single prompt from an AI chatbot. The company has not revealed all the precise details ...

At 25, Kurt Gödel proved there can never be a mathematical “theory of everything.” Columnist Natalie Wolchover explores the ...

Miami startup Subquadratic says its SubQ model could make AI 1,000 times more efficient and handle 12 million tokens, but researchers remain divided over whether the breakthrough is real.

A new study uses neural networks to prove that memory and individual recognition allow cooperation to defeat selfishness in the prisoner's dilemma.

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

On Friday, Chinese AI firm DeepSeek released a preview of V4, its long-awaited new flagship model. Notably, the model can process much longer prompts than its last generation, thanks to a new design ...