Nous avons atteint un niveau de performance de médaille d'or lors de l'IMO de cette année ! Notre modèle pense et rédige des preuves en anglais clair et simple - aucun code formel requis. Contrairement aux systèmes plus étroits utilisés lors des compétitions passées, notre modèle est conçu pour raisonner de manière large, bien au-delà des problèmes de concours.