Neurochirurg beweist Vermutung, die Mathematiker 22 Jahre lang verblüffte, mit einem 16-stündigen GPT-5.6-Lauf
OpenAI
Ein Neurochirurg, Dr. Shanmu Jin, bewies die Crouzeix-Vermutung, ein seit langem bestehendes Problem der Matrizenanalyse, und wurde dabei von einem 16-stündigen autonomen Lauf von OpenAI's GPT-5.6 Sol unterstützt. Sein Beweis wurde von mehreren Mathematikern verifiziert, einschließlich des Autors der Vermutung, und ein zweiter unabhängiger Beweis erschien Tage später. Dies markiert einen Meilenstein: ein bedeutender mathematischer Beitrag eines Amateurs, gepaart mit einem KI-Modell.
Der Mathematiker Alex Townsend hatte ChatGPT fast ein Jahr lang gebeten, die Crouzeix-Vermutung zu beweisen, aber das Modell lieferte konsequent falsche oder unvollständige Beweise. Am 30. Juli 2026 gab ChatGPT einen Link zu einem drei Tage zuvor veröffentlichten Preprint zurück, der eine Lösung beanspruchte. Townsend und seine Kollegin Anna Greenbaum lasen ihn skeptisch und erkannten schnell, dass er echt war. Der Autor, Dr. Shanmu Jin, ist Assistenzarzt in der Neurochirurgie und Postdoktorand, kein professioneller Mathematiker. Er interessierte sich für die Crouzeix-Vermutung, während er an transkranieller Ultraschalltechnologie arbeitete, und formulierte eine Beweisstrategie in einer 16-stündigen autonomen Sitzung mit GPT-5.6 Sol in ChatGPT Work, ohne Internetzugang. Das Modell verwendete ein Portfolio verschiedener Strategien, adversarische Audits und eine Eliminierung basierend auf Gegenbeispielen, wie von Jin vorgegeben. Der Beweis wurde unabhängig von Townsend, Greenbaum und Michel Crouzeix überprüft und später durch einen zweiten, anderen Beweis der Mathematiker Emil Lorist und Felix Schwenninger gestärkt, die ebenfalls ChatGPT 5.6 Pro verwendeten. Der Fall verdeutlicht einen Paradigmenwechsel in der mathematischen Entdeckung und wirft Fragen zur Nachhaltigkeit des Peer-Review-Verfahrens auf.
Quelle: Habr — хаб ИИ —
Original