标签:数学
陶哲轩推荐:2个高中生发现勾股定理新证明,论文都发出来了
夕小瑶科技说 分享来源 | 机器之心几千年过去了,勾股定理还能有新发现?而且还是被两个高中生发现的? 这个人人都会的初中二年级数学知识,在学术领域居然有...
勾股定理还能这样证明?高中生一连发现10种证明方法,陶哲轩点赞
机器之心报道 编辑:Panda、泽南论文已上期刊,数学家表示赞叹。几千年过去了,勾股定理还能有新发现?而且还是被两个高中生发现的? 这个人人都会的初中二年...
陶哲轩之后,华人再获数学塞勒姆奖,还是位90后
一水 发自 凹非寺量子位 | 公众号 QbitAI已押中10位菲尔兹奖得主的Salem Prize,今年颁给了一位90后华人—— 继陶哲轩(2000年获奖)和詹大鹏(Dapeng Zhan,20...
北大校友张益唐:会将“朗道-西格尔零点猜想”彻底完成
来源:数学与通识 10月15日,传奇数学家张益唐在知乎上发表文章与年轻人交流,首次讲述了此前从未公开过的诸多往事:小时候读过的介绍俄罗斯科学家罗蒙诺索夫...
人类已知最大素数诞生:2¹³⁶²⁷⁹⁸⁴¹−1!前英伟达员工数千GPU爆肝算出,高达4100万位
新智元报道编辑:Aeneas 好困 【新智元导读】人类已知最大的素数,被GPU发现了!英伟达前员工Luke Durant发现的2136279841-1,比前一个纪录保持者多出1600万...
陶哲轩:纳维-斯托克斯方程或已不再是流体的良好模型
一水 发自 凹非寺量子位 | 公众号 QbitAI能拿下数学奥赛银牌水平的AI是否达到了12岁陶哲轩的水平? 陶神本人的回答来了—— 两三年后,AI将会在这些数学竞赛中...
清华校友用AI破解162个高数定理,智能体LeanAgent攻克困扰陶哲轩难题!
新智元报道编辑:编辑部 HYZ 【新智元导读】就在刚刚,清华校友用AI证明了162个未被人类证明的数学定理,解决了AI无法解决陶哲轩对多项式Freiman-Ruzsa猜想的...
数学年鉴:数学家取得双重突破,解决了两个长期存在的问题
罗格斯大学新不伦瑞克分校的一位教授毕生致力于解决高等数学的奥秘,他解决了困扰数学家数十年的两个独立的基本问题。 这些长期存在的问题的解决方案可以进一...
王小川的三阶段论:从物理、语言到意识的数学化
来源:元界 整理编辑:抱一君 牛顿是科学时代起步时的一位科学家,他的重要工作是把物理学变成了数学。智能时代的起步,是从把语言变成数学开始的,以ChatGP...
陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场
新智元报道编辑:Aeneas 好困 【新智元导读】最近,陶哲轩向广大网友和数学爱好者发起了挑战:大众数学爱好者、证明助理、自动化助手和AI联合起来,是否可以...
谷歌Gemini数学反超o1预览版!成本仅1/10、无需额外思考时间,旧范式还没有死
小交 发自 凹非寺量子位 | 公众号 QbitAI数学击败o1-preview,成本仅为十分之一,并且几乎没有思考延迟! OpenAI《Her》全量开放同一天,谷歌Gemini 1.5迎来...
北大AI奥数评测,o1-mini比o1-preview分数还高
Omni-MATH团队 投稿量子位 | 公众号 QbitAIOpenAI的o1系列一发布,传统数学评测基准都显得不够用了。 MATH-500,满血版o1模型直接拿下94.8分。 更难的奥数邀...
LLM群体智能崛起,数学性能暴增11.6%!谷歌DeepMind四大机构联手新作
新智元报道编辑:桃子 【新智元导读】多个LLM联合,可以迈向更强大系统!最新研究发现,GPT-4能够提升同伴的性能,能够让数学能力暴涨11.6%。AI如何成为「更...
Qwen2.5登上全球开源王座!72B模型击败LIama3 405B,轻松胜过GPT-4o-mini
白小交 发自 凹非寺量子位 | 公众号 QbitAI击败LIama3!Qwen2.5登上全球开源王座。 而后者仅以五分之一的参数规模,就在多任务中超越LIama3 405B。 各种任务...