Cred cu tărie că ne aflăm într-un moment de cotitură în istoria matematicii. În următorii ani, utilizarea LLM-urilor pentru cercetarea matematică va deveni mainstream, la fel și formalizarea Lean, facilitată de LLM-uri.