AI RADARМоделі
295•05/09/2026, 06:15•4 min
Claude formaliza la prueba del Último Teorema de Fermat
#Fermat#AI#mathematics#formalization
Claude, un sistema de IA de Anthropic, formalizó con éxito la prueba del Último Teorema de Fermat en 11 días, escribiendo 13 millones de líneas de código. Este es un logro significativo en la automatización de pruebas matemáticas.
AI Radar • Nivel Plus
Análisis completo disponible en el plan Plus
Revisiones técnicas diarias, benchmarks y casos prácticos de vibe coding se desbloquean en el plan Plus.
Debatir en la comunidad
Діліться своїм досвідом та думками з ШІ-розробниками
Leer más
Todas las noticiasМоделі295
OpenAI: modelo de IA interno resolvió más de 100 problemas matemáticos abiertos en menos de un mes
22/09/2026, 07:33
Моделі185
Xiaomi lanza MiMo-V2.6: nuevo modelo de IA abierto supera a la competencia
22/09/2026, 04:54
Моделі223
Notas de una investigadora de OpenAI para preparación de entrevistas en IA
22/09/2026, 04:17