Hexagon startet Repository für KI-unterstützte Mathematik

Mit dem Start von Hexagon geht eine neue akademische Initiative an den Start, die sich ausschließlich mathematischen und theoretisch-informatischen Ergebnissen widmet, die durch große Sprachmodelle unterstützt oder vollständig generiert wurden. Die Plattform wurde im August 2026 initiiert, nachdem eine Arbeitsgruppe um den ersten Geschäftsführer Ben Antieau festgestellt hatte, dass die rasant zunehmende Zahl maschinell abgeleiteter mathematischer Erkenntnisse ein neues Publikationsmodell erfordert. Während sich der etablierte Preprint-Server arXiv auf seine herkömmlichen Moderationsprozesse konzentriert und keine Aufnahme solcher Inhalte zugesagt hat, soll Hexagon als niedrigschwellige, langfristig zitierfähige und stabil gehostete Alternative dienen. Rechtsgrundlage bildet die Hexagon Mathematics Foundation, die im August 2026 in Delaware als gemeinnütziger Verein eingetragen wurde und auf die Anerkennung als steuerbefreite Organisation nach Section 501(c)(3) hinarbeitet. Das Kuratorium umfasst namhafte Mathematiker wie Mohammed Abouzaid, François Charles und Bryna Kra, ein beratendes Gremium wird unter anderem von Kevin Buzzard und Ravi Vakil gebildet. Die technische Infrastruktur basiert auf kommerzieller Cloud-Infrastruktur und wurde teilweise durch KI-Assistenzsysteme entwickelt. Die Plattform befindet sich aktuell im Beta-Status. Hexagon unterscheidet sich durch gezielte Aufnahmekriterien von etablierten Repositorien. Vollständig von KI generierte Ergebnisse oder solche, bei denen die Einsender kein menschliches Verständnis der zugrundeliegenden Logik beanspruchen, werden ausdrücklich akzeptiert, sofern sie fachliches Interesse wecken. Eine zwingende Formalisierung ist nicht erforderlich, die Plattform stellt jedoch Verknüpfungen zu etablierten Projekten wie mathlib und Palomar bereit. Ein API-Zugang sowohl für Lese- als auch für Schreiboperationen sowie gestaffelte Upload-Limits dienen der Qualitätssicherung und Skalierbarkeit. Neben individuellen Einsendungen nimmt Hexagon explizit Publikationen großer Technologieunternehmen und wissenschaftlicher Konsortien auf, um brancheninternen KI-Forschungsstandard der freien wissenschaftlichen Community zugänglich zu machen. Finanziell wird das Projekt vorerst aus privaten Mitteln der Gründer getragen, um eine unabhängige, unternehmensneutrale Struktur zu wahren. Langfristiges Ziel ist es, Hexagon zum zentralen Knotenpunkt für die Erstveröffentlichung sich entwickelnder mathematischer Erkenntnisse zu etablieren. Die Initiatoren erhoffen sich, dass die Community den Umgang mit KI-gestützter Forschung standardisiert und Ergebnisse zunächst auf der Plattform validiert, bevor sie in traditioneller Form auf dem arXiv oder in Fachzeitschriften publiziert werden. Damit adressiert das Projekt die wachsende Lücke zwischen experimenteller KI-Validierung und formaler wissenschaftlicher Dokumentation.