¡La inteligencia artificial entra con fuerza en el mundo de las matemáticas profundas!
Anthropic anunció que los agentes de la IA de Claude completaron en 11 días la primera formulación completa verificable por computadora del último teorema de Fermat, usando el lenguaje Lean.
🤯 El proyecto generó alrededor de 13 millones de líneas de código Lean y probó más de 30.000 teoremas intermedios, utilizando cerca de 29.500 de ellos en la demostración final.
Lo impactante aquí no es solo resolver un famoso problema matemático, sino que la IA ahora es capaz de convertir complejas demostraciones matemáticas en una forma que la computadora puede verificar paso a paso.
Esta podría ser el inicio de una nueva era: la IA no solo escribe código… sino que ayuda a verificar las matemáticas mismas.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto
Anthropic anunció que los agentes de la IA de Claude completaron en 11 días la primera formulación completa verificable por computadora del último teorema de Fermat, usando el lenguaje Lean.
🤯 El proyecto generó alrededor de 13 millones de líneas de código Lean y probó más de 30.000 teoremas intermedios, utilizando cerca de 29.500 de ellos en la demostración final.
Lo impactante aquí no es solo resolver un famoso problema matemático, sino que la IA ahora es capaz de convertir complejas demostraciones matemáticas en una forma que la computadora puede verificar paso a paso.
Esta podría ser el inicio de una nueva era: la IA no solo escribe código… sino que ayuda a verificar las matemáticas mismas.
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto
