• 我的订阅
  • 头条热搜
56年无人解开的数学难题 被谷歌的新AI突破了
...一时的大新闻;而今年,能攻克「未解之谜」级别的数学难题的 AI 已经来了。5 月 15 日,Google DeepMind 发布了全新编程智能体 AlphaEvolve。不同于传统的编程 Agent,它专注于通用算法的自动发现与持续优化。顾名思义,AlphaEvolve 擅...……更多
Nature重磅:击败人类数学家,AI首次攻破经典数学难题
人工智能(AI)大模型,击败了人类数学家。今天,在 Nature 上发表的一篇论文中,Google DeepMind 的研究团队介绍了一种搜索数学和计算机科学新解决方案的方法——FunSearch,它的工作原理是将预先训练的大型语言模型(LLMs)与...……更多
AI表现直逼国际奥数优秀选手, 它要 “征服”数学了吗?
...智慧极限的突破。迄今为止,解决或协助解决高等级数学难题,仍是AI领域一项极其复杂的多维度重大挑战。随着AI越来越多出现在数学领域,这是否预示着AI开始具有人类水平的推理能力?它会否为通用人工智能(AGI)铺平道路...……更多
真相揭秘!德国数学家证明4维空间存在后发生了什么?
...供了充足的新思路和解决方案,以应对现实世界中的一些难题。例如,在交通规划和物流领域,我们可以借助四维时空模型更准确地预测和优化交通流量和物资分配。当然,在深入研究和应用这个新的时空结构之前,我们还需要...……更多
Anthropic挖走DeepMind强化学习大牛、AlphaGo核心作者
...haProof 和 AlphaGeometry 2 在 IMO 竞赛上共同实现了里程碑式的突破。AlphaProof 是一种用于形式化数学推理的强化学习系统,而 AlphaGeometry 2 是 DeepMind 几何求解系统 AlphaGeometry 的改进版本……更多
本科经典算法Dijkstra,被证明普遍最优了:最坏情况性能也最优!
...来解决最短路径问题的经典算法——Dijkstra,现在有了新突破:被证明具有普遍最优性(Universal Optimality)。什么意思?这就意味着不论它面对多复杂的图结构,即便在最坏情况下都能达到理论上的最优性能!而且这还是学术界...……更多
计算机科学的高塔
...,他也一直在不停地变换研究的问题和方向,去解决各种难题。 零知识证明维格德森早期的一项很重要的工作就是对零知识证明的贡献。零知识证明这一概念最早由莎菲·戈德瓦塞尔、希尔维奥·米卡利和查尔斯·拉克福于1985年...……更多
停滞50年的计算机理论僵局被打破!少量内存 可节省大量计算时间
...结果,也是一个巨大的进步。困扰计算机科学家的半世纪难题先来看看这是一个什么问题。如果用大白话来讲,这个问题其实源于我们一种直觉:你可以重复使用空间,但不能重复使用时间。算法可以反复使用同一小块内存,而...……更多
从个性化到情绪智能,揭秘美国AI教育产品的市场霸主之路
...是聚焦于技术带来的单一新功能,而是以解决教育个性化难题为底层逻辑,解决了教学难以绝对「针对性」与「个性化」的两大痛点,通过人工智能实现因材施教。如创立于 1994 年的 ALEKS,目前是美国市场渗透率最高的人工智能...……更多
用AI自动设计智能体,数学提分25.9%,远超手工设计
...优于最新手工设计的智能体。文本框中突出显示了重要的突破。此外,图 3b 显示了发现最好的智能体,其中采用了复杂的反馈机制来更有效地细化答案。仔细观察搜索进度就会发现,这种复杂的反馈机制并不是突然出现的。推...……更多
济南高新区凤凰路小学(西校区)举办“数”“码”世界信息科技+数学跨学科主题学习活动
鲁网12月12日讯算法作为数学与编程的桥梁,既是数学逻辑的具体体现,也是编程实践的核心内容。为了帮助学生深入理解算法的数学原理,同时掌握其在编程中的实际应用,培养学生的逻辑思维、问题解决能力和创新能力,济...……更多
中国科大在等离子体湍流研究领域取得突破 获得多位国际著名等离子体物理学家高度评价
...运垒,其形成机制涉及到非线性湍流的预测这一重大科学难题。由于湍流的非线性和复杂性,基于第一性原理的非线性回旋动理学大规模模拟已成为独立于传统的实验和理论之外的不可或缺的研究手段。国际主流聚变国家在非线...……更多
大模型时代下的机器人应用:我们离具身智能还有多远?| 新程序员
...其对定制化芯片的要求,一直是领域内难以被攻克的一个难题。本文详细阐述和讨论了为机器人应用定制芯片的困难所在、解决思路,并更进一步,介绍了可能给机器人产业带来改观的芯片自动生成问题。本文精选自《新程序员...……更多
...“FunSearch”将可用于破解数学界更大范围、更多种多样的难题。 ……更多
Transformer打破三十年数学猜想!Meta研究者用AI给出反例,算法杀手攻克数学难题
【新智元导读】30多年的数学猜想首次获得了进展!Meta等学者提出的PatternBoost,使用Transformer构造了一个反例,反驳了一个已悬而未决30年的猜想。是否所有数学问题都适合机器学习技术?这样的未来太令人期待了。30多年的数...……更多
P/NP问题50年:基础理论举步维艰,但AI正在不可能中寻找可能
...缺点,比如打破密码学的相关理论。作为一个开放的数学难题,P/NP问题至今是其中最重要的之一;它被列入克莱数学研究所的千禧年大奖难题之一[21](该组织为其中每一个问题的求解提供100万美元的奖金)。在本文的最后,我...……更多
国产科学计算软件产业:悄然崛起 未来可期
...不可能一蹴而就。“科学计算软件解决的是底层逻辑计算难题,其平台性、工具性等特点决定了它是一种底层的、基础性的软件,开发周期长、难度大、高层次人才需求量大。”他补充,即便产品进入市场,也不意味着研发工作...……更多
玻色量子发布新一代550计算量子比特相干光量子计算机
...量子算力与经典算力无缝融合,才是真正解决各行业算力难题的*答案,也将实现更强算力的共振与提升,进而完全实现“新质融合,算力共振”。以算力中心的用户问题为例,统一的软件平台会先将任务分解成CPU适应、GPU适应...……更多
数学界百年难题有望突破 论文作者现身知乎分享
中国青年报客户端讯(中青报·中青网记者 蒋肖斌)近日,3位数学家——邓煜、Zaher Hani、马骁,联合创作的论文于arXiv(著名论文网站——记者注)发布,这代表着沉寂125年的希尔伯特第六问题,有望迎来突破。3月13日,在“...……更多
...台,通过需求牵引的科研模式,将重大产业发展中遇到的难题进行分解;同时,不同的团队可围绕共同的科研目标,各自分工进行攻关,并最终通过各领域科学家和数学家的凝练、将成果进一步集成为数学算法、模型乃至产品。...……更多
纯数学方法证明量子纠缠会突然消失!MIT科学家无心插柳提供论证
从没学过量子算法,首次相关工作就证明量子物理难题!MIT计算机科学家,利用数学方法发现,当温度到达一定值后,热量导致量子纠缠完全消失。量子纠缠消失,意味着任何基于这种纠缠的量子计算或量子通信协议都将失效...……更多
对标o1,Kimi放出了最能打的国产模型
...,通过模拟人脑的思考和反思过程,大幅提升了解决数学难题的能力,可以帮助用户完成更具挑战性的数学任务 。Kimi 创始人杨植麟表示,接下来 k0-math 模型会持续迭代,提升更难题目的解题能力,挑战数学模型的能力极限。同...……更多
应用数学领域学术盛会在宁召开如何用数学解决企业难题?南报网讯(记者何洁)10月25日,中国工业与应用数学学会(CSIAM)第二十二届年会在南京召开。与会专家围绕工业与应用数学各研究方向的最新学术进展及其在产业界...……更多
清华量子计算成果登顶刊,来自丘成桐数学中心团队
...噪声干扰是阻碍这一目标实现的“绊脚石”。而克服这一难题的关键理论问题之一,便是研究噪声如何影响甚至摧毁量子计算的优势。魏朝晖团队发现:当量子信息处理协议中的噪声强度突破某个阈值时,原本非常明显的量子优...……更多
...后,今年初,又有三位华人数学家参与破解两项重要数学难题。这些35岁以下青年数学家的集体崛起,是近年来中国数学教育体系“本土培养+海外淬炼”模式的成果体现。随着越来越多的中国天才进入海外顶级机构深造,华人数...……更多
...曾凭借在解决量子算法复杂性和密码协议复杂性中的理论难题等方面的贡献,荣获2021年度王选杰出青年学者奖。“王选杰出青年学者奖”是由北京大学、中国计算机学会和中国工业与应用数学学会每年联合评选出在计算机和应...……更多
搬沙发时 如何通过走廊拐角:数学家竟被它困扰了60多年
...结果在转弯时被卡住,怎么转都转不过去。数学家将这一难题称为“移动沙发问题”。2024 年 12 月 2 日,韩国数学家白真允(Jineon Baek)在社交媒体上宣称自己已解决这一问题,随即在国内外媒体和数学界引发广泛讨论。也许你...……更多
3位北大才子攻克65年数学难题!证明126维空间“末日假说”
65年数学难题新突破!来自复旦大学的林伟南、王国祯以及UCLA的徐宙利合作,解决了126维空间的Kervaire不变量问题。三位作者都是北大数院出身,该成果曾作为北大建校126周年贺礼做报告,现在完整论文终于上传arXiv。△图源:...……更多
名师谈数学高考:先熟后生、先易后难
...关重要。罗老师建议考生要先做自己熟悉的题目,再挑战难题,即“先熟后生,先易后难”。遇到难题时,可以采用“跳步作答”的方法,先写出关键步骤,再逐步完善。同时,在关键点处一定要慢下来,确保运算的正确性。考...……更多
研发“智电擎锋”机器人 实现营配协同新突破
...情况大不一样了。”在过去,环网操作信息维护面临诸多难题。人工维护效率低下,所有环节都依赖人工完成,线路运行方式监控、系统组合、校对、更新等工作不仅繁琐,还容易受人为因素影响,信息维护的准确性和及时性难...……更多
更多关于科技的资讯:
从迷失到笃行:一位古贝春经销商的二十载商海沉浮与顿悟
鲁网11月27日讯(记者 赵洪斌)在鲁北商业版图上,王文俊的名字与古贝春酒业紧紧相连。然而,这段长达二十余年的合作关系
2025-11-28 08:45:00
近日,广东宇太能源与河北某工业玻璃龙头企业签约,合作利用空微子发电技术降低企业电耗。该项目由玻璃企业投资,宇太能源提供技术及设备支持
2025-11-28 08:57:00
罗振宇、张夕勇、杨慧林、罗军民四位大咖重磅推荐,杨钧博士《未来竞速》即将出版发行
百年汽车产业大变局的必读之作。近日,由国内汽车行业资深媒体人与研究观察者杨钧博士撰写的新书《竞速未来-全球新能源汽车的崛起与挑战》一书已由中国出版集团中译出版社正式出版发行
2025-11-28 09:27:00
近日,鹏华基金发布公告,旗下科创创业人工智能ETF鹏华 (认购代码:588413)于11月28日正式发行。作为首批双创人工智能ETF中的一员
2025-11-28 10:11:00
入选概率不及万分之二,阿里千问斩获顶级AI会议最佳论文
11月28日消息,人工智能领域顶级会议NeurIPS 2025公布了论文奖,阿里通义千问团队最新研究成果从全球2万多篇投稿论文中脱颖而出
2025-11-28 11:01:00
11月24日,位于启东市南阳镇的朗峰新材料启东有限公司生产车间内,自动化生产线高速运转,一条薄如蝉翼的银色金属带材从特制喷嘴中“飞”出
2025-11-28 11:05:00
济南轨道交通集团举办财务资本培训,实战专家孙春浩解析财务精英三级跃迁路径
近日,济南轨道交通集团全资子公司莱芜交通发展集团成功举办财务管理及融资业务培训。本次培训由集团财务管理部部长刘文芹主持
2025-11-28 11:09:00
锚定本土、驱动创新的金融实践!青岛银行荣膺CFV“最佳品牌竞争力城商行”奖项
11月21日,在上海举办的“2025第一财经金融价值年会”上,青岛银行凭借在科技金融、绿色金融、地方经济服务及创新能力方面的突出表现
2025-11-28 11:18:00
挂号缴费不用跑!微信医保移动支付在北京140家公立医院全面上线
近日,北京市参保市民就医迎来“智慧升级”——微信医保移动支付功能已在中国医学科学院、北京协和医院、北京大学人民医院等140家公立医院全面上线
2025-11-28 11:28:00
河北省煤田地质局物测队引入新装备提升探测能力
河北新闻网讯(吕若汐、齐彦红)11月18日,地球物理勘探设备供应商法国塞赛尔公司正式向河北省煤田地质局物测队交付了两套数字地震仪(激发系统)诺玛德65尼奥
2025-11-28 11:53:00
中新经纬11月28日电 北京市广电局网站消息,《北京市促进“人工智能+视听”产业高质量发展行动方案(2025-2029年)》(下称《行动方案》)近日发布
2025-11-28 11:57:00
均胜电子:定位“汽车+机器人Tier1”,双轮驱动进阶智能新时代
全球领先的智能汽车科技解决方案提供商均胜电子(600699.SH / 00699.HK)正以创新驱动和全球协同,在汽车电子
2025-11-28 12:15:00
严禁“带病运行”!河南就政务信息系统开发公开征求意见
大河网讯 为给非涉密政务信息系统的开发建设加上一把“安全锁”,规范全生命周期的安全管控工作,11月27日,省行政审批政务信息管理局起草了《非涉密政务信息系统开发安全管理指南(征求意见稿)》(以下简称《征求意见稿》)
2025-11-28 14:10:00
吉林机场集团门户网站二次升级 打造智慧出行服务新标杆
为持续优化用户体验、丰富服务维度,吉林省民航机场集团有限公司门户网站(https//www.jlairports.com)正式迎来二次重大升级
2025-11-28 14:41:00
商赢酱酒以文化赋能商务社交,重塑“场景思维”新体验
11月25日,一场以“商界链接创富圈层,共享‘商赢酱酒’杯中哲学,解锁中国式商务社交的‘心’语”为主题的交流会在济南成功举办
2025-11-28 14:55:00