“数学家”的搜索结果
AI解决132年数学难题！Transformer成功寻找新的李雅普诺夫函数，三体问题相关
Meta和巴黎理工学院的研究团队提出了一种名为Symbolic Transformer的AI模型，旨在解决长期困扰数学界的难题——寻找全局李雅普诺夫函数，...
陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线
陶哲轩领导的方程理论项目取得了显著进展，目前完成度已达99.9963%。该项目汇集了专业和业余数学家、自动定理证明器、AI工具以及证明辅...
诺贝尔物理学奖颁给AI教父Hinton，这是他传奇的学术生涯
2024年诺贝尔物理学奖授予了两位在人工神经网络和机器学习领域做出基础性发现和发明的科学家：约翰·霍普菲尔德和杰弗里·辛顿。杰弗里·辛...
数学传奇「里奇流之父」逝世，享年81岁！助力证明庞加莱猜想，奠定几何学发展基础
美国几何分析数学家Richard Hamilton于9月29日去世，享年81岁。Hamilton是里奇流理论的创始人，这一理论在过去四十年中成为几何分析领域...
陶哲轩全网悬赏「最强大脑」！AI+人类颠覆数学难题？凡尔赛网友已下场
陶哲轩，一位著名的数学家，最近发起了一项挑战，旨在探索是否可以利用AI和众包的方式扩展数学问题的证明范围。他提出了一个项目，使用L...
OpenAI o1智商120，还是被陶哲轩称为「平庸的研究生」，但实力究竟如何？
OpenAI最近发布的新模型o1在AI领域引起了广泛关注。该模型在不同的测试中表现出了不同的能力。在智商测试中，o1的得分高达120，超过了其...
陶哲轩提前实测满血版o1：能当研究生使唤
陶哲轩，一位著名的数学家，对OpenAI的o1模型进行了测试，发现其在解决数学问题上表现出色，尤其是在识别克莱姆定理方面。他通过三轮测...
OpenAI o1惊现自我意识？陶哲轩实测大受震撼，门萨智商100夺模型榜首
OpenAI的o1模型在智商测试中取得了第一名，超越了其他AI模型如Claude-3 Opus和Bing Copilot。这些测试使用了门萨会员的离线智商测试题，...
40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则
一群业余爱好者成功解决了困扰计算机科学家40多年的忙碌海狸难题，这一成就得到了数学家陶哲轩和计算机科学家Scott Aaronson的高度评价...
为什么学线代时不知道：矩阵与图竟然存在等价关系
数学家 Tivadar Danka 通过其推文和博客文章，生动地介绍了非负矩阵与有向图之间的等价性及其在数学领域的应用。Danka 的介绍方式使得超...
