Anthropic hat ein neues Spielzeug rausgehauen. Claude Fable 5 knackt FrontierMath auf der härtesten Stufe — und lässt OpenAI hinter sich.
Jahrzehntelang verschwanden die härtesten Matheprobleme der Welt in Schubladen. Jetzt hat ein MIT-Team sie ausgegraben — und für alle zugänglich gemacht.
Ein neues Dataset namens CrowdMath stellt Sprachmodelle vor eine Aufgabe, die sie bisher umgehen konnten: echte, unfertige Mathe-Forschung.
Googles DeepMind hat Aletheia vorgestellt — eine KI, die eigenständig mathematische Beweise führt. Nicht Hausaufgaben-Niveau. Forschungs-Niveau.