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
Topic: lean formalization
Latest on “lean formalization”
The AI news that matters for people who make things — what happened, and how to put it to work in Grafy.