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.
Latest
All posts
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.