Kakeya needle problem
PulseAugur coverage of Kakeya needle problem — every cluster mentioning Kakeya needle problem across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
OpenAI AI 攻克重大数理难题；Claude 取得类似成就
OpenAI 宣布其 AI 已解决三个重要的数学和物理学问题，包括 Kakeya 猜想和指数时间假设。据报道，Anthropic 的 AI 模型 Claude 也对指数时间假设取得了相同的结果。这些进展凸显了 AI 在应对复杂科学和数学挑战方面日益增长的能力。
-
Numina Fuse 简化了 Lean 4 中 AI 辅助的数学形式化
Numina Fuse 是一款新推出的、原生代理的应用程序，旨在协助使用 Lean 4 编程语言进行数学形式化。该应用在 2026 年全年开发，便于人类监督编写 Lean 代码的 AI 代理，提供项目蓝图、依赖关系图和代码本身的视图。该系统已被用于形式化数学猜想和研究证明器模型，其经验教训旨在为未来的自动形式化系统提供参考。还提供了一个开源的本地版本 Fuse Desktop。
-
菲尔兹奖得主王鸿在导师指导下解决凯莱猜想
2026年菲尔兹奖得主王鸿教授解决了三维凯莱猜想。她的博士导师、麻省理工学院教授Larry Guth在指导她的研究中发挥了关键作用，尽管他并未与最终论文合著。Guth的指导强调耐心、积极倾听和允许犯错，王鸿认为这些原则不仅对她的数学工作，也对她的个人发展至关重要。
-
北京大学数学家王鸿和邓宇荣获菲尔兹奖章
两位中国数学家王鸿和邓宇在费城国际数学家大会上荣获菲尔兹奖章，创造了历史。1991年出生的王鸿是第三位获得该享有盛誉的奖项的女性，而她来自北京大学的同龄人邓宇也获得了这一荣誉。两位数学家因解决了重要的百年数学难题而受到认可：王鸿证明了关于三维“Kakeya集”大小的猜想，而邓宇则提供了将硬球系统与玻尔兹曼方程联系起来的严格推导，解决了希尔伯特第六问题的一部分。