王的猜想,刚刚扩展到四维
王的猜想,刚刚扩展到四维谁能想到…Gowers你可能还是乐观了。10月7日,OpenAI一口气放出了722篇数学手稿,论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇,正是王虹拿奖的那个方向:挂谷猜想。
来自主题: AI资讯
9990 点击 2026-10-10 12:35
搜索
谁能想到…Gowers你可能还是乐观了。10月7日,OpenAI一口气放出了722篇数学手稿,论文和部分Lean证明全部上传Github。其中编号074的一组只有两篇,正是王虹拿奖的那个方向:挂谷猜想。
王虹与Zahl解决三维挂谷猜想集合版后,OpenAI在GitHub公开首批722篇数学手稿,其中175页四维稿主张证明一般四维挂谷集合满维,97页三维稿则针对更强的极大函数猜想,论证仍待独立检验。
昨晚,四年一度的菲尔兹奖在美国费城揭晓。四位得主里,中国籍数学家邓煜、王虹历史性地首次拿下菲尔兹奖,北大一夜之间变成「双菲」母校。另外两位是加拿大数学家 Jacob Tsimerman(雅各布·齐默尔曼)和美国数学家 John Pardon(约翰·帕登)。值得说道的是 Tsimerman 这位。