toma correcta. Sí, soy escéptico de que los LLM creen matemáticas nuevas y perspicaces porque eso requiere un pensamiento OOD, en el que apestan, así que ese es un buen argumento en mi opinión. pero los LLM pueden resolver *problemas* matemáticos muy difíciles (eso es diferente), lo cual es realmente genial, siempre y cuando no requieran "matemáticas nuevas y perspicaces" Algunos problemas matemáticos requieren nuevas definiciones perspicaces, y son difíciles específicamente por eso. Nunca es que sean inherentemente "pesados" en algún sentido computacional, sino que requieren "imaginación" y "creatividad" para conceptualizar estructuras maravillosas que nadie ha visto antes. por ejemplo, la demostración del último teorema de Fermat requirió el desarrollo de maquinaria matemática completamente nueva: curvas elípticas, formas modulares y la conjetura de Taniyama-Shimura, conceptos que no existían cuando se planteó el problema por primera vez. por lo tanto, si tuviéramos LLM en 1650, no importa cuánto intentaran resolver FLT, incluso si lo dejas calcular durante siglos, nunca podría hacerlo, porque estaría pensando en la caja de las estructuras matemáticas que existían en ese entonces, y literalmente no hay camino hacia una solución. ahora, el día en que los LLM comiencen a inventar estructuras matemáticas genuinamente nuevas, es cuando podrán Ahora, aquí radica la pregunta más difícil: ¿Qué es incluso un "concepto matemático nuevo y perspicaz"? ¿Cómo se puede definir eso? Muchas cosas cuentan como un "nuevo concepto". Puedo escribir fácilmente algunas palabras al azar en Lean, y habré creado un concepto matemático completamente nuevo que nadie ha hecho antes. y los LLM también pueden hacer eso. Eso es bastante fácil La parte "perspicaz" es lo que importa aquí ¿Qué hace que algo sea "perspicaz" o "interesante"? ¿Por qué los números complejos son más interesantes que las definiciones aleatorias? ¿Cómo medimos objetivamente qué tan perspicaz es una definición Lean?