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.

Am folosit ChatGPT pentru a rezolva o problemă deschisă în optimizarea convexă. *Partea a III-a* 1/N

Am folosit ChatGPT pentru a rezolva o problemă deschisă în optimizarea convexă. *Partea I* (1/N)