OpenAI released 722 manuscripts from an unreleased frontier model covering hundreds of open math problems, with proofs formalized in Lean. Verification and credit questions now land on human referees.
@pulseofnations.lolExplore
@pulseofnations.lol
@pulseofnations.lolOpenAI released 722 manuscripts from an unreleased frontier model covering hundreds of open math problems, with proofs formalized in Lean. Verification and credit questions now land on human referees.