
OpenAI's mass math release leaves mathematicians years behind
Mathematicians told The Verge that OpenAI's nearly 400 AI-generated results may take years to assess, with about 42% of manuscripts formalized in Lean.
Try in Readeropenaiai mathematics
The AI news that matters for people who make things — what happened, and how to put it to work in Grafy.

Mathematicians told The Verge that OpenAI's nearly 400 AI-generated results may take years to assess, with about 42% of manuscripts formalized in Lean.

Asana achieved a 76x cost reduction and 5x speed improvement for its browser automation agent by switching to OpenAI's GPT-6.1 Sol model, according to a company case stud…