GPT-6 Astra proves 70% of Lean theorems but solves none of 30 open conjectures

मुख्य बातें

• Artificial intelligence model GPT-6 Astra demonstrated notable progress in formal logic by successfully proving 70% of Lean theorems.
• However, the system showed clear current technological limitations by failing to solve any of 30 open conjectures tested.
• The results highlight both the growing capabilities and ongoing challenges of AI models when tackling complex mathematical problems.

Kryptokite ने Crypto Briefing की रिपोर्ट से यह सारांश अपने-आप बनाया है। पूरी जानकारी के लिए मूल स्रोत पढ़ें। ख़बरें और सारांश अभी अंग्रेज़ी में हैं।