Ces conjectures mineures prouvées par les LLM sont des preuves correctes d'une sur un million. Impressionnant mais un peu comme les chevaux de cirque qui peuvent compter jusqu'à cinq.