#Crouzeix猜想

AI辅助证明Crouzeix猜想：医生用GPT破解20年数学难题

北京神经外科医生在经颅超声研究中借助GPT大语言模型，意外为悬而未决20年的Crouzeix猜想提供证明思路。本文解析这一跨界突破的来龙去脉，探讨AI辅助数学证明的角色与边界。