• 我的订阅
  • 头条热搜
Nature重磅:击败人类数学家,AI首次攻破经典数学难题
人工智能(AI)大模型,击败了人类数学家。今天,在 Nature 上发表的一篇论文中,Google DeepMind 的研究团队介绍了一种搜索数学和计算机科学新解决方案的方法——FunSearch,它的工作原理是将预先训练的大型语言模型(LLMs)与...……更多
菲尔兹奖得主亲测GPT-4o,经典过河难题破解失败!最强Claude 3.5回答离谱,LeCun嘲讽LLM
...的答案比正确答案呈指数级增长。(然而,这更多与它的数学能力有关,所以有点取巧。) 在网友测试的一个案例中,即使被告知农夫根本不需要过河,GPT-4o仍提出了一个9次渡河的复杂解决方案。而且它忽视了重要的约束条件...……更多
AI表现直逼国际奥数优秀选手, 它要 “征服”数学了吗?
...I)铺平道路? 数学一直被视为人类智力的“天花板”,数学家则不断在挑战人类智力的极限。同时,数学难题也一直是大模型难以“征服”的领域之一。数学是推理的语言。长期以来,人们一直在为这类难题的复杂推理而苦恼...……更多
人类如何发现“数”的存在?数学家夏志宏抖音导读数学名著
...对数的认识,伴随了自身文明的发展。12月16日晚8:00,数学家夏志宏教授做客高山科学经典,为网友导读了经典科普名著《数:科学的语言》一书,讲述了这些数的发现过程及其意义。、夏志宏是数学家、天文学家、美国西北...……更多
人工智能赢得国际奥数银牌
...沿的数学往往需要极为复杂的证明,比如日本的京都大学数学家望月新一在证明“abc猜想”时,其证明过程长达500页。即便在数学家中,能仔细阅读完该证明过程的就寥寥无几,要是发现其中的逻辑错误更是难上加难。因此,数...……更多
...光放远,又要脚踏实打好基础,希望未来能有更多的中国数学家走向世界,引领开创数学新领域。龙以明院士向获奖的葛墨林院士和各位老师同学表示祝贺,并表达了对张文中、周海冰等校友捐资助学、支持母校建设发展的感谢...……更多
陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场
...ean)提供了潜在的方法,能够克服这些障碍,并且让专业数学家、广大公众和AI工具的合作成为可能。这种方法的前提是,项目可以以模块化的方式分解成更小的部分,这些部分可以在不必理解整个项目的情况下就能完成。目前...……更多
在跨界中提升,在比较中互鉴
...:临沂日报《真与美:丘成桐的数学观》结集了美籍华裔数学家丘成桐近半个世纪以来对数学和人文教育思考的文章、讲话与回忆性散文。丘成桐是陈省身的弟子,菲尔兹奖首位华人得主,美国国家科学院院士、中国科学院外籍...……更多
如何统一自然界四种基本作用力,是当今科学界面对的最大难题!
...律,并有科学家们历经几个世纪探求的数理公式,特别是数学结构,既精确又复杂。为什么不能更简洁呢?是否有一种理论能将四种力全部纳入一个框架?在量子力学蓬勃发展的背景下,人们又重拾被弃的统一场论,开始思考这...……更多
数学家回应“用不上的数学为什么还要学” 多位数学老师“跟帖”
...生活中用不上,人们为何还对数学不断地探索和求解”?数学家张益唐主动“下场”回应,引起广泛关注。围绕“用不上的数学为什么还要学”这一“灵魂拷问”,多位数学老师纷纷“跟帖”回应。数学家回应“为何学数学”:...……更多
...学功底。再来说说所谓数学“无用”之处吧。比如,华裔数学家张益唐证明的“孪生素数猜想”:3和5、5和7、11和13……在自然数集中,这样的孪生素数对有无穷多个。这样的猜想有什么用?再来看看著名的“卡塔兰猜想”:除...……更多
...分歧量子力学的核心是波函数,这是一个众所周知的抽象数学工具,它非常擅长描述光子、电子和其他量子领域的行为。但是,波函数到底是什么呢?经过近一个世纪的争论,物理学家在如何实现从数学迈向有形物理世界上仍然...……更多
走进济南高新区黄金谷学校第八届数学节活动
...个个与数学相关的故事。故事内容涵盖了古今中外著名的数学家、神奇的数学建筑、有趣的数学文化知识等等。他们用精彩的表现,展示了数学故事的魅力。本次数学节为学生展示数学智慧提供了平台,在数学游戏中让思维可见...……更多
...不知道如何解答的,”哈佛大学拉德克利夫高等研究院的数学家梅拉妮·马切特·伍德说。前不久,她因寻找这些未知谜题的解决方案而获得了麦克阿瑟奖(MacArthur Fellowship,该奖项旨在表彰“极具才华和创造力的个人”),奖金...……更多
真相揭秘!德国数学家证明4维空间存在后发生了什么?
...的宇宙中,一个惊人的发现震动了整个学术圈。一位德国数学家成功证明了4维空间的存在,这一突破引发了前所未有的争议和兴奋。数学界的圣杯或许即将揭开面纱,而随之而来的是一连串令人难以置信的可能性。如果真的存...……更多
刚刚,OpenAI震撼发布o1大模型!强化学习突破LLM推理极限
...实现复杂推理,一个通用模型解决比此前的科学、代码和数学模型能做到的更难的问题。OpenAI 称,今天在 ChatGPT 和大模型 API 中新发布的是该系列中的第一款模型,而且还只是预览版 ——o1-preview。除了 o1,OpenAI 还展示了目前正...……更多
如何让孩子消除数学恐惧?
...探索精神和动人故事。在这样的背景下,我们可以感受到数学家的创造是动人的、有故事的、可感的、亲切的、美妙的,避免把数学等同于刷题、技巧和考试。首先,在大背景下,历史文化丰富和充实了我们的课堂。作为一名数...……更多
Transformer打破三十年数学猜想!Meta研究者用AI给出反例,算法杀手攻克数学难题
...行车的新对象,尽管它们与任何现有实例都不完全相同,数学家对数学对象也是如此。然而,这个过程通常很难自动化。研究者对这里描述的方法的希望在于,机器学习的技术(尤其是 Transformer)至少具备某种程度的这种能力—...……更多
人类数学史上的三次危机!
...数学的朴素理解与应用。 在古希腊,毕达哥拉斯学派的数学家们在探索直角三角形的奥秘时,首次遇到了挑战——根号2,这个既非整数也非分数的数,打破了他们对数学世界的和谐认知。根号2的发现,不仅是对朴素整数观的...……更多
首个AI高考全卷评测结果发布:最高分303,数学全不及格
...从结果来看,大模型的语文、英语考试水平普遍不错,但数学都不及格,最高分也只有75分,来自书生·浦语2.0,其次是GPT-4o,得分73分。语文最高分是通义千问,英语最高分是GPT-4o。在数学方面大模型还有很大的提升空间。数学...……更多
韦东奕事件真相揭秘:北大数学天才被解雇?还是继续发光发热?
...工作,被世界闻名的布尔巴基讨论班专题研讨。这是中国数学家首次在该讨论班上发表演讲。 除了偏微分方程和流体力学之外,韦东奕还涉足了其他领域的研究,如随机矩阵理论、复变函数理论等,并与其他国内外优秀的数学...……更多
黎曼猜想被证明了!
【新智元导读】著名数学家、现年90岁的MichaelAtiyah在海德堡获奖者论坛上发表演讲的论文预览版,宣布世纪数学难题“黎曼猜想”被证明。震撼!AIWORLD2018世界人工智能峰会开场视频黎曼猜想被证明了!至少根据世纪最著名的数...……更多
驰骋数学五十载  几何人生报家国(科技名家笔谈)
...要经过逻辑的方法,有次序的证明,才能被发现——这是数学家的工作。邂逅卡拉比猜想1969年,我人生首次搭乘飞机,口袋里装着不到100美元,来到加州大学伯克利分校(UCB),开始攻读博士学位,这是我一生研究学问的开始...……更多
纯数学方法证明量子纠缠会突然消失!MIT科学家无心插柳提供论证
...次相关工作就证明量子物理难题!MIT计算机科学家,利用数学方法发现,当温度到达一定值后,热量导致量子纠缠完全消失。量子纠缠消失,意味着任何基于这种纠缠的量子计算或量子通信协议都将失效,系统从量子行为转变为...……更多
重磅!世界首台量子重力仪揭开人类未知地下世界
...微小粒子和它们的波函数。波函数是描述量子粒子行为的数学函数,它能在空间中展开,并且随着时间的推移而演化。而波函数的演化过程中,也同样受到重力的影响。量子重力仪就是利用了波函数的这一特性。当物体存在微小...……更多
用数学教孩子
...北京第二实验小学副校长华应龙执教的“世界著名的中国数学家进小学课堂的研究实践课”上,有趣的问题深深吸引着六年级的小学生。《义务教育数学课程标准(2022年版)》中指出:“内容设计要反映数学在自然与社会中的...……更多
被誉为东南的数学花朵 厦大数学学科迎百岁生日
...年发展大会。(厦门日报记者 林铭鸿 摄) 1987年,著名数学家、美国科学院院士陈省身来厦大讲学,并为厦大题词。(资料图/厦门大学数学学院 提供)陈景润之妻由昆。(厦门日报记者 林铭鸿 摄) 陈景润之子陈由伟。(厦...……更多
...什么。”他猜测很可能OpenAI在GPT的语言大模型里搞了一些数学或逻辑游戏,然后通过Q* 可以完全解决。这意味着它可能有了人类或超越人类级别的数学和逻辑能力,并能完成一些人类的中高端脑力劳动,而这是之前GPT4等不具备...……更多
圆周率已算到105万亿位!人类对圆周率如此执着,到底是为什么?
...算出圆周率的精确值。实际上,从公元前三世纪的古希腊数学家阿基米德开始,人类就一直在执着地通过理论来计算圆周率。阿基米德的方法可以简单地描述为:在一个圆的内部和外部分别画一个内接正六边形和一个外接正边形...……更多
若人类进入四维空间,你能想象会发生什么?或会让你怀疑人生
...往往是很多的,比如此前菲尔兹奖的首个华人得主,著名数学家丘成桐,就曾明确表示人类其实生活在十维的宇宙当中。丘成桐认为人类其实生活在十维的宇宙当中只不过在他的眼中,宇宙仅向我们展示了多余的一个维度也就是...……更多
更多关于科技的资讯:
DeepSeek在全球火得一塌糊涂后 杭州办公楼成了热门打卡地
快科技2月6日消息,据媒体报道,春节前,DeepSeek在全球火爆出圈之后,DeepSeek位于杭州环城北路的办公地热门程度亦直线上升
2025-02-06 17:43:00
只需这4步 华为ModelEngine支持DeepSeek全系列本地部署
快科技2月6日消息,华为ModelEngine是大模型训练、推理和应用开发的AI平台,提供从数据预处理到模型训练、优化及部署的一站式服务
2025-02-06 17:43:00
中消协:8499元买某品牌笔记本黑屏卡顿毛病百出 用户要求退货退款遭拒绝
快科技2月6日消息,今日,中消协发布《2024年全国消协组织受理投诉情况分析》称,点名笔记本电脑投诉高发,称质量与售后问题较为集中
2025-02-06 17:43:00
谷歌计划5年内发布商业量子计算应用:比传统计算机强大数千倍
快科技2月6日消息,据报道,谷歌量子计算负责人Hartmut Neven接受采访时表示,谷歌计划在五年内推出商业化的量子计算应用应用
2025-02-06 17:43:00
专为国人打造!奥迪A5L内饰首曝:三联屏+超大空间
快科技2月6日消息,近日,有媒体曝光了一组一汽奥迪A5L的内饰谍照。作为国产奥迪A4L的换代车型,新车定位中型轿车,不仅进行了加长处理
2025-02-06 17:43:00
刘作虎晒OPPO Find N5:看不到折痕 对比友商高下立判
快科技2月6日消息,OPPO刘作虎在社交平台上晒出了OPPO Find N5真机照,对比友商折叠屏不难看出,Find N5看不到折痕
2025-02-06 17:43:00
一次看个够 两辆小米YU7出街被拍:基本无伪装
快科技2月6日消息,今年最为重磅的一款纯电SUV当属小米YU7,该车已经申报,近日,两辆几乎无伪装的实车上路被拍。此次被网友偶遇的两台车均配备激光雷达
2025-02-06 17:43:00
Intel将与日本合作开发“万级”量子计算机!2030年代初问世
快科技2月6日消息,据日本媒体报道,日本产业技术综合研究所(AIST)将与Intel合作开发下一代量子计算机,计划于2025年春季在日本茨城县开始相关项目的运营
2025-02-06 17:43:00
一、亚马逊开店合规流程与要点亚马逊全球开店一般分为北美、欧洲、日本等主要站点,各站点注册流程大致相同。以北美站点为例,卖家需要准备电子邮箱地址
2025-02-06 17:50:00
汽车行业首家!吉利宣布自研大模型已与DeepSeek深度融合
快科技2月6日消息,吉利汽车宣布其自研的星睿大模型与DeepSeek R1大模型已完成深度融合,这是汽车行业首次实现此类深度合作
2025-02-06 18:13:00
地面推力达110吨!力擎二号针栓发动机完成首台交付
快科技2月6日消息,中科宇航今日宣布,力擎二号110吨针栓发动机已成功完成首台交付。作为力箭系列可重复使用火箭的一级发动机
2025-02-06 18:13:00
网传字节员工压力大被强制去精神科治疗 抖音副总裁辟谣:假的!
快科技2月6日消息,抖音副总裁@抖音集团李亮 微博发文,对网传字节员工精神不正常被强制去治疗的消息进行了辟谣。今日有传闻称
2025-02-06 18:13:00
比亚迪一天市值暴增800亿元 或因\
快科技2月6日消息,今日午后,比亚迪A股、H股双双走强,比亚迪A股股价触及涨停,成交额超114亿元,H股股价涨幅一度超过10%
2025-02-06 18:13:00
买1得14!QQ会员官方大促:SVIP超能卡到手178元
京东QQ会员旗舰店,此款联合售价188元,领取10元券,到手价178元。买1得14,下单立得QQ超级会员年卡,还有多种权益任选
2025-02-06 18:13:00
49元 《王者荣耀》苍的第一个史诗皮肤来了 紫色群狼超炫
快科技2月6日消息,《王者荣耀》宣布,苍(原成吉思汗)的第一个史诗皮肤——狼魂孤将来了!官方为苍设计了全新的形象。他是天狼将军后裔
2025-02-06 18:13:00