AI Daily
Brief
Explore
Review
Sync offline
◐
← Explore
TAG
#formal-verification
Stories connected through a shared idea, actor, technology or theme.
8 Oct
OpenAI releases a large collection of AI-generated mathematical manuscripts
The 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.
→