Creo firmemente que estamos en un momento crucial en la historia de las matemáticas. En los próximos años, el uso de LLMs para la investigación matemática se volverá común, al igual que la formalización en Lean, facilitada por los LLMs. (1/4)