Axiom Math गणिती पुरावे आपोआप तपासण्यासाठी AI एजंट वापरत आहे
Axiom Math ही एक स्टार्टअप कंपनी सांगते की तिच्या AI एजंटनी Stacks Project या मोठ्या गणिती ग्रंथालयाची औपचारिक पडताळणी पूर्ण केली आहे. AI मोठ्या प्रमाणावर गणिती पुरावे तयार करत असल्यामुळे ते आपोआप तपासणे अधिक महत्त्वाचे ठरते, असे कंपनीचे म्हणणे आहे. पुरावे अधिक तयार करण्याऐवजी ते पडताळण्यावर कंपनीचा भर आहे.
सोपा शब्दकोशAxiom Math, formally verified, Stacks Project
- Axiom Math
- एक स्टार्टअप जी AI एजंट बनवते जे गणिती पुरावे तपासतात, त्या बातमीनुसार जिथे हे नाव आले आहे.
- formally verified
- संगणक प्रोग्रामने तपासलेले, ज्यात पुराव्यातील प्रत्येक पायरी तार्किकदृष्ट्या बरोबर असल्याची खात्री केली जाते.
- Stacks Project
- प्रगत गणितावरील एक मोठे, मोफत ऑनलाइन संदर्भ पुस्तक, जे अनेक गणितज्ञांनी एकत्र मिळून लिहिले आहे.
बर्निंग पोटॅटो स्कोअर: 70%