Tras los resultados de la IMO el verano pasado, algunos lo descartaron como "matemáticas de instituto". Creemos que nuestros últimos modelos eliminarán cualquier duda de que la investigación STEM está a punto de cambiar fundamentalmente. Los matemáticos crearon un conjunto de 10 preguntas de investigación que surgieron de forma natural a partir de su propia investigación. Solo ellos conocen las respuestas, y le dieron al mundo una semana para usar los LLMs y intentar resolverlas. Creemos que nuestros modelos más recientes permiten resolver varios de ellos. Este es un modelo interno por ahora, pero soy optimista de que pronto lo sacaremos (o sacaremos un modelo mejor).