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

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

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.

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 ...

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

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.