Acredito firmemente que estamos em um momento decisivo na história da matemática. Nos próximos anos, o uso de LLMs para pesquisa matemática se tornará popular, assim como a formalização Lean, facilitada pelos LLMs. (1/4)