Mikhail Burtsev - Yang-Hui He - Evgeny Sobko - Thore Graepel - Ananyo Bhattacharya*, Contropiano
La inteligencia artificial no está reemplazando la intuición humana en estos campos, pero está reimaginando cómo se plantean, exploran y comprenden las preguntas.
Entre matemáticos y físicos teóricos, la inteligencia artificial provoca una serie de reacciones. Algunos lo consideran irrelevante para su trabajo; otros temen que pueda invadir los aspectos más creativos e intelectualmente gratificantes de sus disciplinas. Sin embargo, la verdad que surge del trabajo que nuestro equipo está realizando en el Instituto de Ciencias Matemáticas de Londres y en otros lugares es más compleja.
En lugar de reemplazar la creatividad humana en las ciencias matemáticas, la IA la está mejorando. El software ahora puede verificar pruebas línea por línea y detectar errores que antes habrían requerido meses de cuidadosa revisión humana.
Puede buscar sistemáticamente contraejemplos — comprobar si una conjetura es realmente cierta o falla inesperadamente. Y puede proponer pasos intermedios en el razonamiento, sugiriendo resultados auxiliares útiles que ayuden a cerrar la brecha entre lo que se sabe y lo que aún está por demostrar.
En el campo experimental, los prototipos realizados por “científicos de IA” están comenzando a automatizar partes del ciclo de descubrimiento, pero siguen limitados por las demandas del mundo físico: mezclar reactivos, hacer crecer células, esperar reacciones y lidiar con el ruido en los datos.
