TAG

#proofs

Stories connected through a shared idea, actor, technology or theme.

8 OctOpenAI releases a large collection of AI-generated mathematical manuscriptsThe collection contains 722 manuscripts organised into 372 related families, with Lean formalisation available for many but not all results. OpenAI warns that some non-formalised material may contain errors and is inviting community scrutiny.→