This summer, Sarah Cone wrote a provocative essay asking why today’s billionaire philanthropists don’t build institutions the ...

A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the ...

Adam Sikora’s complex math problem was used for latest round of experiments testing AI’s rapidly evolving mathematical ...

OpenAI's release of over 700 AI-generated mathematical papers sparks hope for accelerated discovery but raises concerns about ...

Earlier this week, OpenAI published a trove of hundreds of mathematical results it claimed could “push the frontier of human ...

He was in seventh grade. He had no online platform, no learning games and no team behind him. What he had was an ...

The aftershocks from OpenAI's proofs come at a time of deeper reckoning for MIT, where AI is almost all anyone can talk about ...

Meta AI mathematics open problems got a new answer on October 2, 2026: six papers co-authored by mathematicians and Muse Spark in Thinking Mode via ordinary meta.ai chat -- five tackling previously ...

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to ...

The field of mathematics was already riled up about AI. Last month, OpenAI said it solved the Navier-Stokes Equation, one of ...

A Science paper on Google DeepMind's AlphaProof Nexus reports proofs for 9 Erdős problems and 44 OEIS conjectures. We look at ...

A new open-source tool automates the search for compact, exact algebraic descriptions of cipher S-boxes, sharply reducing the ...