Ten advances in mathematics and theoretical computer science

Summary

OpenAI reports ten new results on open mathematics and theoretical computer science problems, each open for at least a decade. The results were achieved by an internal version of its next major model, Astra, at a token cost of roughly $2,000 at Sol API rates. Humans then prepared the arguments as manuscripts, and the model formalized each argument in a Lean certificate.

Related items

• InfoChatGPT is getting verified AI ‘Business Agents’Same vendor · The Verge (AI)
• InfoAnthropic set for $1.3tn stock market debut despite 'catastrophic' AI warningSame vendor · BBC Technology
• InfoAnthropic targets $1.4 trillion IPOSame vendor · The Verge (AI)
• InfoHelping caregivers use AI in everyday lifeSame vendor · OpenAI Blog
• InfoChatGPT’s Teen Mode could deprive teenagers of a fundamental need | Robin KirmanSame vendor · The Guardian Technology