La IA matemática de Google DeepMind, resuelve de forma autónoma 6 de 10 problemas del reto FirstProof

Un equipo de investigadores ha publicado los resultados de Aletheia, un agente de investigación matemática impulsado por el modelo Gemini 3 Deep Think de Google. Puesto a prueba en el reciente desafío FirstProof (que plantea problemas matemáticos complejos, inéditos y a nivel de investigación), el sistema logró resolver 6 de los 10 ejercicios de manera estrictamente autónoma, sin ninguna intervención humana durante la formulación de las demostraciones. Las soluciones han sido validadas por un panel de expertos independientes.

[#1 rojo_separatista]

Para "ser solo estadística", ni tan mal.

[#4 snubbe]

#1 Es una maquina estadística verdaderamente fascinante.

[#2 GanaderiaCuantica]

Gracias por la aclaración, por un momento pensé que eran matemáticas de verdad

[#3 rojo_separatista]

#2, la clave está en entender que cualquier cosa es un reto hasta que lo puede hacer una IA, entonces es algo trillado. Pasó con lo de conversar, luego hacer dibujos, más tarde hacer canciones, también escribir código y ahora le toca el turno a las matemáticas. La regla es muy sencilla, haga lo que haga una IA siempre será un churro, independientemente de lo que sea, así los seres humanos podemos seguir sintiendonos especiales porque nosotros lo valemos.

[#5 maxxcan]

#3 ya lo de leerse el estudio para otro día imagino.

8. Conclusión
En última instancia, creemos que la IA se convertirá en una herramienta que mejorará el trabajo de los matemáticos, en lugar de sustituirlos.
Actualmente, los modelos de lenguaje natural tienen dificultades para razonar de forma fiable sin la intervención humana para corregir
errores y alucinaciones, mientras que los sistemas de verificación formal aún no son capaces ni siquiera de formular
las preguntas de interés en la…   

[#6 rojo_separatista]

#5, me puedes decir exactamente que es lo que no he entendido según tú?

[#7 rojo_separatista]

#5, y por cierto las conclusiones que has puesto, de las que por otro lado no tengo nada en particular que objetar, no están en el paper que enlazo. ¿A ver si será que no solo las IAs son las que alucinan de vez en cuando?