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