Lean

Research

OpenAI’s 722 mathematics manuscripts: what the collection shows

OpenAI says the collection reports progress on hundreds of open questions, but its catalogue groups related manuscripts and notes that verification is incomplete.

Research Desk·Oct 7