SAIR startet offene KI-Modelle für Mathematik
Die Foundation for Science and AI Research (SAIR) hat die beschleunigte Einführung ihrer Initiative SAIR Open Models bekanntgegeben. Das Projekt zielt auf die Entwicklung offen lizenzierter KI-Modelle speziell für die mathematische Forschung ab. Der ursprüngliche Fahrplan wurde vorzeitig angepasst, um auf den wachsenden Bedarf an transparenten und wissenschaftlich kontrollierten Forschungsinfrastrukturen zu reagieren. SAIR wurde im vergangenen Jahr gegründet und startete zunächst mit begrenzten Ressourcen, die primär in Podcasts, Veranstaltungen und Wettbewerbserien flossen. Durch eine aktuelle Finanzierungszusage von XTX Markets konnte die operative Kapazität signifikant erweitert werden. Dies ermöglicht nun den strategischen Übergang hin zur eigenständigen Modellentwicklung. Der Fokus der ersten Phase liegt auf der Unterstützung alltäglicher mathematischer Arbeitsabläufe. Die Modelle sollen komplexe Argumentationen entschlüsseln, Referenzen verifizieren, Programmiercode generieren und die Formalisierung mathematischer Beweise unterstützen. Die Bewertung des Nutzens erfolgt anhand zuverlässiger Unterstützungsfunktionen, überprüfbarer Ergebnisse und nachhaltiger Betriebskosten. Technische und governancebezogene Grundpfeiler der Initiative umfassen vollständige Transparenz und Community-Hoheit. Modellgewichte, Codebasen und Trainingsmethoden werden unter offenen Lizenzen wie Apache 2.0, MIT oder CC BY 4.0 veröffentlicht. Alle Evaluierungen sind reproduzierbar, und Limitationen werden explizit dokumentiert. Die Datenhoheit verbleibt bei der Forschungscommunity; eine Nutzung von Nutzerdaten zu Trainingszwecken erfolgt ausschließlich auf ausdrücklicher, vorab definierter Zustimmung. Die strategische Ausrichtung und Ressourcennutzung wird demokratisch von der wissenschaftlichen Gemeinschaft bestimmt. Industrielle Partner stellen primär Rechenkapazitäten und Finanzmittel, üben jedoch keinerlei Kontrolle über die wissenschaftliche Unabhängigkeit aus. SAIR ruft aktuell Institutionen, Forschende und Technologieanbieter auf, offizielle Interessenbekundungen abzugeben. Gesucht werden Partner, die durch Finanzmittel, GPU-Cluster, fachliche Expertise oder Community-Building zum Projekt beitragen. Detaillierte Angaben zu den offiziellen Kooperationspartnern und die erweiterte technische Roadmap werden in Kürze veröffentlicht. Der internationale Austausch läuft bereits über das offizielle Zulip-Forum. Kooperationsanfragen richten sich an [email protected]. Mit der Initiative etabliert SAIR eine verlässliche Infrastruktur, die den Einfluss geschlossener KI-Systeme zugunsten einer offenen, ethisch geleiteten und wissenschaftlich dominierten Forschungslandschaft kompensieren soll.
