1,000 AI Agents Just Formalized a 350-Year-Old Math Problem in 30 Hours
AI First Pod

1,000 AI Agents Just Formalized a 350-Year-Old Math Problem in 30 Hours

10 نوفمبر 20265 دقائق
تشغيل الحلقة

لا يوجد نص لهذه الحلقة بعد

يمكنك الاستماع إليها في المشغّل. في الحلقات التي لها نص، يمكنك النقر على أي كلمة لترى معناها.