IA irrumpe en la investigación matemática avanzada
Resumen En qué punto está
Sistemas de IA están empezando a abordar problemas matemáticos de frontera, tanto verificando pruebas complejas como generando resultados nuevos. Axiom Math verificó automáticamente el teorema 246 sobre primos gemelos usando agentes de IA, un hito en teoría de números que además podría aplicarse a validar código generado por IA. Días después, unos 40 matemáticos de élite se reunieron con OpenAI para debatir si la IA podría convertirse en la primera profesión asumida casi por completo por máquinas, tras presentar la empresa diez resultados matemáticos nuevos y contraejemplos que refutan conjeturas establecidas. El debate refleja preocupación sobre si el razonamiento matemático avanzado, considerado bastión humano, empieza a ser automatizable.
Resumen generado mediante IA a partir de las 2 noticias de la historia. Última actualización: 9 sep.
Enviar esta historia por correo
Enviado. Revisa que llegue a la bandeja de entrada de quien lo reciba.
La dirección no parece válida.
Has enviado varios correos seguidos. Espera un rato.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
No se ha podido enviar. Inténtalo de nuevo en unos minutos.
Línea temporal
-
Matemáticos de élite debaten si la IA asumirá completamente su profesión
Cerca de 40 matemáticos de élite se reunieron en agosto en OpenAI para debatir si la inteligencia artificial podría convertirse en la primera profesión asumida casi completamente por máquinas. OpenAI presentó 10…
-
Axiom Math verifica automáticamente el teorema 246 sobre números primos con IA
Axiom Math ha verificado automáticamente por primera vez la prueba del teorema 246, que establece la existencia de infinitos pares de números primos separados por 246 unidades, utilizando su sistema AxiomProver basado…
Tu opinión
Te hemos enviado un correo para confirmar tu dirección. El comentario se procesará cuando pulses el enlace.
Gracias. Tu comentario se publicará cuando lo revise el equipo (los primeros comentarios de cada persona se moderan).
Comentario publicado. Gracias por participar.
No se puede comentar aquí.
Indica un nombre (de 2 a 60 caracteres).
El correo no parece válido.
El comentario debe tener entre 10 y 2.000 caracteres.
Demasiados enlaces en el comentario.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
Has alcanzado el límite diario de comentarios.
Demasiados comentarios seguidos. Espera un rato.
No se ha podido enviar el correo de confirmación. Inténtalo de nuevo en unos minutos.