15 महीने से भी कम समय पहले स्टैनफोर्ड से ड्रॉपआउट द्वारा स्थापित एक स्टार्टअप दावा करती है कि उसने ऐसा कुछ किया है जो आमतौर पर मानव गणितज्ञों को दशकों लगते हैं: एक एआई प्रणाली का उपयोग करके गणित में कई अनसुलझे समस्याओं को हल किया, और फिर अकादमिक संस्थानों द्वारा अपना कार्य स्वीकार कराया।
एक्सियम मैथ, पालो आल्टो स्थित कंपनी जिसका नेतृत्व संस्थापक कैरिना हॉंग कर रहे हैं, का कहना है कि उसका एक्सियमप्रूवर सिस्टम ने पहले हल नहीं हो पाए चार गणितीय समस्याओं को हल कर लिया है। इन सबूतों को फरवरी 2026 में arXiv पर पोस्ट किया गया था, लेकिन मई 2026 के अंत तक, कोई भी पीयर-रिव्यूड जर्नल प्रकाशन पुष्टि नहीं हुआ है — एक विशेषता जिसे लेख का संदर्भ छिपा रहा है।
अक्सियम ने वास्तव में क्या हल किया
AxiomProver द्वारा हल किए जाने वाले समस्याएँ साधारण अभ्यास नहीं हैं। इनमें से कुछ परिणाम बीजीय ज्यामिति में महत्वपूर्ण अनुमानों और फेल के अनुमान, जो श्रीनिवास रामानुजन के कार्य से संबंधित है, के हल हैं। एक हल किए गए समस्या में 20 साल पुराना संख्या सिद्धांत का अनुमान शामिल है।
साबिती में से कम से कम एक स्थापित गणितज्ञों के सहयोग से प्राप्त हुई, केवल मशीन का आउटपुट नहीं।
कंपनी Lean प्रूफ सहायक के माध्यम से औपचारिक सत्यापन का उपयोग करती है। यह केवल एक प्रूफ जैसा दिखने वाला पाठ उत्पन्न नहीं करती और उम्मीद नहीं करती कि यह सही होगा, बल्कि AxiomProver प्रत्येक चरण पर तार्किक वैधता के लिए मैकेनिकली जांचे गए प्रूफ उत्पन्न करता है। यह औपचारिक सत्यापन परत ही उस कार्य को विश्वसनीयता प्रदान करती है जो सामान्य बड़े भाषा मॉडल के आउटपुट में नहीं होती।
इसके पीछे का पैसा और टीम
एक्सियम मैथ ने मेनलो वेंचर्स द्वारा नेतृत्व किए गए सीरीज़ A फंडिंग में 200 मिलियन डॉलर जुटाए, जिससे इसका पोस्ट-मनी वैल्यूएशन 1.6 अरब डॉलर हो गया। इससे पहले 64 मिलियन डॉलर के बीज निवेश के अलावा, कुल ज्ञात फंडिंग 264 मिलियन डॉलर हो गई। हॉंग ने मार्च 2025 में स्टैनफोर्ड के संयुक्त J.D./Ph.D. कार्यक्रम को छोड़कर इस उद्यम की शुरुआत की।
केन ओनो, जो रामानुजन की विरासत और मॉड्यूलर फॉर्म्स पर अपने कार्य के लिए प्रसिद्ध संख्या सिद्धांतविद् हैं, एक्सियम मैथ में एक संस्थापक गणितज्ञ के रूप में शामिल हुए।
एआई और गणित के लिए बड़ी तस्वीर
एक्सियम मैथ एक खाली स्थान में काम नहीं कर रहा है। गूगल का डीपमाइंड मैथमेटिकल रीजनिंग में आगे बढ़ रहा है, जिसमें अल्फाप्रूफ सिस्टम सबसे उल्लेखनीय है।
गणितज्ञों के लिए यह मानक प्रथा है कि वे अपने कागजातों की समीक्षा के दौरान arXiv पर प्रीप्रिंट पोस्ट करते हैं, जिस प्रक्रिया में महीनों या यहां तक कि वर्षों लग सकते हैं। फरवरी 2026 के arXiv पोस्टिंग्स वर्तमान में विशेषज्ञों की समीक्षा के अधीन हैं, और मई 2026 के अंत तक कोई भी समीक्षित प्रकाशन पुष्टि नहीं किया गया है।