当前位置：网站首页 » 话题 » 内容详情

陶哲轩最新娱乐体验_陶哲轩个人资料简介(2024年11月深度解析)

内容来源：乐园影视所属栏目：话题更新日期：2024-11-26

陶哲轩

陶哲轩谈人工智慧如何驱动大规模的数学探索邓不俗的微博视频

勾股定理还能这样证明？高中生一连发现10种证明方法，陶哲轩点赞「数据派thu的精心推荐」勾股定理还能这样证明？高中生一连发现10种证...

刚刚给领导汇报完工作了。。其中提到大模型的幻觉和提供错误信息的问题。我提出不应该苛求大模型在任何场景下都是正确的。举了两个例子。 1）AlphaFold 一种预测蛋白质结构的大模型工具，预测的准确率超过90%，能节约大量人类实验，能辅助人类实验。输出错误的部分并不可怕，高水平的人需要的是正确的部分，和可以验证是错误的部分，有启发意义即可。 2）数学家陶哲轩多次提到大模型对数学研究的辅组作用，虽然初期的输出有错误，但是通过陶哲轩的不断指出后，不断迭代，最终给出正确的结果。我对领导说，大模型对于儿童和普通用户，如果出现幻觉甚至错误的知识是比较危险的，这块可以在输入输出端进行处理，但是在科学研究领域，不应苛责百分比的正确，本身因为科学家提的问题都特别难，也许大模型不经意的一个“指点”就突破了人类科学探索的边界。部分领导表示了赞同。。

“而现在，在2200万+个需要证明的蕴含关系中，8178279个已被证实，13855193个已被证伪，仅有162个还悬而未决。” 陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明

“其上的刻痕似乎是迄今发现的最古老的字母文字，可以追溯至约公元前2400年，比此前已知的字母文字早了约500年，改写了考古学家对字母起源的认知。” 陶哲轩宣布“等式理论计划”成功，人工智能57天证明超过2200万个数学关系 | 环球科学要闻陶哲轩宣布“等式理论计划”成功，人工智能57天证明超过2200万个数学关系 | 环球科学要闻陶哲轩宣布“等式理论计划”成功，人工智能57天证明超过2200万个数学关系 | 环球科学要闻

据说陶哲轩用AI辅助研究宣布等式理论成功，openAI刚出的时候他就说过AI会帮助科学家尤其是顶级科学家就极大的扩展自己的研究能力，很多数学研究就是把一个方法应用在不同领域，以前这个靠个人的天赋和勤奋，现在可以靠AI，现在又宣布新成果，这个事情就像欧拉天赋极高，一辈子算了极多的内容，勤奋至极，失明了都还在奋战，但是当计算机出来几天就算出了同一个题目数量级差距的更准确结果，现在又出现新拐点，未来不可想象啊。

陶哲轩宣布：“等式理论计划”已基本成功！ 11月22日，数学天才陶哲轩（Terence Tao）在社交媒体上宣布，其发起的“等式理论计划”（ Equational Theories Project）已经“暂时”取得成功：在人类科学家与AI的通力合作之下，该项目最后一个未解决的蕴含关系已经被解决。他表示，仅用了57天时间，该项目就解决了4694个等式之间22 028 942个蕴含关系。陶哲轩说，尽管该项目尚未完全完成，但宣布最终成功只是时间问题，因此他们已经开始着手撰写研究成果。据悉，“等式理论计划”由陶哲轩本人在2024年9月25日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。该项目旨在采用“数学家+AI（包括自动定理证明系统和大模型）+证明辅助语言Lean”的协作方式，构建一个展示4694个magma等式（最多四次使用magma操作）之间所有蕴含关系的“蕴含图”。项目发起当日就正式启动，仅仅9天，项目进度就达到了99.866%，到第19天进度已达99.9963%。现在，在超过2200万个需要证明的蕴含关系中，8178279个已被证实，13855193个已被证伪，仅有162个还悬而未决。「热门微博」「科研动态」「陶哲轩」「数学」

勾股定理还能这样证明？高中生一连发现10种证明方法，陶哲轩点赞勾股定理还能这样证明？高中生一连发现10种证...来自@腾讯新闻你还会证明勾股定理吗？这两个女孩找出了十种证明新方法！

陶哲轩宣布“等式理论计划”成功，57天完成超过2200万个数学关系证明据量子位消息，11月22日，数学家陶哲轩（Terence Tao）在社交媒体上宣布，其发起的“等式理论计划”（ Equational Theories Project）已经“暂时”取得成功：在人类科学家与AI的通力合作之下，该项目最后一个未解决的蕴含关系已经被解决（待验证）。仅仅57天，该项目就解决了4694个等式之间22 028 942个蕴含关系。陶哲轩表示，尽管该项目尚未完全完成，但宣布最终成功只是时间问题，因此他们已经开始着手撰写研究成果。据悉，“等式理论计划”由陶哲轩本人在2024年9月25日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。该项目旨在采用“数学家+AI（包括自动定理证明系统和大模型）+证明辅助语言Lean”的协作方式，构建一个展示4694个magma等式（最多四次使用magma操作）之间所有蕴含关系的“蕴含图”。项目发起当日就正式启动，仅仅9天，项目进度就达到了99.866%，到第19天进度已达99.9963%。现在，在超过2200万个需要证明的蕴含关系中，8178279个已被证实，13855193个已被证伪，仅有162个还悬而未决。（量子位）

【「与顶级数学家比赛AI输得很惨」】最近，人们十分惊叹先进智能AI系统在处理具有挑战性数学任务方面的非凡能力。但它们到底有多厉害！最近，在一项国际合作项目中，数学家团队向AI发起挑战，结果AI输得很惨。来自全球60多位顶级数学家，包括多位菲尔兹奖得主专门设计了一套原创的，极具挑战的数学题。人类数学家可以轻松解决，然而目前最先进的AI系统只能完成不到2%。这说明，AI的数学能力和数学家的能力之间存在巨大差距，AI机器人的时代恐怕又要推迟了。「科普好视频」智慧科技迷的微博视频

专栏内容推荐

268 x 363 · jpeg
陶哲轩图册_360百科
素材来自:baike.so.com
800 x 1061 · jpeg
“华裔天才”陶哲轩：曾24岁时成美国名校正教授，31岁获菲尔兹奖
素材来自:k.sina.cn

800 x 600 · jpeg
华裔天才数学家陶哲轩：31岁获菲尔兹奖，热爱和坚持比聪明更重要
素材来自:k.sina.cn
350 x 249 · jpeg
陶哲轩：一个华裔数学天才的传奇_新闻中心_新浪网
素材来自:news.sina.com.cn

490 x 648 · jpeg
3个搞物理的颠覆了数学常识，陶哲轩：开始压根不相信_手机新浪网
素材来自:tech.sina.cn
700 x 525 · jpeg
“华裔天才”陶哲轩：曾24岁时成美国名校正教授，31岁获菲尔兹奖
素材来自:k.sina.cn

640 x 456 · jpeg
陶哲轩：一个华裔数学天才的传奇 - 每日头条
素材来自:kknews.cc
799 x 533 · jpeg
“豪华版诺贝尔”首颁数学奖华裔科学家陶哲轩获奖
素材来自:guancha.cn

2000 x 1040 · jpeg
华裔数学家陶哲轩领导白宫生成式AI工作组，李飞飞将在小组演讲_未来2%_澎湃新闻-The Paper
素材来自:thepaper.cn

232 x 300 · jpeg
华裔数学天才陶哲轩：21岁成普林斯顿博士_科学探索_科技时代_新浪网
素材来自:tech.sina.com.cn
1152 x 720 · jpeg
Interview at Cirm: Terence TAO 采访陶哲轩_哔哩哔哩_bilibili
素材来自:bilibili.com

1920 x 1080 · jpeg
IQ230！陶哲轩世界上最聪明的华人数学家_哔哩哔哩_bilibili
素材来自:bilibili.com

700 x 888 · jpeg
“华裔天才”陶哲轩：曾24岁时成美国名校正教授，31岁获菲尔兹奖
素材来自:k.sina.cn
640 x 450 ·
人物 | “数学界莫扎特”——陶哲轩：我没有数学研究和学术成功的“万金油” - 知乎
素材来自:zhuanlan.zhihu.com

263 x 210 · jpeg
陶哲轩 - 搜狗百科
素材来自:baike.sogou.com
1920 x 1080 · jpeg
陶哲轩基础突破奖采访_哔哩哔哩_bilibili
素材来自:bilibili.com

250 x 350 · jpeg
陶哲轩：数学界的莫扎特(组图)-搜狐新闻
素材来自:news.sohu.com
720 x 481 · png
菲尔兹奖得主陶哲轩开网课了！3月底线上开放 - 知乎
素材来自:zhuanlan.zhihu.com

750 x 517 · jpeg
陶哲轩自述考砸经历：智商高达230的数学天才，却因没复习险些挂科_手机新浪网
素材来自:tech.sina.cn
263 x 351 · jpeg
陶哲轩 - 搜狗百科
素材来自:baike.sogou.com

1280 x 720 · jpeg
陶哲轩(华裔数学家)_搜狗百科
素材来自:baike.sogou.com

300 x 240 · jpeg
陶哲轩 - 搜狗百科
素材来自:baike.sogou.com
253 x 337 · jpeg
陶哲轩 - 搜狗百科
素材来自:baike.sogou.com

640 x 640 · jpeg
最强大脑陶哲轩：世界上最聪明的人 - 每日头条
素材来自:kknews.cc
1080 x 771 · jpeg
陶哲轩8岁高考得760分，智商超过爱因斯坦，天才的他如今怎样？_数学课
素材来自:sohu.com

677 x 449 · jpeg
GPT-4帮陶哲轩解题、证明数学定理：数学真要成为首个借助AI实现突破的学科了？_澎湃号·政务_澎湃新闻-The Paper
素材来自:thepaper.cn
1000 x 523 · jpeg
8岁高考得760分，智商远超爱因斯坦的陶哲轩，现状如何？_腾讯新闻
素材来自:new.qq.com

388 x 500 · jpeg
当年8岁高考得760分的陶哲轩，智商超过爱因斯坦，如今怎么样了？_数学
素材来自:sohu.com
513 x 342 · jpeg
“最牛数学神童”陶哲轩，8岁高考获得760分，智商赶超爱因斯坦_腾讯新闻
素材来自:new.qq.com

600 x 400 · jpeg
华裔天才数学家陶哲轩，8岁参加高考拿下760分，智商超过爱因斯坦_腾讯新闻
素材来自:new.qq.com
2234 x 1396 · jpeg
数学男神陶哲轩谈数学学习_哔哩哔哩_bilibili
素材来自:bilibili.com

1000 x 523 · jpeg
8岁高考得760分，智商远超爱因斯坦的陶哲轩，现状如何？_腾讯新闻
素材来自:new.qq.com

素材来自:youtube.com

554 x 362 · jpeg
数学奇才陶哲轩：8岁高考得760分，智商240高过霍金，如今怎样了_腾讯新闻
素材来自:new.qq.com
640 x 503 · jpeg
当年八岁参加高考得760分的数学天才陶哲轩，后来过得怎样？_小时候_天赋_普通人
素材来自:sohu.com

素材来自:查看更多內容

当前用户设备UA：Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)