Wissenschaftliche Entdeckungen beschleunigen

“Es besteht kein Zweifel daran, dass die Lösung des Problems der Einheitsabstände ein Meilenstein der KI-Mathematik ist: Hätte ein Mensch die Arbeit geschrieben und bei den „Annals of Mathematics“ eingereicht und wäre ich um eine schnelle Einschätzung gebeten worden, hätte ich die Annahme ohne jedes Zögern empfohlen. Kein früherer KI-generierter Beweis kam dem auch nur nahe.”

“Die CoT des Modells ist hochinteressant. Bemerkenswert ist, dass eine deutliche Mehrheit der Gedanken versucht, ein Gegenbeispiel zur weithin geglaubten oberen Schranke zu konstruieren, statt zu versuchen, sie zu beweisen. Dies spricht dafür, dass das Modell eine Kombination aus guter Intuition, der Bereitschaft, von der Community als wenig aussichtsreich eingestufte Ansätze auszuprobieren, und einer Neigung besitzt, Konstruktionen zu versuchen … Meiner Meinung nach zeigt diese Arbeit, dass aktuelle KI-Modelle über die Rolle bloßer Hilfen für menschliche Mathematiker:innen hinausgehen – sie sind fähig, eigene geniale Ideen zu haben und sie dann erfolgreich umzusetzen.”

“Das ist eine wirklich beeindruckende Arbeit, und ich würde sie ohne Zögern für jede Fachzeitschrift annehmen. Ich habe tatsächlich kurz an diesem Problem gearbeitet und versucht, ein Gegenbeispiel zu finden, bin aber nicht vorangekommen … Es ist definitiv eine einschüchternde Konstruktion, die selbst dann schwer vollständig zu erfassen ist, wenn man weiß, was vor sich geht, und noch schwerer, selbst damit zu arbeiten.”