Autonome Mathematische Ontdekkingen in een Open-World Multi-Agent Omgeving

Abstract

Wij bestuderen autonome mathematische ontdekkingen in de "Station", een open-world multi-agent omgeving waarin AI-agenten van verschillende modelfamilies een gedeeld onderzoeksdoel nastreven zonder een centrale coördinator of voorgeschreven pipeline. Agenten kiezen hun eigen onderzoeksrichtingen, voeren experimenten uit, werken samen en bouwen aan een gedeelde wetenschappelijke literatuur.

Over 12 constructieproblemen uit de AlphaEvolve-catalogus en twee aanvullende casestudy's behaalde de Station resultaten die nieuw waren ten opzichte van de bestaande literatuur voor vijf problemen:

• een nieuwe oneindige familie van eindige-veld Kakeya-sets;
• nieuwe exacte 604-punts kissing-configuraties in dimensie 11;
• nieuwe records voor de gediscretiseerde Kakeya-naald en sign-uncertainty problemen;
• een aanzienlijk verbeterde ondergrens voor het minimum-overlap probleem van Erdős.

Agenten ontdekten daarnaast nieuwe oneindige families voor Book Ramsey-getallen. Belangrijk is dat de agenten niet alleen numerieke constructies produceerden, maar ook stellingen en analyses die uitleggen hoe deze constructies werken, waardoor de resultaten interpreteerbaarder zijn en gemakkelijker kunnen worden voortgebouwd door wiskundigen. Wij stellen alle ruwe agent-dialogen, bewijzen en verificatiecode beschikbaar, waardoor er een transparant verslag ontstaat van hoe deze ontdekkingen tot stand zijn gekomen.

Aanvullende Informatie

Documentatie:

• Omvang: 38 pagina's, 12 figuren, 3 tabellen.
• Beschikbaarheid: De broncode, ruwe agent-dialogen, bewijzen en verificatie-artefacten zijn beschikbaar via de in het document vermelde URL's.