Self-Supervised Theorem Discovery in a Formal Axiomatic System
यह शोध पत्र एक स्व-पर्यवेक्षित एजेंट प्रस्तुत करता है जो केवल स्वयंसिद्धों (axioms) और अनुमान नियमों (inference rules) से शुरू होकर स्वायत्त रूप से हजारों अर्थपूर्ण प्रमेयों की खोज करता है और मानव बेंचमार्क समस्याओं को हल करता है, यह प्रदर्शित करते हुए कि उपयोगी गणितीय ज्ञान बिना किसी मानवीय पूर्वग्रह के उभर सकता है और एलएलएम (LLM) तर्क क्षमता को प्रभावी ढंग से बढ़ा सकता है।