As AI produces mathematical results at scale, researchers are debating what should count as progress in the field. Fields ...

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

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

OpenAI's AI model has solved a Millennium Prize problem, sparking concerns about the implications of machine-driven solutions ...

After provoking controversy and concern when an artificial intelligence (AI) agent solved a math equation no human has ever been able to solve – OpenAI has done it again – precisely 372 times. As ...

OpenAI says 722 new manuscripts solve 90 of about 500 hard math problems, a claim mathematicians are now checking line by ...

Such a glut has left some queasy. The excitement of potential new mathematical truths is, for many researchers, freighted ...

AI systems solved and verified over 300 open math problems using formal Lean proofs, signaling a major leap for automated ...

This staggering quantity of mathematical progress builds on AI developments that have unsettled the research community.

US tech giant OpenAI on Tuesday said it had solved one of the hardest problems in mathematics with an unreleased artificial intelligence model after just 88 hours – and millions of dollars' worth ...

A leading US math scholar criticizes OpenAI for disrupting the mathematical ecosystem and releasing rushed proofs for AI math ...

An internal model trained from August 28 has reportedly resolved the Navier-Stokes equations and more than 100 long-standing ...