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

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

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

OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical researchers consulted by the frontier ...

OpenAI posted 719 math manuscripts from an unreleased model a week after its advisory group asked labs to stop testing math on proprietary models.

OpenAI released 377 math results, and the Institute for Advanced Study warns human understanding of AI-generated proofs must stay central.

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

An independent advisory board hosted by the Institute for Advanced Study, which does not support the testing of AI models on ...

OpenAI organized the results into 372 groups and said it had given the model about 4,000 problems. The release gives ...

Google DeepMind, Google LLC’s artificial intelligence research unit, today unveiled two new AI models that are capable of advanced mathematical reasoning for solving complex math problems, which ...

OpenAI has released AI-generated math results, prompting debate over proof verification, and the pace of mathematical ...