Martes 27 de octubre de 2026 ·

Diez agentes de Claude Sonnet 5.5 demuestran en Lean el problema de Thomson para siete electrones

Relevancia 36 de 100

Se publicó una solución del problema de Thomson para siete electrones, que demuestra que la configuración de menor energía es una bipirámide pentagonal regular. Diez agentes de Claude Sonnet 5.5 tardaron unas 15 horas en producir una demostración formal de 17.895 líneas en Lean. El método acota la energía desde abajo con sumas que no pueden ser negativas, usando pares de puntos y, en otros casos, triángulos con división en casos. Los autores creen que la misma receta podría servir para el siguiente caso, aunque hará falta una idea nueva.

Qué significa

Demuestra que agentes de IA pueden producir demostraciones matemáticas formales muy largas, algo que antes requería mucho trabajo humano especializado.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del martes 27 de octubre de 2026 ->