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

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

Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low compute cost.

Mathematicians are reviewing 722 manuscripts from OpenAI's unreleased AI model, covering 372 math problems with Lean proof ...

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...

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

A long-standing problem in discrete geometry involving how many pairs of points can be exactly one unit apart has been addressed using an artificial intelligence system developed by OpenAI, according ...

A max-plus neural architecture aligns deep learning with the polyhedral structure of phylogenetic tree space, cutting ...

Computational algebraic geometry applies algorithmic techniques to problems in algebraic geometry, focusing on the effective manipulation of polynomial ideals and the algebraic varieties they define.