According to OpenAI, their AI models have just accomplished what mathematicians and physicists have been seeking for decades. In one press release alone published on October 26th, OpenAI claimed that ...

OpenAI said its models generated proof that the Exponential Time Hypothesis is false. It also released new results for math ...

OpenAI says its AI systems produced proofs for three major open problems in mathematics, computer science and physics — and ...

Internal AI proofs on harmonic analysis, ETH and quantum field theory enter expert review less than a month after 700 math ...

OpenAI says its internal AI models have cracked three major open questions in math, computer science, and physics. One of ...

OpenAI says one of its internal models has disproved the Exponential Time Hypothesis, a conjecture that computer scientists have leaned on for ...

OpenAI announced that it had obtained "major" discoveries in three fields: mathematics, computer science, and physics. The ...

OpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

Such a glut has left some queasy. The excitement of potential new mathematical truths is, for many researchers, freighted with concern for the future of their field. Unless more care is taken, they ...