AI资讯新闻榜单内容搜索-Ai数学

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: Ai数学
永别了,人类冠军!AI横扫天文奥赛,GPT-5得分远超金牌选手2.7倍

永别了,人类冠军!AI横扫天文奥赛,GPT-5得分远超金牌选手2.7倍

永别了,人类冠军!AI横扫天文奥赛,GPT-5得分远超金牌选手2.7倍

国际奥赛又一块金牌,被AI夺下了!在国际天文与天体物理奥赛(IOAA)中,GPT-5和Gemini 2.5 Pro完胜人类选手,在理论和数据分析测试中,拿下了最高分。在理论考试上,Gemini 2.5 Pro总体得分85.6%,GPT-5总体得分84.2%;

来自主题: AI资讯
7703 点击    2025-10-12 15:04
陶哲轩用GPT5-Pro跨界挑战!3年无解的难题,11分钟出完整证明

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

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

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

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

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

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

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

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

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

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

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

来自主题: AI资讯
7983 点击    2025-10-05 21:37
一杯咖啡,3亿美金!斯坦福天才少女退学创业,Meta AI大牛排队加入

一杯咖啡,3亿美金!斯坦福天才少女退学创业,Meta AI大牛排队加入

一杯咖啡,3亿美金!斯坦福天才少女退学创业,Meta AI大牛排队加入

一次咖啡馆中的谈话,诞生了一家估值3亿美元的创业公司!2024年,仍为斯坦福大学博士生的Carina Hong与前Meta的AI研究员Shubho Sengupta有过一次数小时的交谈。在那次交谈中二人探讨了如何用AI来解决数学领域的难题。

来自主题: AI资讯
7337 点击    2025-10-03 00:01
谷歌AI或摘千禧年大奖!华人博士破解百年数学难题,首次捕获奇点

谷歌AI或摘千禧年大奖!华人博士破解百年数学难题,首次捕获奇点

谷歌AI或摘千禧年大奖!华人博士破解百年数学难题,首次捕获奇点

百年流体力学难题,终被AI破解!谷歌DeepMind联手顶尖机构,首次用AI在三个不同方程中,成功发现全新的数学「奇点族」,开创研究全新范式。下一个诺奖,或被AI提前预定?

来自主题: AI资讯
9403 点击    2025-09-19 14:14
GPT-5攻入数学圈,证明定理快过博士生?网友热议AI新角色

GPT-5攻入数学圈,证明定理快过博士生?网友热议AI新角色

GPT-5攻入数学圈,证明定理快过博士生?网友热议AI新角色

当GPT-5第一次被写进数学论文,舆论瞬间炸开。有人惊呼「AI 数学家诞生」,有人却冷静提醒:它只是把熟悉的工具快速拼接。于是,一个新的问题被摆到台前:这究竟是科研的加速器,还是博士培养的绊脚石?

来自主题: AI技术研报
7185 点击    2025-09-18 15:41
AI解数学题只靠最后一个token

AI解数学题只靠最后一个token

AI解数学题只靠最后一个token

最近,来自加州大学圣克鲁兹分校、乔治·梅森大学和Datadog的研究人员发现:在心算任务中,几乎所有实际的数学计算都集中在序列的最后一个token上完成,而不是分散在所有token中。

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

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

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

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

来自主题: AI资讯
8508 点击    2025-09-14 13:30