Après les résultats de l'IMO l'été dernier, certains l'ont écarté comme étant des "mathématiques de lycée". Nous pensons que nos derniers modèles dissiperont tout doute sur le fait que la recherche STEM est sur le point de changer fondamentalement. Des mathématiciens ont créé un ensemble de 10 questions de recherche qui ont émergé naturellement de leurs propres travaux. Seuls eux connaissent les réponses, et ils ont donné au monde une semaine pour utiliser les LLM afin d'essayer de les résoudre. Nous pensons que nos derniers modèles rendent possible la résolution de plusieurs d'entre elles. C'est un modèle interne pour l'instant, mais je suis optimiste quant à ce que nous le sortirons (ou un meilleur modèle) bientôt.