LATEST NEWS
Mathematics at Machine Speed
On October 6, OpenAI posted 722 mathematical manuscripts produced by an unreleased internal model, which the company says represent progress on 372 open problems. Only 162 came with main results checked in the Lean proof assistant. Within a day, three were withdrawn...
AI Is No Longer Waiting to Be Asked
Work can be delegated. Answerability cannot. At DevDay on September 29, 2026, OpenAI introduced agents that can take on ongoing responsibilities. It also opened ChatGPT as a shared surface where people and agents work together, reaching some 1.2 billion users each...
