OpenAI-KI beweist Soggees lokale Glättungsvermutung von 1991 für alle Dimensionen
OpenAI hat mitgeteilt, dass ihre KI Christopher Soggees lokale Glättungsvermutung von 1991 für alle Dimensionen bewiesen hat. Der Beweis wurde am 18. Oktober 2026 generiert, in Lean formalisiert und auf GitHub veröffentlicht.
Weiterlesen →