Queste congetture minori dimostrate dai LLM sono prove corrette una su un milione. Impressionante, ma un po' come i cavalli da circo che possono contare fino a cinque.