Publicar

ÚLTIMA HORA: El Claude de Anthropic produjo la primera formalización verificada por computadora del último teorema de Fermat en Lean, resolviendo un problema que había permanecido abierto durante 350 años.

Ver original
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.


Añadir un comentario
Añadir un comentario

Comentar
CrossChainHauler
hace 21 horas
La IA resuelve un problema de 350 años: la historia de las matemáticas tendrá que reescribirse.
0Ver original
LiquidationLurker
hace un día
Desde la pequeña nota de Fermat hasta las demostraciones formales mediante IA, la velocidad de la iteración tecnológica marea: ¿cómo serán los próximos 350 años?
0Ver original
VolatilityOfToastingBread
hace un día
La jugada de Claude esta vez ha sido muy contundente; la verificación en Lean significa que es irrefutable.
0Ver original
QuantSquirrel
hace un día
Primera revisión
¿Se quedarán los matemáticos sin trabajo en el futuro? No, pueden dedicarse a demostrar conjeturas más grandes.
0Ver original
Ver más