बड़ा भाषा मॉडल+रीइन्फ़ोर्समेंट लर्निंग → गणित में AI

DeepMind के AlphaProof और AlphaGeometry 2 अंतरराष्ट्रीय गणित ओलंपियाड के 6 में से 4 सवाल हल करते हैं — 28 अंक, रजत पदक का स्तर — deepmind.google ↗

विज्ञान · शिक्षा

⚑ समर्थन

• विज्ञान / टिमोथी गॉवर्स: “वह साबित करना जो LLM साबित नहीं कर सकते”
• विज्ञान / ह्यूगो ड्यूमिनिल-कोपां: “OpenAI का सैकड़ों AI-प्रमाण एक साथ जारी करना “ज़बरदस्त झटका” है: गणितज्ञों के लिए “अगला दिन आ चुका है”; एक समस्या पर उन्हें लगा जैसे वे पीठ पर किसी को लादकर मैराथन दौड़े हों और वह आख़िरी 100 मीटर में उतरकर उनसे पहले रेखा पार कर गया”
• विज्ञान / जैक क्लार्क: “AI रचनात्मक होता जा रहा है — गणित में भी और ख़ुद AI के शोध में भी, इसलिए पूरा पुनरावर्ती आत्म-सुधार अब 2028 के बजाय 2027 में संभव होने की ज़्यादा संभावना है”

¶ cpmp95wjd