GermanyLa KI-Unternehmen Anthropic ha publicado, según sus propias indicaciones, una versión completamente verificada por computadora de las pruebas de la última sentencia de Fermat. Un grupo de agentes de Claude creado en el plazo de once días 13 millones de líneas de código y 29.500 teoremas intermedios en el sistema de pruebas Lean.
Lectura del sesgo (Centro): La información se centra en detalles técnicos basados en hechos sin contexto político o valoraciones. No se hace hincapié en la orientación política ni en las conclusiones ideológicas.
