Forscher verwendeten das Intern-S2-Modell des Shanghai AI Lab, um einen Beweis für den Kodimension-1-Fall der Ghys-Vermutung von 1995 zu entwickeln.

Die Arbeit, die sich über viele Dialogrunden erstreckte, wurde von einem Team der Peking-Universität im Lean-Beweisassistenten formalisiert.

KI-generiert: Die Zusammenfassungen schreibt eine KI auf Grundlage der verlinkten Quellen. So nutzen wir KI