Uskon vakaasti, että olemme vedenjakajalla matematiikan historiassa. Tulevina vuosina LLM:ien käytöstä matematiikan tutkimuksessa tulee valtavirtaa, samoin kuin Lean-formalisoinnista, jota LLM:t helpottavat. (1/4)