opción
Hogar
Última hora
Contenido
JonathanRoberts
JonathanRoberts
31 de marzo de 2026

Investigadores de la Universidad Libre de Bruselas informan de que ChatGPT-5.2, de OpenAI, ha resuelto una conjetura matemática de larga data mediante la generación autónoma de pruebas, un avance denominado «vibe-proving». Esto demuestra la capacidad de razonamiento original de la IA en matemáticas teóricas, lo que podría reorientar el papel de los seres humanos hacia la verificación y acelerar la investigación.

Investigadores de la Universidad Libre de Bruselas informan de que ChatGPT-5.2, de OpenAI, ha resuelto una conjetura matemática de larga data mediante la generación autónoma de pruebas, un avance denominado «vibe-proving». Esto demuestra la capacidad de razonamiento original de la IA en matemáticas teóricas, lo que podría reorientar el papel de los seres humanos hacia la verificación y acelerar la investigación.
comentario (0)
0/300
OR