Credo fermamente che siamo in un momento cruciale nella storia della matematica. Negli anni a venire, l'uso dei LLM per la ricerca matematica diventerà comune, così come la formalizzazione in Lean, resa più semplice dai LLM. (1/4)