কমপক্ষে ১৫ মাস আগে একজন স্ট্যানফোর্ড ছাড়া ছাত্র দ্বারা প্রতিষ্ঠিত একটি স্টার্টআপ দাবি করছে যে এটি মানুষের গণিতবিদদের জন্য দশকের পর দশক নেওয়ার মতো কিছু করেছে: একটি এআই সিস্টেম ব্যবহার করে গণিতের অনেকগুলি অমীমাংসিত সমস্যা সমাধান করা, এবং তারপর এই কাজটি শিক্ষাগত প্রতিষ্ঠানগুলির দ্বারা গৃহীত হওয়া।
পালো অল্টো ভিত্তিক কোম্পানি অ্যাক্সিয়ম ম্যাথ, যার প্রতিষ্ঠাতা ক্যারিনা হং, দাবি করে যে তাদের অ্যাক্সিয়মপ্রুভার সিস্টেম কমপক্ষে চারটি আগে অসমাধানিত গাণিতিক সমস্যা সমাধান করেছে। প্রমাণগুলি ফেব্রুয়ারি ২০২৬-এ arXiv-এ পোস্ট করা হয়েছিল, কিন্তু ২০২৬ সালের শেষ মে পর্যন্ত, কোনও পিয়ার-রিভিউড জার্নালের প্রকাশনা নিশ্চিত করা হয়নি—একটি বৈশিষ্ট্য যা নিবন্ধটির প্রেক্ষাপটে অস্পষ্ট করে দেওয়া হয়েছে।
অ্যাক্সিয়ম কী সমাধান করেছিল
AxiomProver দ্বারা সমাধান করা সমস্যাগুলি সাধারণ অনুশীলন নয়। এর মধ্যে বীজগণিতীয় জ্যামিতি এবং ফেলের অনুমান—যা শ্রীনিবাস রামানুজনের কাজের সাথে সংযুক্ত—এর গুরুত্বপূর্ণ অনুমানগুলির সমাধান অন্তর্ভুক্ত। সমাধানকৃত একটি সমস্যা ২০ বছরের পুরনো সংখ্যা তত্ত্বের একটি অনুমানকে কেন্দ্র করে।
অন্তত একটি প্রমাণ প্রতিষ্ঠিত গণিতবিদদের সাথে সহযোগিতার ফলে প্রাপ্ত হয়েছে, শুধুমাত্র মেশিন আউটপুট নয়।
কোম্পানিটি Lean প্রুফ সহায়কের মাধ্যমে ফর্মাল যাচাইকরণ ব্যবহার করে। শুধুমাত্র একটি প্রুফের মতো দেখতে টেক্সট তৈরি করে এটি সঠিক কিনা তা আশা করার পরিবর্তে, AxiomProver প্রতিটি ধাপে যান্ত্রিকভাবে যাচাইকৃত যৌক্তিক বৈধতা সহ প্রুফ তৈরি করে। এই ফর্মাল যাচাইকরণ স্তরটিই সাধারণ বড় ভাষা মডেলের আউটপুটের মতো বিশ্বাসযোগ্যতা দেয়।
এর পিছনের টাকা এবং দল
এক্সিয়ম ম্যাথ মেনলো ভেঞ্চার্সের নেতৃত্বে সিরিজ এ ফান্ডিংয়ে 200 মিলিয়ন ডলার আকর্ষণ করেছে, যার ফলে এর পোস্ট-মনি ভ্যালুয়েশন 1.6 বিলিয়ন ডলারে পৌঁছেছে। এর আগে 64 মিলিয়ন ডলারের বীজ বিনিয়োগ ছিল, যার ফলে মোট জানা ফান্ডিং 264 মিলিয়ন ডলারে পৌঁছেছে। হং মার্চ 2025-এ স্ট্যানফোর্ডের একটি যৌথ J.D./Ph.D. প্রোগ্রাম থেকে বেরিয়ে এই উদ্যোগটি শুরু করেন।
কেন ওনো, যিনি রামানুজনের উত্তরাধিকার এবং মডুলার ফর্মের উপর তাঁর কাজের জন্য পরিচিত, তিনি এক্সিয়ম ম্যাথ-এর প্রতিষ্ঠাতা গণিতবিদ হিসেবে যোগদান করেছেন।
এআই এবং গণিতের বড় চিত্র
অক্সিয়ম ম্যাথ একা কাজ করছে না। গুগলের ডিপমাইন্ড মূলত তার অ্যালফাপ্রুফ সিস্টেমের মাধ্যমে গাণিতিক যুক্তির দিকে এগিয়ে যাচ্ছে।
গণিতবিদদের জন্য পিয়ার-রিভিউ প্রক্রিয়া চলাকালীন arXiv-এ প্রিপ্রিন্ট পোস্ট করা একটি মানক অনুশীলন, যে প্রক্রিয়াটি মাস বা এমনকি বছর পর্যন্ত সময় নিতে পারে। ফেব্রুয়ারি ২০২৬-এ arXiv-এ পোস্টকৃত বিষয়বস্তুগুলি বর্তমানে বিশেষজ্ঞদের পর্যালোচনার অধীনে রয়েছে, এবং ২০২৬ সালের মে মাসের শেষের দিকে কোনও পিয়ার-রিভিউকৃত প্রকাশনা নিশ্চিত করা হয়নি।