Grok 4.5 half dabei, eine seit etwa 30 Jahren ungelöste mathematische Hypothese zu widerlegen
xAI
Das Modell Grok 4.5 von xAI half dabei, eine seit etwa drei Jahrzehnten ungelöste mathematische Hypothese zu widerlegen. Die Zusammenarbeit unterstreicht den Nutzen fortschrittlicher KI in der mathematischen Forschung.
Laut einem Bericht spielte Grok 4.5, ein von xAI entwickeltes Modell, eine Rolle bei der Widerlegung einer mathematischen Hypothese, die seit etwa 30 Jahren ungelöst war. Diese Leistung unterstreicht das Potenzial von KI bei der Unterstützung komplexer mathematischer Probleme und markiert einen bemerkenswerten Meilenstein an der Schnittstelle von künstlicher Intelligenz und Mathematik.
Quelle: xAI Grok (GNews) —
Original