Microsoft Research· Xinzhi Zhang·· vor 2 StundenAuswahlKI-Bewertung82
Microsoft-Forscher und Mitautor lösen die 31 Jahre alte KLS-Vermutung
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
KI-Überblick
Ein Forscher von Microsoft Research und sein Mitautor haben die KLS-Vermutung bewiesen. Sie zeigen。
Grund für die Empfehlung
Der Vergleich zwischen angeleiteter Suche und Versuchen ohne menschliche Steuerung zeigt konkret, welche Rolle das mathematische Urteil der Forschenden bei diesem Beweis spielte.
Quelle:Microsoft Research · microsoft.com