Heiliger Bimbam, das ist verrückt: Nomos 1 ist ein 30B Open-Source-Modell, das in diesem Jahr 87/120 beim Putnam erreicht hat, was für eine geschätzte Platzierung von #2/3988 ausreicht und zeigt, dass nahezu erstklassige menschliche Mathematikleistung jetzt mit relativ kleinen Modellen sowie einer guten Nachschulung und einem vernünftigen Setup möglich ist. Das bringt einen hochmodernen KI-"Mathematiker" und seine vollständigen Denkfähigkeiten in die Hände aller, wodurch die Hürden für ernsthafte mathematische Forschung, Verifizierung und fortgeschrittene Denkwerkzeuge gesenkt werden.