OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak ...

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

OpenAI’s unreleased Astra model solved ten decade-old open problems in math and theoretical computer science, posting Lean 4 ...

Hiraku Nakajima, president of the International Mathematical Union, speaks before presenting the Fields Medals during the International Congress of Mathematicians in Philadelphia on July 23, 2026. The ...

Summary: A new study utilizes Koopman operator learning to prove that certain complex, chaotic systems have fundamental predictability limits that cannot be overcome by infinite training data. By ...

A chatbot solution Recently, the company behind ChatGPT, OpenAI, announced that its internal AI model had made progress on a closely related version of this problem, which suggests that Erdős may have ...

An 80-year-old challenge in geometry has been cracked by an artificial-intelligence chatbot after a single prompt from mathematicians at the technology firm OpenAI. The company, based in San Francisco ...

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old ...

In traditional math classrooms, students are often expected to report answers rather than explain their mathematical reasoning. Brief responses directed toward the teacher can limit opportunities for ...

An 80-year-old maths conjecture that has eluded the world’s greatest mathematicians has been cracked by an artificial intelligence model built by OpenAI. The result has stunned experts and is being ...

The proof was independently checked by external mathematicians, while a companion paper explaining the argument and its implications was also released. OpenAI's model has disproved a central ...