AI-Mathematik

OpenAI sagt, 10.000 KI-Agenten hätten ein Mathematikproblem im Wert von 1 Million US-Dollar in 88 Stunden gelöst, was Fragen zu Beweis, Verifikation und KI-Forschung aufwirft.

DeepMinds Aletheia-KI erzielt einen Durchbruch, indem sie 13 berüchtigt schwierige Erdős-Probleme löst und damit eine beispiellose Zusammenarbeit zwischen KI und Mensch in der fortgeschrittenen mathematischen Forschung demonstriert.