Schlagwort Mathematik
Fermats letzter Satz: Claude formalisiert Beweis in nur 11 Tagen
Das US-amerikanische KI-Unternehmen Anthropic hat einen bedeutenden Durchbruch an der Schnittstelle von künstlicher Intelligenz und theoretischer Mathematik erzielt. Dem KI-Modell Claude gelang es in einem Zeitraum von nur elf Tagen, Fermats letzten Satz zu formalisieren.Dieser Prozess überführte den komplexen menschlichen…
Astra-Modell: OpenAI löst zehn offene mathematische Probleme
OpenAI-CEO Sam Altman hat Ende August neue Details zum KI-Modell Astra bekannt gegeben, dessen Veröffentlichung sich aufgrund von Sicherheitsbedenken verzögert. Während das System bereits komplexe mathematische Probleme löst und menschliches Niveau bei der Computernutzung erreicht, führten potenzielle Cyber-Risiken zu einer…
KI-Durchbruch: OpenAI und Anthropic knacken zehn Mathe-Probleme
Künstliche Intelligenz hat erstmals eine Reihe seit Jahrzehnten ungelöster mathematischer Probleme geknackt. Die Ergebnisse könnten die Forschung grundlegend verändern – doch Fachleute mahnen zur Vorsicht.Die beiden führenden KI-Labore OpenAI und Anthropic haben diese Woche mit technischen Enthüllungen für Aufsehen gesorgt:…
OpenAI Astra: KI-Modell knackt zehn ungelöste Matheprobleme
Ein internes KI-Modell von OpenAI hat zehn seit mindestens einem Jahrzehnt ungelöste mathematische Probleme geknackt – darunter offene Fragen aus Geometrie, Graphentheorie und Quantencomputing. Die Ergebnisse, die Anfang August 2026 veröffentlicht wurden, könnten die Mathematik grundlegend verändern.Durchbruch bei Kugelpackungen und…