AI资讯新闻榜单内容搜索-陶哲轩

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: 陶哲轩
陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明

陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明

陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明

陶哲轩与GPT-5 Pro这对搭档再大发神威,解决了一个3年无人解决的难题。而且是“不太在自己专业范围内”的问题:微分几何领域的开放问题。要知道,陶哲轩擅长的分析、数论、组合学等研究的往往是整数、函数、算子的性质。而微分几何更侧重于流形的性质,常用的工具也很不一样。

来自主题: AI资讯
9171 点击    2025-10-11 12:38
陶哲轩联手ChatGPT!10分钟击碎30年「无理」难题,数学圈炸裂

陶哲轩联手ChatGPT!10分钟击碎30年「无理」难题,数学圈炸裂

陶哲轩联手ChatGPT!10分钟击碎30年「无理」难题,数学圈炸裂

10分钟,答案浮出水面!陶哲轩用ChatGPT,发现一道30多年来一直认为悬而未决的问题,其实早被华人数学家给破解了。没有「神迹」,他这次只是用对了工具链:ChatGPT算出级数前几项、输入特定数据库、命中序列、找到文献、确认答案。

来自主题: AI资讯
7158 点击    2025-10-07 22:12
陶哲轩用GPT-5解决数学难题:仅29行Python代码

陶哲轩用GPT-5解决数学难题:仅29行Python代码

陶哲轩用GPT-5解决数学难题:仅29行Python代码

AI又又又帮陶哲轩解决了一个难题!消息来自陶本人最新发帖,他直言不讳地表示:甚至,如果没有AI,他也不会决定采用目前已经取得成功的关键策略。

来自主题: AI资讯
8456 点击    2025-10-05 21:37
高阶程序,让AI从技术可行到商业可信的最后一公里

高阶程序,让AI从技术可行到商业可信的最后一公里

高阶程序,让AI从技术可行到商业可信的最后一公里

很多人相信,我们已经进入了所谓的「AI 下半场」,一个模型能力足够强大、应用理应爆发的时代。然而,对于这个时代真正缺少的东西,不同的人有不同的侧重,比如(前)OpenAI 研究者姚顺雨强调了评估的重要性,著名数学家陶哲轩则指出必须降低成本才能实现规模化应用。

来自主题: AI技术研报
5334 点击    2025-09-18 14:55
啥?陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了

啥?陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了

啥?陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了

不得了,这个名叫Gauss(高斯)的新AI Agent,有点杀疯了的感觉。 因为它只用了三周的时间,就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理(Prime Number Theorem,PNT)。

来自主题: AI资讯
8933 点击    2025-09-14 13:30
陶哲轩都惊了!o3首战「AI奥数」碾压夺冠,开源军团仅差5分狂追OpenAI

陶哲轩都惊了!o3首战「AI奥数」碾压夺冠,开源军团仅差5分狂追OpenAI

陶哲轩都惊了!o3首战「AI奥数」碾压夺冠,开源军团仅差5分狂追OpenAI

AI界奥数杯,重启了!OpenAI o3首次杀入赛场,在算力拉满的情况下,直接以最高47分的逆天成绩炸翻全场。值得一提的是,前五模型合并得分仅与o3差5分,开源与闭源差距再次缩小。

来自主题: AI资讯
7436 点击    2025-09-08 10:48
陶哲轩最新灵魂拷问:AI几乎完全由实证研究主导,学术界完全隐身

陶哲轩最新灵魂拷问:AI几乎完全由实证研究主导,学术界完全隐身

陶哲轩最新灵魂拷问:AI几乎完全由实证研究主导,学术界完全隐身

陶哲轩最新发文总结AI领域现状,当前AI发展高度依赖经验与算力,缺乏理论支撑,导致成功难以复制、失败无法解释。辛顿、Rahimi、Jordan等也纷纷警示,AI的黑箱本质和缺乏解释性将限制其可持续发展。唯有建立坚实理论基础,AI才能真正走向透明、安全与可靠的未来。

来自主题: AI资讯
6770 点击    2025-08-05 15:50
陶哲轩回应OpenAI新模型IMO夺金!GPT-5测试版也曝光了

陶哲轩回应OpenAI新模型IMO夺金!GPT-5测试版也曝光了

陶哲轩回应OpenAI新模型IMO夺金!GPT-5测试版也曝光了

OpenAI最新模型曝光了,在2025年国际数学奥林匹克竞赛(IMO)上达到了金牌水平!IMO被公认为全球最顶尖的数学竞赛,每年只有不到8%的参赛者能够获得金牌。而现在,一个AI模型做到了。

来自主题: AI资讯
8504 点击    2025-07-20 23:48
陶哲轩看傻:三破18年数学纪录!谷歌推出「AI爱迪生」,科研不再靠灵感?

陶哲轩看傻:三破18年数学纪录!谷歌推出「AI爱迪生」,科研不再靠灵感?

陶哲轩看傻:三破18年数学纪录!谷歌推出「AI爱迪生」,科研不再靠灵感?

在5月中旬,谷歌发布了AlphaEvolve。不仅30天内攻克了18年未解的难题,或将开启了一场无需「灵感」的科学革命:未来,科学家将不再依赖直觉,而是靠AI解决难题!

来自主题: AI资讯
6976 点击    2025-07-15 10:53