清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
来自主题: AI技术研报
4311 点击 2024-10-12 14:55
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
本文中，我们将分享 8 款人工智能数学工具，这些工具正在辅助数学教育、学习过程，并使学生和教育工作者能够应对挑战。
阿里巴巴全球数学竞赛，已经举办了六年。 在今年三月，组委会宣布了一件振奋人心的事情—— “不论碳基和硅基”，今年首次开辟了 AI 赛道。
想参加陶哲轩发起的「众包」数学研究项目吗？ 机会来了！
姚期智院士领衔，推出大模型新推理框架，CoT“王冠”戴不住了。
Harmonic获7500万美元A轮融资，估值3.25亿美元。
笑死，原来o1也像人类一样喜欢赶ddl。
好羡慕！原来早在8月份，陶哲轩就已经用上了OpenAI o1。
在中国奥数队历史性五连冠被美国队终结后，一个名字被反复谈起。
在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一，还在今年的 AI 数学奥林匹克竞赛（AIMO 进步奖）担任了顾问委员。