Claude助数学家连破两个百年数学猜想
AI协助构造反例,一举推翻两个百年数学猜想,显示人机协作正改变数学研究方式。
数学家Levent Alpöge用Claude构造出一个只有单个脐点的光滑凸曲面,同时推翻Carathéodory猜想和Loewner猜想——两个困扰数学界百年的问题。此前人们认为光滑闭凸曲面至少有两个脐点(曲面上各方向弯曲程度相同的点)。AI正成为数学家的“直觉补充器”,在人类直觉失灵处开辟新路径。
正文摘录
 新智元报道  百年猜想,又倒了一个。 Anthropic/哈佛数学家Levent Alpöge联合Claude,直接证伪了困扰数学界超过100年的Carathéodory猜想,顺带击碎了Loewner指数猜想。 一份PDF在数学圈流传了整整一周。现在,它正式公开了。  这已经不是Alpöge第一次和Claude联手搞事。今年世界杯期间,他就用提出了3维雅可比猜想的反例,震动数学界,   百年猜想,说的是什么 先说Carathéodory猜想本身。 1924年,德国数学家Hans Ludwig Hamburger在微分几何中提出了Carathéodory猜想,但用希腊数学家、他的博士生导师Constantin Carathéodory命名。 该猜想指出,三维欧几里得空间中 任何凸的、闭合的且足够光滑的曲面必定至少存在两个脐点 。