AI अब गणित के प्रमाण सस्ते में लिख सकता है, शोधकर्ताओं का दावा
शोधकर्ताओं ने AutoIP नाम की एक लाइब्रेरी के बारे में बताया, जो Lean proof checker के लिए बनी है और उन पारंपरिक गणितीय तरीकों को औपचारिक रूप से जाँचती है जिनसे inverse problems हल किए जाते हैं। वे यह भी बताते हैं कि AI से ये प्रमाण लिखवाने में क्या संभावनाएँ और खतरे हैं, जो अब काफ़ी सस्ता हो गया है।
आसान शब्दकोशarXiv, Lean, inverse problems
- arXiv
- Cornell University द्वारा चलाया जाने वाला एक ऑनलाइन शोध संग्रह, जहाँ वैज्ञानिक औपचारिक peer review से पहले अपने पेपर साझा करते हैं।
- Lean
- एक प्रोग्रामिंग भाषा और proof checker, जो गणितीय प्रमाण के हर चरण को उसकी सबसे बुनियादी मान्यताओं तक जाँचता है।
- inverse problems
- ऐसी समस्याएँ जिनमें मापे गए परिणामों से उलटकर उनके पीछे छिपे कारणों का पता लगाना होता है।
बर्निंग पोटैटो स्कोर: 70%