• 我的订阅
  • 头条热搜
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世纪,当时的古希腊是一个由城邦组成的小社会。 最早的古希...……更多
更多关于科技的资讯:
PCB印制电路板气泡形成原因,造物数科来揭秘
在当今快速发展的电子工业中,PCB(印制电路板)作为电子设备的重要组成部分,其质量和性能直接影响着整个产品的可靠性和稳定性
2025-03-11 17:33:00
大皖新闻讯 最近,海尔集团董事局主席、首席执行官周云杰与雷军在全国两会代表通道同框亮相,意外爆火。与此同时,“海尔被曝要求强制双休”“《海尔兄弟》续集何时推出”引发热议
2025-03-11 17:41:00
三方桩兼容度超99.5%!2025款小鹏G6 5C超充实测:功率满运转
快科技3月11日消息,小鹏汽车对2025款小鹏G6进行了预热,该车型将在3月13日19:00的春季发布会上正式亮相。小鹏汽车表示
2025-03-11 17:49:00
腾讯、阿里都碰壁!梁文锋拒绝投资:不想用DeepSeek赚快钱
快科技3月11日消息,据媒体报道,DeepSeek创始人梁文锋拒绝了通过其大模型赚快钱的投资提议,他表示希望保持对科学研究的专注
2025-03-11 17:49:00
曝比亚迪超充技术下沉:秦L EV将配800V平台、5C超充
快科技3月11日消息,据“汽车像素”报道,为增加纯电车型的竞争力和用户使用体验,比亚迪正集中升级纯电新车的快充能力。比亚迪即将发布的新款秦L EV车型
2025-03-11 17:49:00
苹果为何要给下一代AirPods加摄像头:原因揭开
知名记者Mark Gurman透露,苹果正在积极研发一款搭载摄像头的新一代AirPods Pro耳机,最快有望在今年推出
2025-03-11 17:49:00
500万粉网红滑雪摔骨折:打24颗钉子
3月11日消息,据媒体报道,近日,拥有500多万粉丝的女网红千一更新动态,跟粉丝们展示自己的近况。此前她在滑雪时摔倒,断了4根骨头
2025-03-11 17:49:00
全球手机产量排名:小米稳居国产第一 国补神助攻
快科技3月11日消息,TrendForce集邦咨询今天发布了2024年第四季度全球手机产量报告,本季度全球前六大智能手机品牌合计产量达3
2025-03-11 17:49:00
阿里系进军具身智能和机器人 落地上海浦东
快科技3月11日消息,今天,上海蚂蚁灵波科技有限公司在上海浦东举行揭牌仪式。蚂蚁灵波科技是蚂蚁集团拓展具身智能和机器人业务的主要载体
2025-03-11 17:49:00
大楼荒废湖中影子却“灯火通明” :专家解释神秘倒影成因
快科技3月11日消息,近日一段由网友拍摄的“诡异”视频在网络上流传,引发了不少人关注和争论。上月28日早晨,山东临沂市民孙先生在自家里远眺时发现了奇特的一幕
2025-03-11 17:49:00
\
本文转自:人民网-江西频道南昌市安义县烟草专卖局:"云" 端服务解民忧 双向奔赴暖人心烟雨朦胧的文峰路,零售户李老板站在店门口擦拭额头细汗
2025-03-11 18:02:00
煤矿安全无小事,九测科技酒精检测仪为井口检身系统增添安全保障
众所周知,煤矿作业环境错综复杂,矿工们时常在狭窄、潮湿且光线不足的巷道中从事高强度的体力劳动。在这样的极端条件下,矿工们的身体状况与精神面貌对于保障安全生产具有举足轻重的意义
2025-03-11 18:07:00
贵州智造一分钟里,看见了什么?
一分钟,能做什么?在贵州吉利发动机工厂,42秒完成1台汽车发动机装配;在贵州中航电梯有限责任公司,是1台电梯的全部零部件生产程序的完成
2025-03-11 18:11:00
猫眼被指赤裸裸数据抄袭!回应:已于服务商说明情况
快科技3月11日消息,近日,影视数据平台CMDB在公开发文指出: “猫眼专业版”有些影片的演职人员信息并非来自于影片片尾字幕
2025-03-11 18:19:00
下载速率10047Mbps!华为联手打造湖北省首个联通万兆小区
快科技3月11日消息,近日,湖北联通携手华为在武汉万科高尔夫城市花园成功建成省内首个联通万兆小区,开启湖北省家庭网络“万兆新时代”
2025-03-11 18:19:00