OpenAI

News, model launches and hands-on guides about OpenAI — GPT, Sora and the OpenAI API.

Latest

$Abstract desk scene with blank papers, geometric forms, and a glowing network suggesting AI-assisted mathematics.$

openaiOctober 9, 202611 min read

OpenAI’s math claims expose AI’s verification bottleneck

Reports of OpenAI models solving major math problems point to a deeper issue: proof generation is getting cheaper, while verification, attribution, and publication still move at human speed.

All posts

Abstract legal research workspace with documents, search nodes and governance controls.

openaiSeptember 18, 202610 min read

OpenAI’s Astra for Law is a legal AI system, not a new model

OpenAI’s legal launch is less about a new foundation model than the system around one: domain retrieval, trusted tools, permissions, benchmarks and review paths.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.

openaiSeptember 11, 202611 min read

OpenAI’s Navier–Stokes proof claim, explained

OpenAI says AI agents found a Navier–Stokes singularity and formalized the proof in Lean. The harder story is what happens next: review, credit, and the power of private agent swarms in mathematics.