Menéame: comentarios [4150910]

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

rojo_separatista — Thu, 26 Feb 2026 11:11:16 +0000

#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?

» autor: rojo_separatista

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

rojo_separatista — Thu, 26 Feb 2026 07:14:39 +0000

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

» autor: rojo_separatista

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

maxxcan — Thu, 26 Feb 2026 06:20:39 +0000

#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 mayoría de las fronteras de la investigación. Por esta razón, hemos introducido agentes especializados
en razonamiento matemático, que incorporan la verificación informal del lenguaje natural, para ayudar a los matemáticos
a aprovechar los beneficios de la IA.

» autor: maxxcan

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

snubbe — Thu, 26 Feb 2026 06:08:09 +0000

#1 Es una maquina estadística verdaderamente fascinante.

» autor: snubbe

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

rojo_separatista — Thu, 26 Feb 2026 02:31:16 +0000

#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.

» autor: rojo_separatista

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

GanaderiaCuantica — Thu, 26 Feb 2026 01:31:11 +0000

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

» autor: GanaderiaCuantica

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

rojo_separatista — Thu, 26 Feb 2026 01:21:16 +0000

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

» autor: rojo_separatista