Deng Yu, ganador de la Medalla Fields 2026 y profesor de la Universidad de Chicago, reveló recientemente en una entrevista que utiliza herramientas auxiliares de IA en la investigación matemática. Una vez, GPT ayudó a resolver un caso especial de matemáticas que no logró avanzar durante varios días. Deng Yu dijo que su sensación al utilizar la IA es que "ha hecho que muchos enlaces de investigación sean mucho más convenientes". Para algunas conclusiones simples que son básicamente ciertas, dejará que la IA dé pruebas y luego las verifique; En ocasiones, la IA puede complementar conocimientos que no conoce, como estructuras existentes o conclusiones estándar correspondientes a un determinado problema de conteo combinatorio.
Deng Yu dijo que incluso si la IA no puede completar directamente la prueba final, puede ayudar a los investigadores a explorar rápidamente rutas locales. Pero también enfatizó que para los estudiantes que acaban de ingresar a la investigación científica, "no se pueden saltar los pasos necesarios de juicio independiente y verificación rigurosa sólo porque la IA proporciona un argumento aparentemente completo".
——
Tecnología Fénix
vía
Noticias de referencia de la bandera del viento - Canal Telegram