09:06?
OpenAI publishes 722 math manuscripts with proofs checkable in Lean
An internal model is said to have solved open problems, and anyone can verify the proofs by machine instead of taking the claim on trust.
OpenAI released 722 manuscripts in which an internal model solves open math problems, with proofs that can be checked in Lean.
AIArticleENRadar 10Radar