• 我的订阅
  • 头条热搜
56年无人解开的数学难题 被谷歌的新AI突破了
...一时的大新闻;而今年,能攻克「未解之谜」级别的数学难题的 AI 已经来了。5 月 15 日,Google DeepMind 发布了全新编程智能体 AlphaEvolve。不同于传统的编程 Agent,它专注于通用算法的自动发现与持续优化。顾名思义,AlphaEvolve 擅...……更多
用好数学工具  解决力学难题(讲述·一辈子一件事)
...、大连理工大学教授钟万勰——用好数学工具 解决力学难题(讲述·一辈子一件事)钟万勰(右一)在跟学生讨论。大连理工大学供图中年时的钟万勰。大连理工大学供图人物小传钟万勰,1934年生于上海,工程力学与计算力学...……更多
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适应...……更多
...这一过程中对问题解决的效果亦存在差异。该阶段存在的难题主要在于,算法技术在一定程度上只能解决部分任务。数字检察模型的开发,不能直接套用基础算法,而应当采取“业务+数据”相结合的模式,打造契合检察工作实...……更多
数学与海南“陆海空”合作实现零突破
...陆海空”研讨会是海南基础研究和应用研究合作从0到1的突破。海南高度重视产学研结合,与国际顶尖数学团队展开合作对海南来说意义深远,将为建设体系化、组织化的科技创新生态打下基础。海南省崖州湾种子实验室研究员...……更多
数学界百年难题有望突破 论文作者现身知乎分享
中国青年报客户端讯(中青报·中青网记者 蒋肖斌)近日,3位数学家——邓煜、Zaher Hani、马骁,联合创作的论文于arXiv(著名论文网站——记者注)发布,这代表着沉寂125年的希尔伯特第六问题,有望迎来突破。3月13日,在“...……更多
...台,通过需求牵引的科研模式,将重大产业发展中遇到的难题进行分解;同时,不同的团队可围绕共同的科研目标,各自分工进行攻关,并最终通过各领域科学家和数学家的凝练、将成果进一步集成为数学算法、模型乃至产品。...……更多
破解“卡脖子”难题,育人科研双丰收
...师团队,始终坚守初心,培养顶尖人才,解决“卡脖子”难题,让数学理论从纸面上“活”起来,这就是刚入围第四批“全国高校黄大年式教师团队”的吉林大学数学理论与应用教师团队。吉林大学数学理论与应用教师团队由国...……更多
纯数学方法证明量子纠缠会突然消失!MIT科学家无心插柳提供论证
从没学过量子算法,首次相关工作就证明量子物理难题!MIT计算机科学家,利用数学方法发现,当温度到达一定值后,热量导致量子纠缠完全消失。量子纠缠消失,意味着任何基于这种纠缠的量子计算或量子通信协议都将失效...……更多
久久为功者进
...站上首届国家最高科技奖领奖台,90岁时开始研究世界级难题“大整数分解”……在攀登数学高峰的征程上,吴文俊从未停下过脚步。凭借这种日积月累、刻苦努力的笨功夫,他在多个数学领域取得蜚声中外的科研成果。实践证...……更多
对标o1,Kimi放出了最能打的国产模型
...,通过模拟人脑的思考和反思过程,大幅提升了解决数学难题的能力,可以帮助用户完成更具挑战性的数学任务 。Kimi 创始人杨植麟表示,接下来 k0-math 模型会持续迭代,提升更难题目的解题能力,挑战数学模型的能力极限。同...……更多
国际数学日 | 历史上的今天
...s Fregin 共同创立了 Quantum Valley Investments,为量子信息科学突破的进一步发展和商业化提供金融和智力资本。1999 年,他创立了 Perimeter 理论物理研究所;2002 年,他创立了量子计算研究所。除此之外,他也是滑铁卢大学的前任校长...……更多
应用数学领域学术盛会在宁召开如何用数学解决企业难题?南报网讯(记者何洁)10月25日,中国工业与应用数学学会(CSIAM)第二十二届年会在南京召开。与会专家围绕工业与应用数学各研究方向的最新学术进展及其在产业界...……更多
更多关于科技的资讯:
山东移动聊城分公司:助力宾馆网络升级,打造数字化入住新体验
鲁网10月13日讯近日,山东移动聊城分公司顺利完成阳谷鼎盛商务宾馆47条企业宽带的全面部署与调试,通过“定制化组网+高效服务”模式
2025-10-13 22:04:00
引力一号遥二火箭问天,烟台联通圆满完成海上发射通信保障任务
10月11日10时19分,全球最大固体运载火箭“引力一号”(遥二)在山东海阳东方航天港附近海域点火升空,搭载三颗卫星顺利进入预定轨道
2025-10-13 22:49:00
邀用户亲测!双11买海尔空调,享政企双补贴
以往选购空调,用户大多只能在屏幕上对比参数,实际风感是否舒适、节能效果如何,往往要等到安装使用后才知晓。今年双11,海尔空调带来全新体验方式
2025-10-13 11:45:00
青春华章丨方寸之间,用“芯”绘就星图万里
华创微系列芯片产品化在即,保障天地“对话”,筑牢算力基石 方寸之间,用“芯”绘就星图万里□南京日报/紫金山新闻记者江芬芬编者按高质量发展是“十四五”乃至更长时期我国经济社会发展的主题
2025-10-13 08:05:00
宁企为能源发电站安装“智慧大脑”“一网统管”,巡检响应时间缩短一半,停机损失降低超30% □南京日报/紫金山新闻记者孙秉印通讯员麒轩“支路电流异常
2025-10-13 08:05:00
将税务服务从“送得对”到“传得开”、从“加急办”到“秒响应”、从“被动纠错”到“主动合规”……聚焦个体工商户办税缴费需求
2025-10-13 07:23:00
算力浪潮奔涌 夯实“数字底座”——河北以数字经济赋能高质量发展(一)在中国联通(怀来)大数据创新产业园的机房内,一排排机柜昼夜不息地嗡鸣
2025-10-13 08:00:00
双11重磅福利:88VIP点外卖5折,淘宝闪购1000万份免单等你抢!
淘宝闪购推出双11重磅福利:88VIP点外卖天天享五折,免单红包数量超1000万份!10月15日至11月14日,88VIP用户进入闪购频道
2025-10-12 05:27:00
这家宁企让足球邂逅时尚
本报记者 周京震 陆春花8月17日晚,“苏超”第9轮,南京迎战盐城。聚光灯下,南京队员战衣上那簇崭新的标识格外醒目——华瑞时尚
2025-10-12 05:27:00
这支“中国笔”,国内首款!
在常州经开区潞城街道江苏德尔福医疗器械有限公司的洁净工厂内工作人员正在忙碌地装配新型“电子笔”今年该企业三个型号的预充式电子笔式注射器获得国内首张医疗器械注册证标志着该类产品正式
2025-10-12 05:27:00
山东移动5G-A护航济南地铁4号线,打通地下通信“快车道”
近日,济南轨道交通4号线彭家庄站、程家庄站、唐冶站、唐冶南站(以上站名均为工程名)已完成移动5G-A通信覆盖,标志着这条串联城市东西的“黄金线路”在通信保障上迈出关键一步
2025-10-12 08:45:00
人保财险青岛分公司:科技赋能推动农险“双精准”再升级
齐鲁晚报·齐鲁壹点记者 尚青龙近日,青岛平度的肉牛也有了自己的“数字身份证”。人保财险青岛分公司借鉴内蒙古先进经验,引入内蒙古沃付国际物联网有限公司自主研发的人工智能畜牧业数字化管理平台
2025-10-12 11:53:00
一线保障人员“时刻在岗”,烟台联通守护高铁5G网络畅通运行
国庆中秋假期期间,面对持续攀升的客运高峰,烟台联通网络保障团队坚守岗位,全力投入高铁沿线5G网络实时保障工作,通过精细化运维与快速响应
2025-10-12 11:53:00
第十九届中国(临朐)家居门窗博览会12日开幕
齐鲁晚报·齐鲁壹点 王佳潼10月11日,第十九届中国(临朐)家居门窗博览会媒体见面会在临朐召开。记者在会上获悉,第十九届中国(临朐)家居门窗博览会定于2025年10月12日至15日在临朐国际会展中心举办
2025-10-12 11:55:00
济南热力以低空智巡护航聊热入济
近日,“聊热入济”长距离供热项目施工现场传来新进展——济南能源集团所属热力集团部署的无人机智慧巡检系统,正沿这条 “供热长龙” 精准巡航
2025-10-12 15:50:00