skinny.

Latest / Superkraft KI News | by Jörg Schieb

OpenAI und Anthropic lösen jahrzehntealte Mathe-Probleme

OpenAI und Anthropic haben mit ihren KI-Modellen komplexe mathematische Probleme gelöst, die seit Jahrzehnten ungelöst waren, darunter ein Problem zur Existenz nicht-sofischer Gruppen (seit 1999) und ein Gegenbeispiel zur Rigiditätsvermutung von Connes (seit 1980). Ein Meilenstein für KI-gestützte wissenschaftliche Forschung.

The skinny

The skinny isn't ready yet — notes appear once the transcript is processed.