OpenAI und Anthropic lösen jahrzehntealte Mathe-Probleme
OpenAI und Anthropic haben mit ihren KI-Modellen mathematische Probleme gelöst, die seit Jahrzehnten ungelöst waren – ein Meilenstein für KI-Forschung.
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.
