El matemático Zhiming Tao advierte que las matemáticas afrontan una crisis de abundancia de pruebas a medida que la IA resuelve 7 de cada 10 problemas de investigación

Según el matemático Zhiming Tao en el Congreso Internacional de Matemáticos (ICM), las matemáticas están entrando en una crisis fundamental en cuanto a los métodos de investigación y los valores, ya que los sistemas de IA ahora pueden resolver problemas matemáticos de nivel de investigación con un coste de entre 10 y 1.000 dólares por problema. En las pruebas de First Proof, los sistemas de IA resolvieron 7 de 10 problemas nuevos de investigación con una calidad publicable, desplazando las matemáticas de la “escasez de pruebas” a la “abundancia de pruebas”. Tao subrayó que la habilidad crítica ya no consistirá en resolver los problemas primero, sino en evaluar la importancia de los resultados, explicar las demostraciones de forma clara y transformarlas en un entendimiento humano compartido.
Aviso legal: La información en esta página puede provenir de fuentes de terceros y es solo para referencia. No representa las opiniones ni puntos de vista de Gate y no constituye asesoramiento financiero, de inversión ni legal. El comercio de activos virtuales implica un alto riesgo. No te bases únicamente en la información presentada en esta página para tomar decisiones. Para más detalles, consulta el Aviso legal.
Comentar
0/400
Sin comentarios