Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early August 2026 pushed the story into new territory. The company said its latest ...

The company also released research papers, Lean-certified proofs, and the model’s reasoning walkthroughs for each result.

OpenAI has introduced Astra, its next-generation AI model, which has reportedly made significant strides in solving ten ...

OpenAI is known to drop research bombs with no great announcement, and the newest one requires a closer look than just the ...

OpenAI's unreleased model, Astra, has resolved 10 longstanding mathematical problems, sparking debates about the role of AI ...