LLM:t tuskin pystyvät virallistamaan ehkä vain 1 % matematiikasta, jonka jo tiedämme, ihmisen avustuksella, ja silti LLM-psykoosin uhrit yrittävät todistaa uusia asioita suoraan Leanissa LLM:ien avulla