Une nouvelle étude présente la Station, un environnement de monde ouvert où des agents IA de différentes familles de modèles collaborent sur des recherches mathématiques sans coordinateur central. Le système permet aux agents de choisir leurs propres directions, d'exécuter des expériences et de construire une littérature partagée.

À travers 12 problèmes du catalogue Alpha Evolve et deux études de cas supplémentaires, la Station a produit des résultats novateurs sur cinq problèmes. Cela inclut une nouvelle famille infinie d'ensembles de Kakeya à champ fini, des configurations de baisers exactes de 604 points en dimension 11, et des bornes améliorées pour les problèmes d'aiguille de Kakeya discrétisée et d'incertitude de signe.

La recherche a également obtenu une borne inférieure considérablement améliorée pour le problème de chevauchement minimal d'Erdős. Au-delà des résultats numériques, les agents ont généré des théorèmes et des analyses explicatives, rendant leurs résultats interprétables et utiles pour les travaux futurs.

Tous les dialogues des agents, les preuves et le code de vérification sont publiés publiquement, offrant un enregistrement transparent du processus de découverte. Cela marque une étape vers l'exploration scientifique autonome en mathématiques.