陶哲轩2020
-
发布了文章 1个月前
陶哲轩对谈OpenAI高管:AI也能做数据稀疏推理,“也许很快OpenAI就能证明陶哲轩是错的”
陶哲轩对谈OpenAI高管:AI也能做数据稀疏推理,“也许很快OpenAI就能证明陶哲轩是错的” “也许很快OpenAI将能证明陶哲轩是错的。”好家伙!隔着屏幕都能闻到“硝烟”味了(bu shi~事情是这样的。数学大佬...
-
发布了文章 1个月前
很快OpenAI能证明陶哲轩错了?陶哲轩一句话,被OpenAI高管怼回去
很快OpenAI能证明陶哲轩错了?陶哲轩一句话,被OpenAI高管怼回去 这周,OpenAI连更两弹,又将o1模型推向全网最高潮。就连奥特曼本人激动地预告,「迫不及待期待着下周的Day 3发布,感觉周一是那么地遥远」。...
-
发布了文章 2个月前
陶哲轩最新采访:AI将颠覆数学界!用Lean规模化,成百上千条定理一次秒杀
陶哲轩最新采访:AI将颠覆数学界!用Lean规模化,成百上千条定理一次秒杀 数学历来是一门孤独的科学。1986 年,安德鲁·怀尔斯(Andrew Wiles)为了证明费马大定理,遁入书斋长达七年之久。...
-
发布了文章 2个月前
全网惊了!陶哲轩带AI下场,33分钟「盲证」数学
全网惊了!陶哲轩带AI下场,33分钟「盲证」数学 菲尔兹奖得主陶哲轩再放大招,仅数天时间,开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中,他甚至用AI在33分钟「盲做」形式化一页证明,效率惊人。数...
-
发布了文章 2个月前
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关
陶哲轩携AI再战数学!o4-mini秒怂弃赛,Claude 20分钟通关 陶哲轩YouTube视频第二弹震撼来袭!这一次,他让AI挑战在Lean中形式化代数蕴含证明,结果Claude约20分通关,o4-mini太过谨慎...
-
发布了文章 2个月前
陶哲轩联手AI挑战经典ε-δ极限!加法秒杀、乘法翻车
陶哲轩联手AI挑战经典ε-δ极限!加法秒杀、乘法翻车 数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了!他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题:加法定理Copilot挥洒自如,减法...
-
发布了文章 2个月前
陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场
陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场 想参加陶哲轩发起的「众包」数学研究项目吗?机会来了!...
-
发布了文章 2个月前
陶哲轩:GPT-4神助攻,写Python代码轻松省半小时
陶哲轩:GPT-4神助攻,写Python代码轻松省半小时 刚刚,陶哲轩大赞:用ChatGPT写Python代码,效果真是太好了,它直接为我节省了数学研究中半小时的工作量!...
-
发布了文章 2个月前
陶哲轩“喂饭级”AI教程来了!只用GitHub Copilot证明函数极限问题
陶哲轩“喂饭级”AI教程来了!只用GitHub Copilot证明函数极限问题 视频新人博主陶哲轩又更新了!这次是“喂饭级”AI教程——手把手演示如何只用GitHub Copilot证明函数极限问题。(这更新频率确实o...
-
发布了文章 2个月前
陶哲轩转发!DeepMind开源「AI数学证明标准习题集」
陶哲轩转发!DeepMind开源「AI数学证明标准习题集」 陶哲轩转发,AI搞数学证明的标准习题集来了!DeepMind最新开源形式化数学猜想库——猜想库收录了经典的形式化表述的数学猜想集合,例如,解析数论中的四个朗道...
-
发布了文章 2个月前
o3来了!编程跻身人类全球前200,破解陶哲轩说难的数学测试,北大校友任泓宇现身直播间
o3来了!编程跻身人类全球前200,破解陶哲轩说难的数学测试,北大校友任泓宇现身直播间 OpenAI公布下一代模型,o1之后直接o3!“双12”直播活动最后一天,终于来了个大的,奥特曼本人也再次现身直播间。...
-
发布了文章 2个月前
陶哲轩:AI让业余数学家也能做出贡献
陶哲轩:AI让业余数学家也能做出贡献 AI影响之一是让业余数学家也能做出贡献。数学下一次文化转变在于AI生成的证明是否会被接受。很快会有个AI聊天机器人坐在你旁边。当你完成证明时,他可以回答问题,帮你解释每一步。...
-
发布了文章 2个月前
陶哲轩转发、菲尔兹奖得主领衔:AI正在颠覆数学家的工作方式 - 美国数学学会特刊
陶哲轩转发、菲尔兹奖得主领衔:AI正在颠覆数学家的工作方式 | 美国数学学会特刊 陶哲轩点赞转发,《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。这些文章读起来很有趣,尽管使我自己即将发表的一篇文章显得多余...
没有更多内容