Acelerar los descubrimientos científicos

“No hay duda de que la solución al problema de la distancia unitaria es un hito en las matemáticas de IA: si un humano hubiera escrito el artículo y lo hubiera enviado a los Annals of Mathematics, y me hubieran pedido una opinión rápida, habría recomendado su aceptación sin ninguna vacilación. Ninguna prueba generada anteriormente por IA se había acercado a eso.”

“La cadena de pensamiento del modelo es profundamente interesante. Es destacable que una mayoría significativa de los pensamientos intenten construir un contraejemplo a la cota superior ampliamente aceptada, en lugar de intentar demostrarla. Esto sugiere que el modelo tiene alguna combinación de buena intuición, disposición a probar enfoques que la comunidad considera poco probables y una predisposición a intentar construcciones… En mi opinión, este artículo demuestra que los modelos actuales de IA van más allá de ser simples ayudantes de los matemáticos humanos: son capaces de tener ideas originales e ingeniosas, y luego llevarlas a buen término.”

“Es un trabajo realmente impresionante, y lo aceptaría para cualquier revista sin vacilar. De hecho, trabajé brevemente en este problema e intenté construir un contraejemplo, pero no logré avanzar… Sin duda es una construcción intimidante de entender incluso si sabes lo que está pasando, y aún más difícil de explorar por tu cuenta.”