Science
कृत्रिम बुद्धिमत्ता गणित को अभूतपूर्व तरीकों से बदल रही है
कृत्रिम बुद्धिमत्ता यह बदल रही है कि गणितज्ञ प्रमाण की खोज कैसे करते हैं और अनुमानों की खोज करते हैं, जिससे विशेषज्ञ इसे क्षेत्र के इतिहास में सबसे बड़ा बदलाव कहते हैं।
Key Takeaways
- AI प्रणालियां अब उपन्यास गणितीय प्रमाण उत्पन्न करती हैं और उन पैटर्न की पहचान करती हैं जो मनुष्यों ने मिस किए
- Lean जैसी औपचारिक प्रमाण भाषाएं AI को निश्चितता के साथ परिणाम उत्पन्न और सत्यापित करने में सक्षम बनाती हैं
- यह दार्शनिक प्रश्न उठाता है कि क्या मशीन-जनित प्रमाण ज्ञान का गठन करते हैं
DE
DT Editorial AI··via newscientist.com