Una IA china resuelve una conjetura matemática en solo 80 horas
Un equipo de la Peking University ha creado un sistema de inteligencia artificial capaz de resolver y verificar de forma autónoma una conjetura matemática abierta desde hace más de diez años, completando el proceso en unas 80 horas.
El sistema abordó la conjetura de Anderson, un problema de álgebra conmutativa planteado en 2014 por Dan Anderson, que permanecía sin solución desde entonces.
Bajo la dirección del matemático Dong Bin, los investigadores desarrollaron un marco de IA con dos agentes que conecta el razonamiento en lenguaje natural con la verificación formal de pruebas. El sistema combina un módulo de razonamiento llamado Rethlas con un motor de búsqueda de teoremas denominado Matlas, lo que le permite explorar estrategias de resolución de forma similar a los matemáticos humanos.
El modelo procesó décadas de literatura matemática y generó una demostración completa, que además fue formalizada automáticamente para su verificación por máquina.
El cálculo se completó en aproximadamente 80 horas, una tarea que normalmente exigiría la colaboración de expertos en distintas ramas de las matemáticas. El equipo señaló que no se requirió juicio matemático humano durante el proceso, aunque la intervención de especialistas podría acelerar el trabajo.
El estudio fue publicado como prepublicación en arXiv y aún no ha sido revisado por pares. Los autores consideran que el resultado muestra el avance de la automatización en la investigación matemática.
Este logro se suma a una tendencia más amplia. Sistemas como GPT-5.4 han resuelto recientemente problemas complejos de referencia, mientras que la empresa Axiom anunció avances similares este año.
El avance genera tanto interés como inquietud entre los matemáticos, ante el creciente papel de la inteligencia artificial en la investigación avanzada.
-
07:52
-
07:51
-
07:50
-
07:48
-
07:45
-
07:37
-
07:37
-
07:32
-
07:31
-
07:24
-
07:24
-
07:23
-
16:47
-
16:42
-
16:35
-
16:19
-
16:06
-
15:58
-
15:57
-
15:40
-
15:09
-
14:57
-
14:49
-
14:37
-
14:34
-
14:33
-
14:14
-
14:12
-
14:08
-
14:00
-
13:55
-
13:45
-
13:40
-
13:31
-
13:26
-
13:21
-
13:06
-
13:06
-
13:02
-
11:30
-
11:23
-
11:20
-
11:20
-
11:13
-
11:11
-
11:06
-
11:05
-
10:59
-
10:59
-
10:56
-
10:54
-
10:41
-
10:38
-
10:35
-
10:31
-
10:22
-
10:05
-
09:51
-
09:33
-
09:06
-
09:00
-
08:56
-
08:50
-
08:43
-
08:37
-
08:30
-
08:25
-
08:14
-
08:02
