Der Mathematiker Tamás Hausel vom Institute of Science and Technology Austria erhält Unterstützung durch eine neue Numina-Förderung. Das ISTA berichtet am 8. Oktober darüber. Vorgesehen sind Rechenleistung und Softwarezugang im Wert von 50.000 Euro für zwölf Monate.
Die Mittel sollen die Entwicklung von Project Sandbox voranbringen. In dieser Arbeitsumgebung führen Menschen die mathematische Forschung, während KI-Agenten Vorschläge für Beweise machen und einzelne Schritte bearbeiten können.
Entscheidend ist eine zusätzliche formale Prüfung: Ein unabhängiger Prüfkern soll bestätigen, dass ein Beweis den festgelegten Regeln genügt, bevor er akzeptiert wird. Eine überzeugend klingende Antwort allein reicht dafür nicht.
Die heutige Nachricht betrifft die Förderung und den weiteren Ausbau. Das Projekt hatte bereits zuvor einen Prototyp; die Mitteilung behauptet keine heute abgeschlossene Lösung eines bislang offenen mathematischen Problems.
