• 我的订阅
  • 头条热搜
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、教育、基础科学等多个重磅命题
...、验证、优化来加快科研的迭代速度。当地有很多优秀的数学家、物理学家,你们要充分利用好。 14、刘广垚 提问:公司内部有不同的研究部门,比如2012实验室、产品线研究部,包括直接负责产品交付部门的各个研发团队。请...……更多
在跨界中提升,在比较中互鉴
...:临沂日报《真与美:丘成桐的数学观》结集了美籍华裔数学家丘成桐近半个世纪以来对数学和人文教育思考的文章、讲话与回忆性散文。丘成桐是陈省身的弟子,菲尔兹奖首位华人得主,美国国家科学院院士、中国科学院外籍...……更多
...学功底。再来说说所谓数学“无用”之处吧。比如,华裔数学家张益唐证明的“孪生素数猜想”:3和5、5和7、11和13……在自然数集中,这样的孪生素数对有无穷多个。这样的猜想有什么用?再来看看著名的“卡塔兰猜想”:除...……更多
...影响力的研究成果。证明了困扰数学界15年,由美国杰出数学家和计算机科学家V. Chvátal提出却未能解决的图论猜想和几个公开挑战的图论问题。在组合最优化或理论计算机科学领域,解决了“双目标字符串识别”和“超图嵌入...……更多
...分歧量子力学的核心是波函数,这是一个众所周知的抽象数学工具,它非常擅长描述光子、电子和其他量子领域的行为。但是,波函数到底是什么呢?经过近一个世纪的争论,物理学家在如何实现从数学迈向有形物理世界上仍然...……更多
...论,又要对实际问题有充分了解,才能真正解决问题。以数学为例,数学作为基础学科,有很强的创新性。数学的抽象性、严谨性、超前性使数学在科技应用中有特别的地位。它跟其他学科不同之处在于,每个科学分支背后都有...……更多
走进济南高新区黄金谷学校第八届数学节活动
...个个与数学相关的故事。故事内容涵盖了古今中外著名的数学家、神奇的数学建筑、有趣的数学文化知识等等。他们用精彩的表现,展示了数学故事的魅力。本次数学节为学生展示数学智慧提供了平台,在数学游戏中让思维可见...……更多
...不知道如何解答的,”哈佛大学拉德克利夫高等研究院的数学家梅拉妮·马切特·伍德说。前不久,她因寻找这些未知谜题的解决方案而获得了麦克阿瑟奖(MacArthur Fellowship,该奖项旨在表彰“极具才华和创造力的个人”),奖金...……更多
真相揭秘!德国数学家证明4维空间存在后发生了什么?
...的宇宙中,一个惊人的发现震动了整个学术圈。一位德国数学家成功证明了4维空间的存在,这一突破引发了前所未有的争议和兴奋。数学界的圣杯或许即将揭开面纱,而随之而来的是一连串令人难以置信的可能性。如果真的存...……更多
如何让孩子消除数学恐惧?
...探索精神和动人故事。在这样的背景下,我们可以感受到数学家的创造是动人的、有故事的、可感的、亲切的、美妙的,避免把数学等同于刷题、技巧和考试。首先,在大背景下,历史文化丰富和充实了我们的课堂。作为一名数...……更多
首个AI高考全卷评测结果发布:最高分303,数学全不及格
...从结果来看,大模型的语文、英语考试水平普遍不错,但数学都不及格,最高分也只有75分,来自书生·浦语2.0,其次是GPT-4o,得分73分。语文最高分是通义千问,英语最高分是GPT-4o。在数学方面大模型还有很大的提升空间。数学...……更多
AI工具将如何改变数学领域
...文转自:科技日报当前,很多机器学习等AI工具正在帮助数学家创建新的理论并解决棘手的问题,这些AI工具正以超越单纯计算的方式改变数学领域。图片来源:英国《自然》杂志网站◎本报记者 刘 霞【今日视点】ChatGPT的横空...……更多
韦东奕事件真相揭秘:北大数学天才被解雇?还是继续发光发热?
...工作,被世界闻名的布尔巴基讨论班专题研讨。这是中国数学家首次在该讨论班上发表演讲。 除了偏微分方程和流体力学之外,韦东奕还涉足了其他领域的研究,如随机矩阵理论、复变函数理论等,并与其他国内外优秀的数学...……更多
黎曼猜想被证明了!
【新智元导读】著名数学家、现年90岁的MichaelAtiyah在海德堡获奖者论坛上发表演讲的论文预览版,宣布世纪数学难题“黎曼猜想”被证明。震撼!AIWORLD2018世界人工智能峰会开场视频黎曼猜想被证明了!至少根据世纪最著名的数...……更多
驰骋数学五十载  几何人生报家国(科技名家笔谈)
...要经过逻辑的方法,有次序的证明,才能被发现——这是数学家的工作。邂逅卡拉比猜想1969年,我人生首次搭乘飞机,口袋里装着不到100美元,来到加州大学伯克利分校(UCB),开始攻读博士学位,这是我一生研究学问的开始...……更多
重磅!世界首台量子重力仪揭开人类未知地下世界
...微小粒子和它们的波函数。波函数是描述量子粒子行为的数学函数,它能在空间中展开,并且随着时间的推移而演化。而波函数的演化过程中,也同样受到重力的影响。量子重力仪就是利用了波函数的这一特性。当物体存在微小...……更多
人工智能已经可以解决复杂的数学问题了,还有哪些工作无法被取代
...力。他们对书面问题提供详细而清晰的回答。几十年来,数学家一直试图将证明转化为计算机代码,这一过程被称为形式化。如果你把证明写成代码,计算机运行代码时没有错误,你就知道证明是正确的。但证明一个命题可能需...……更多
用数学教孩子
...北京第二实验小学副校长华应龙执教的“世界著名的中国数学家进小学课堂的研究实践课”上,有趣的问题深深吸引着六年级的小学生。《义务教育数学课程标准(2022年版)》中指出:“内容设计要反映数学在自然与社会中的...……更多
被誉为东南的数学花朵 厦大数学学科迎百岁生日
...年发展大会。(厦门日报记者 林铭鸿 摄) 1987年,著名数学家、美国科学院院士陈省身来厦大讲学,并为厦大题词。(资料图/厦门大学数学学院 提供)陈景润之妻由昆。(厦门日报记者 林铭鸿 摄) 陈景润之子陈由伟。(厦...……更多
...什么。”他猜测很可能OpenAI在GPT的语言大模型里搞了一些数学或逻辑游戏,然后通过Q* 可以完全解决。这意味着它可能有了人类或超越人类级别的数学和逻辑能力,并能完成一些人类的中高端脑力劳动,而这是之前GPT4等不具备...……更多
若人类进入四维空间,你能想象会发生什么?或会让你怀疑人生
...往往是很多的,比如此前菲尔兹奖的首个华人得主,著名数学家丘成桐,就曾明确表示人类其实生活在十维的宇宙当中。丘成桐认为人类其实生活在十维的宇宙当中只不过在他的眼中,宇宙仅向我们展示了多余的一个维度也就是...……更多
基础科学几乎停滞,人类发展被限制?科学家的猜测或许是对的
...期,在这个时期,古希腊出现了很多哲学家、天文学家、数学家和自然学家,开展了众多科学研究,为后世打下了坚实的基础,古希腊的科学起源能够追溯到公元前6世纪,当时的古希腊是一个由城邦组成的小社会。 最早的古希...……更多
...方法描述解决问题的策略机制。换一种说法,算法就是用数学家的思维模式来解决现实中的种种问题。如果我们在考虑问题时,清晰地了解我们所与之对应的算法,那么就可以更容易地解析问题或者更优地解决问题。算法涉及到...……更多
数学:可能起源于测量的进步
本文转自:北京日报超越用手指和脚趾计数水平,抽象数学和实用计量学既相互吸引又相互排斥——数学:可能起源于测量的进步刘易斯·芒福德 用W·H·奥登的话来说,我们生活的社会“对可衡量和可测量事物的研究有着狂热...……更多
更多关于科技的资讯:
谷歌乒乓球机器人胜率超四成:达到人类业余乒乓球选手水平
快科技8月11日消息,据媒体报道,谷歌旗下的“深层思维”公司近日震撼宣布了一项科技创新成果——成功研发出一款乒乓球机器人
2024-08-11 18:14:00
1.8万元!48GB超大显存RTX 4090D偷偷现身中国
快科技8月11日消息,据曝料,在中国市场上出现了两款特殊的显卡RTX 4090D 48GB、RTX 4080 SUPER 32GB
2024-08-11 18:44:00
全国产!我国自研大型双发无人运输机首飞成功:载重2吨级
快科技8月11日消息,8月11日上午,我国自主研发的一款大型双发无人运输机,在四川自贡凤鸣通航机场进行首次飞行试验,取得圆满成功
2024-08-11 18:44:00
小米15系列首发,澎湃OS2.0新升级亮点及推出时间曝光
对于智能手机来说其性能不仅仅要看硬件配置还要看操作系统软件,小米在去年推出了全新的操作系统澎湃OS,由小米14系列手机首发
2024-08-11 18:58:00
鸿蒙4.2+麒麟,华为nova系列首款小折叠跑分成绩曝光
最近一款型号为PSD-AL00的华为新机现身Geekbench基准测试平台,从Geekbench信息来看,这款华为新机配置了12GB运行内存
2024-08-11 18:59:00
小米15劲敌!vivo将“复活”mini
在坚持了三代小屏机型,小米14成为了“米冲高”之后,小米最为卖座的数字系列标准版。根据业内人士的爆料,小米14系列的销量已经超过600万台
2024-08-11 18:59:00
全球首发!华为三折叠屏真机首次曝光,顶配或超2万
自2019年推出旗下首款折叠屏手机MateX以来,华为一直是国内折叠屏手机的“销冠”,引领折叠屏手机的发展和普及。目前折叠屏分为大屏横向折叠和小屏竖向折叠两种形态
2024-08-11 18:59:00
超越A18Pro!首个骁龙8Gen4工程机跑分出炉
高通此前已经宣布,将于10月21日召开2024骁龙峰会,正式发布旗下首款基于3nm工艺的SoC芯片——骁龙8Gen4。在7月份的2024ChinaJoy开幕之前
2024-08-11 19:00:00
澎湃OS新版本推送有101MB,多方面优化提升
操作系统新版本升级更新可以为智能手机带来新功能新体验,大家会在智能手机操作系统新版本推送之后第一时间升级更新吗?根据小米王腾发文显示
2024-08-11 19:00:00
纯血版鸿蒙,澎湃OS2.0等新系统将陆续推出,大家更期待哪个
对于智能手机来说其表现不仅仅要看硬件配置还要看操作系统软件,是软硬件互相配合协调的结果。下半年各大智能手机厂商将会陆续推出新款高端旗舰手机
2024-08-11 19:01:00
鸿蒙4.0首发机型,Mate60暂不支持这功能
Mate系列手机与Pura系列手机是华为的高端旗舰手机,华为在去年的时候推出了Mate60系列手机首发鸿蒙4.0系统,今年推出了Pura70系列手机首发鸿蒙4
2024-08-11 19:01:00
预装鸿蒙4.2,华为nova首款小折叠维修备件价格公布
华为已经推出了nova系列首款折叠手机华为novaFlip,起步价为5288元,这也是目前华为最便宜的折叠手机,在价格方面比较具有优势
2024-08-11 19:02:00
iPhone16 Pro增加经典配色版本,颜值更高
苹果将会在秋季的时候推出新款iPhone手机,现在距离iPhone16系列手机的推出时间已经是越来越近。苹果今年将要推出的iPhone16系列手机会有iPhone16
2024-08-11 19:02:00
纯血版鸿蒙新一批升级招募时间延长,Mate60等机型可升级
我们之前跟大家分享过,华为纯血版鸿蒙HarmonyOSNEXTBeta版已经开启第三批先锋用户招募,计划招募3万名用户
2024-08-11 19:03:00
时下,贵安草木葱茏、气候宜人。位于贵安新区的华为云数据中心,一栋栋欧式建筑层叠连片映入眼帘,仿佛置身“欧洲小镇”,湖水映照着城中美景和蓝天白云
2024-08-11 21:24:00