Jeg er overbevist om at vi er ved et vannskille i matematikkens historie. I de kommende årene vil bruk av LLM-er til matematikkforskning bli mainstream, og det samme vil Lean-formalisering, gjort enklere av LLM-er. (1/4)