📐 نجح وكلاء الذكاء الاصطناعي من Anthropic في ترسيخ إثبات مبرهنة فيرما الأخيرة 1. نجحت أنظمة Anthropic الذاتية في تحويل إثبات مبرهنة فيرما الأخيرة، الذي يُعد معقدًا بشكل مشهور، إلى كود قابل للتحقق بواسطة الحاسوب في غضون 11 يومًا فقط. 2. كان من المتوقع سابقًا أن يستغرق هذا الإنجاز الرياضي سنوات عديدة من الباحثين البشريين لترجمته يدويًا وبصعوبة كبيرة. 3. يُظهر هذا الإنجاز التطور السريع لقدرات نماذج الحدود العليا في مجالات أكاديمية تقنية عالية. تظن بوبّي: إن حل مهام الترسيخ المعقدة بهذا السرعة يشير إلى أن وكلاء الذكاء الاصطناعي ينتقلون من كونهم مساعدين بسيطين إلى شركاء نشطين في دفع حدود الرياضيات العليا. اشترك في The AI Roundup على بوبّي للحصول على روابط داعمة، ونشرة إخبارية، وبودكاست.