OpenAI ने दस गणितीय और सैद्धांतिक कंप्यूटर विज्ञान समस्याओं के समाधान जारी किए हैं, जिनके मुख्य परिणामों पर कम से कम एक दशक से कोई प्रगति नहीं हुई थी, अपने अगले प्रमुख मॉडल Astra के आंतरिक संस्करण का उपयोग करके।
कंपनी का दावा है कि उसने प्रत्येक समस्या पर GPT-5.6 Sol टोकन कीमतों पर $2,000 से कम खर्च किया है। openai/ten-proofs रिपॉजिटरी में इन परिणामों के Lean 4 फॉर्मलाइज़ेशन शामिल हैं, साथ ही एक पेपर जो समाधानों का वर्णन करता है और एक LLM-जनित PDF जो प्रकाशित नहीं किए गए तर्क ट्रेस से प्रमाण प्रक्रिया को पुनः निर्मित करता है।
यह विकास गणितज्ञ Terence Tao के "बड़ी गणित" के दृष्टिकोण के अनुरूप है, जहाँ AI मानव-मशीन सहयोग में तकनीकी कठिन काम संभालता है।