研究與評測
據報神經外科醫師使用 GPT-5.6 驅動的 ChatGPT，成功證明數值線性代數難題 Crouzeix 猜想
Techmeme單一來源
尚未逐項核實
目前依單一來源整理，這是來源數量描述，不是對消息真假的判定。
據數學家 Alex Townsend 指出，一名神經外科住院醫師使用由 GPT-5.6 驅動的 ChatGPT，成功解決了數值線性代數領域的重大未解難題 Crouzeix 猜想。該名醫師在過去一年內持續要求 ChatGPT 解決此猜想，最終於 2026 年 7 月 30 日取得突破。根據 arXiv 上的論文資料補充，該解答的證明過程結合了針對 2-dilations 的擾動引理（perturbation lemma），並將其應用於雙層位勢表示法中。
讀原始報導背景
Crouzeix's conjecture 是由 Michel Crouzeix 於 2004 年提出的矩陣分析未解難題。該猜想主要探討複數方陣的函數範數與其數值域（field of values）之間的關係。
這則事件的發展
來源
本期分類