Disse mindre formodningene som bevises av LLM-er er én av en million riktige bevis. Imponerende, men litt på samme måte som sirkushester kan telle til fem.