Der Mathematiker kündigte am 18. September die offene Mathe-Modell-Initiative von SAIR an. Die Stiftung trainiert Modelle mit offenen Gewichten zum Prüfen von Beweisen und Suchen von Belegen. Geld kommt vom Handelshaus XTX Markets, die Ziele setzen die Mathematiker selbst.