कृत्रिम बुद्धिमत्ता

सप्ताह 37, 2026 का करेंट अफेयर्स

1. AI ने फ़र्मा के अंतिम प्रमेय की उपपत्ति ग्यारह दिन में औपचारिक रूप में बदली

   एंथ्रोपिक ने अपने क्लॉड मॉडल से इस प्रमेय की उपपत्ति को लीन भाषा में औपचारिक रूप दिया — यानी मानवीय तर्क को ऐसे कोड में बदला जिसे मशीन मूल सिद्धांतों से जाँच सके। इसने ग्यारह दिन में 1.3 करोड़ से अधिक पंक्तियों का कोड तैयार किया और 29,500 मध्यवर्ती प्रमेय सत्यापित किए, जबकि गणितज्ञों ने इसमें पाँच वर्ष लगने का अनुमान लगाया था।

   स्रोत: The Hindu