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

陶哲轩最新娱乐体验_陶哲轩vs韦神(2024年12月深度解析)

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

陶哲轩

陶哲轩新作手机QQ浏览器资讯

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

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

陶哲轩分享了下第二届 AI 数学奥林匹克竞赛的进展。特别提到了qwen系列的QwQ推理模型。不管是上一届还是这一届，参赛队伍基本都是在用DeepSeek或qwen系列微调的模型。

OpenAI Forum 下周的一场线上活动，陶哲轩与 Mark Chen 对谈，The Future of Math with o1 Reasoning。链接：网页链接

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

“而现在，在2200万+个需要证明的蕴含关系中，8178279个已被证实，13855193个已被证伪，仅有162个还悬而未决。” 陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明陶哲轩宣布“等式理论计划”成功，人类AI协作，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个还悬而未决。「热门微博」「科研动态」「陶哲轩」「数学」

专栏内容推荐

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

800 x 600 · jpeg
“华裔天才”陶哲轩：曾24岁时成美国名校正教授，31岁获菲尔兹奖
素材来自:k.sina.cn
450 x 321 · jpeg
菲尔茨奖得主陶哲轩：瓜分数学成就没有益处--科技--人民网
素材来自:scitech.people.com.cn

490 x 648 · jpeg
3个搞物理的颠覆了数学常识，陶哲轩：开始压根不相信_手机新浪网
素材来自:tech.sina.cn
2000 x 1040 · jpeg
华裔数学家陶哲轩领导白宫生成式AI工作组，李飞飞将在小组演讲_未来2%_澎湃新闻-The Paper
素材来自:thepaper.cn

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

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

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

440 x 660 · jpeg
陶哲轩_百度百科
素材来自:baike.baidu.com
700 x 888 · jpeg
“华裔天才”陶哲轩：曾24岁时成美国名校正教授，31岁获菲尔兹奖
素材来自:k.sina.cn

750 x 517 · jpeg
陶哲轩自述考砸经历：智商高达230的数学天才，却因没复习险些挂科|陶哲轩|数学_新浪科技_新浪网
素材来自:tech.sina.com.cn
517 x 360 · jpeg
剧情反转天才陶哲轩与三个物理学家发现的公式翻车了_and
素材来自:sohu.com

1000 x 667 · jpeg
陶哲轩成为白宫生成式AI工作组的共同领导者；南大团队正式发表《自然》，推翻“室温超导”结果｜环球科学要闻_腾讯新闻
素材来自:view.inews.qq.com
263 x 210 · jpeg
陶哲轩 - 搜狗百科
素材来自:baike.sogou.com

1920 x 1080 · jpeg
陶哲轩基础突破奖采访_哔哩哔哩_bilibili
素材来自:bilibili.com

250 x 350 · jpeg
陶哲轩：数学界的莫扎特(组图)-搜狐新闻
素材来自:news.sohu.com
1280 x 720 · jpeg
陶哲轩(华裔数学家)_搜狗百科
素材来自:baike.sogou.com

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

2234 x 1396 · jpeg
数学男神陶哲轩谈数学学习_哔哩哔哩_bilibili
素材来自:bilibili.com
253 x 337 · jpeg
陶哲轩 - 搜狗百科
素材来自:baike.sogou.com

677 x 449 · jpeg
GPT-4帮陶哲轩解题、证明数学定理：数学真要成为首个借助AI实现突破的学科了？_澎湃号·政务_澎湃新闻-The Paper
素材来自:thepaper.cn
640 x 640 · jpeg
最强大脑陶哲轩：世界上最聪明的人 - 每日头条
素材来自:kknews.cc

1080 x 771 · jpeg
陶哲轩8岁高考得760分，智商超过爱因斯坦，天才的他如今怎样？_数学课
素材来自:sohu.com
1000 x 523 · jpeg
8岁高考得760分，智商远超爱因斯坦的陶哲轩，现状如何？_腾讯新闻
素材来自:new.qq.com

513 x 342 · jpeg
“最牛数学神童”陶哲轩，8岁高考获得760分，智商赶超爱因斯坦_腾讯新闻
素材来自:new.qq.com
1000 x 750 · jpeg
陶哲轩智商远超爱因斯坦，17岁读博、24岁当教授，如今更让人羡慕_腾讯新闻
素材来自:new.qq.com

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

560 x 420 · jpeg
陶哲轩再次引爆全场——声明解决80年数论难题-搜狐教育
素材来自:learning.sohu.com
300 x 193 · jpeg
陶哲轩 - 搜狗百科
素材来自:baike.sogou.com

1024 x 683 · jpeg
那个 14 岁上大学、17 岁读博、24 岁当教授的天才神童，如今怎么样了？_陶哲轩
素材来自:sohu.com
1920 x 1080 · jpeg
《陶哲轩实分析》计划完成报告 - 哔哩哔哩
素材来自:bilibili.com

素材来自:查看更多內容

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