एक वेब डेवलपर ने एआई से 50 साल पुरानी गुत्थी सुलझाई।
जाने-माने वेब डेवलपर डैन अब्रामोव ने 18 सितंबर को कॉनवे की रिफ़ाइनमेंट परिकल्पना का मशीन-जाँचा प्रमाण छापा। उन्होंने पाँच हफ़्ते तक ChatGPT और Claude को चलाया और करीब चालीस हज़ार डॉलर की गणना खर्च की। प्रमाण जाँचने वाला प्रोग्राम नतीजा मान लेता है, पर किसी गणितज्ञ ने अभी नहीं देखा।
यह क्यों मायने रखता हैगणित अब सिर्फ़ गणितज्ञों का काम नहीं रहा, मशीनें बाहर वालों को भी अंदर ले आती हैं। एक कठिन नतीजे की कीमत भी दिख गई, पाँच हफ़्ते और एक पुरानी कार जितना पैसा।
▶ संबंधित वीडियो: John Horton Conway | The surreal numbers
ऐप में पढ़ें — मुफ़्त, 9 भाषाएँ
संबंधित खबरें
चाइना टेलीकॉम का नया खुला मॉडल गेमिंग कार्ड पर चलता है।2026-09-20क्लॉड कोड अब वही नियम फ़ाइल पढ़ता है जो प्रतिद्वंद्वी पढ़ते हैं।
2026-09-19झिपू के मॉडल ने अपने को चलाने वाली प्रणाली तीन गुना तेज़ की।
2026-09-19अलीबाबा ने सीटी में 146 रोग पकड़ने वाला मॉडल मुफ़्त खोल दिया।
2026-09-19मेटा का म्यूज़ अब आपके मैक की फ़ाइलें और मेल पढ़ता है।
2026-09-19