• 我的订阅
  • 头条热搜
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等不具备...……更多
若人类进入四维空间,你能想象会发生什么?或会让你怀疑人生
...往往是很多的,比如此前菲尔兹奖的首个华人得主,著名数学家丘成桐,就曾明确表示人类其实生活在十维的宇宙当中。丘成桐认为人类其实生活在十维的宇宙当中只不过在他的眼中,宇宙仅向我们展示了多余的一个维度也就是...……更多
基础科学几乎停滞,人类发展被限制?科学家的猜测或许是对的
...期,在这个时期,古希腊出现了很多哲学家、天文学家、数学家和自然学家,开展了众多科学研究,为后世打下了坚实的基础,古希腊的科学起源能够追溯到公元前6世纪,当时的古希腊是一个由城邦组成的小社会。 最早的古希...……更多
更多关于科技的资讯:
AMD RX 9070 XT功耗超过300W!但拒绝16针供电
快科技12月29日消息,AMD的新一代显卡RX 9070 XT、RX 9070将会在CES 2025期间正式发布,预计1月底春节前就会上市
2024-12-29 19:40:00
人类思维的速度竟然只有每秒10比特!这么慢 怎么活
互联网数据的传输速度可以用每秒传输的比特数来衡量,单位为bps,如果我们想要不卡顿地进行720p高清视频通话,最少大约需要120万bps(每秒120万比特)的速度
2024-12-29 19:40:00
江南时报讯 近日,苏州农商银行第二届“锦数杯”数据场景建模大赛在总行多功能会议厅举行。本次大赛以“数据驱动创新,智慧引领未来”为主题
2024-12-29 20:00:00
全球航空一天连发3次事故!阿航空难因客机遭地面攻击、韩国客机爆炸预计179人遇难
年底了,全球航空业突然重大事故频发,让人心惊肉跳。首先是当地时间12月25日,一架从阿塞拜疆巴库飞往俄罗斯格罗兹尼的阿塞拜疆航空公司客机在哈萨克斯坦阿克套近郊坠毁
2024-12-29 20:10:00
大众网记者 唐梦琳 李欣 东营报道宽阔平坦、标线清晰的路面,13处并列的通行车道、贴心便捷的服务驿站特色功能……近日,东营市东青高速改扩建项目正式完工启用
2024-12-29 20:59:00
韩国179人遇难客机黑匣子已找到:机长曾发出Mayday信号 飞机起火爆炸原因公布
12月29日消息,据央视报道,韩国国土部交通部29日下午举行记者会时介绍,事故调查委员会目前已经回收了飞机的两个“黑匣子”
2024-12-29 16:09:00
长安汽车董事长谈本田日产合作:因竞争而走到在一起
快科技12月29日消息,在12月29日的长安汽车伙伴大会上,长安汽车董事长朱华荣谈到了全球车企之间的合作趋势。他指出,传统汽车制造商之间的合作正在加深
2024-12-29 16:09:00
银座新业态抢滩“首发经济”!银座家美惠济宁龙城店开业即爆火
齐鲁晚报·齐鲁壹点 许昱洲12月28日,银座家美惠济宁龙城店惊艳亮相,作为银座集团布局济宁市场的重要一环,其新业态、新模式
2024-12-29 16:52:00
三星晶圆代工再遭重创!台积电将独占高通二代骁龙8至尊版订单
快科技12月23日消息,据报道,高通原打算在今年的骁龙8至尊版开始执行双代工厂策略,不过由于三星良品率不稳定等原因,最终让高通选择延后执行该计划
2024-12-29 17:09:00
事故频发!加拿大航空一客机降落遇故障并起火
快科技12月29日消息,据报道,在韩国一架客机遭遇碰撞并起火事件后不久,仅仅相隔两个多小时,加拿大航空公司的一架客机也遭遇了突发事故
2024-12-29 17:09:00
奔驰车标供应商宣布破产:曾经受住了拿破仑入侵、两次世界大战
快科技12月29日消息,据报道,德国的格哈迪塑料技术公司近期宣布破产。这家汽车零件供应商拥有1500名员工,为豪华汽车品牌奔驰生产著名的三芒星标志
2024-12-29 17:39:00
宝骏首款旗舰轿车享境实车亮相:纯电/插混双动力 明年上半年上市
快科技12月29日消息,宝骏品牌首款旗舰车型“宝骏享境”近日在上汽通用五菱的2024年第80万辆新能源车下线现场正式亮相
2024-12-29 17:39:00
谁分得清啊!AMD B850/B840、Intel B860/H810主板几乎同时登场
快科技12月29日消息,Intel的酷睿Ultra 200S系列、AMD的锐龙9000系列,目前都只有解锁可超频的高端型号
2024-12-29 18:09:00
看看今年花多少 支付宝年度总结来了:首页下拉可领
快科技12月29日消息,一年一度的支付宝年度总结终究还是来了!据介绍,支付宝首页下拉或下载“支小宝”App,输入“我的2024”
2024-12-29 18:09:00
新里程碑达成!上汽通用五菱2024年第80万辆新能源车正式下线
快科技12月29日消息,上汽通用五菱在2024年迎来了新能源汽车领域的里程碑,第80万辆新能源汽车“宝骏享境”正式下线
2024-12-29 18:09:00