- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
...一时的大新闻；而今年，能攻克「未解之谜」级别的数学难题的 AI 已经来了。5 月 15 日，Google DeepMind 发布了全新编程智能体 AlphaEvolve。不同于传统的编程 Agent，它专注于通用算法的自动发现与持续优化。顾名思义，AlphaEvolve 擅...……更多
2025-05-15 23:16:00难题,突破,数学,算法,程序,问题
...、大连理工大学教授钟万勰——用好数学工具 解决力学难题（讲述·一辈子一件事）钟万勰（右一）在跟学生讨论。大连理工大学供图中年时的钟万勰。大连理工大学供图人物小传钟万勰，1934年生于上海，工程力学与计算力学...……更多
2023-05-05 05:57:00力学,难题,数学,工具,力学,数学
人工智能（AI）大模型，击败了人类数学家。今天，在 Nature 上发表的一篇论文中，Google DeepMind 的研究团队介绍了一种搜索数学和计算机科学新解决方案的方法——FunSearch，它的工作原理是将预先训练的大型语言模型（LLMs）与...……更多
2023-12-15 14:38:00数学,数学家,重磅,难题,人类,经典
...智慧极限的突破。迄今为止，解决或协助解决高等级数学难题，仍是AI领域一项极其复杂的多维度重大挑战。随着AI越来越多出现在数学领域，这是否预示着AI开始具有人类水平的推理能力？它会否为通用人工智能（AGI）铺平道路...……更多
2024-06-14 11:54:00奥数,选手,数学,国际,数学,数学家
...供了充足的新思路和解决方案，以应对现实世界中的一些难题。例如，在交通规划和物流领域，我们可以借助四维时空模型更准确地预测和优化交通流量和物资分配。当然，在深入研究和应用这个新的时空结构之前，我们还需要...……更多
2023-11-30 16:20:00维空间,数学家,德国,真相,数学,四维
...haProof 和 AlphaGeometry 2 在 IMO 竞赛上共同实现了里程碑式的突破。AlphaProof 是一种用于形式化数学推理的强化学习系统，而 AlphaGeometry 2 是 DeepMind 几何求解系统 AlphaGeometry 的改进版本……更多
2024-10-30 09:54:00大牛,核心,作者,学习,学习,算法
本文转自：大众日报□本报记者王 原本报通讯员车慧卿王一晗“我从小时候起就热爱数学。”李国君教授告诉记者，他是恢复高考后的第一届大学生，十分珍惜进入大学学习的机会，用“饥饿的人扑到了面包上”来形容毫不夸...……更多
2023-04-21 09:57:00国君,难题,世界,国君,数学,生物
...来解决最短路径问题的经典算法——Dijkstra，现在有了新突破：被证明具有普遍最优性（Universal Optimality）。什么意思？这就意味着不论它面对多复杂的图结构，即便在最坏情况下都能达到理论上的最优性能！而且这还是学术界...……更多
2024-10-28 09:51:00算法,本科,性能,情况,经典,算法
...，他也一直在不停地变换研究的问题和方向，去解决各种难题。
零知识证明维格德森早期的一项很重要的工作就是对零知识证明的贡献。零知识证明这一概念最早由莎菲·戈德瓦塞尔、希尔维奥·米卡利和查尔斯·拉克福于1985年...……更多
2024-05-23 13:37:00高塔,计算机,科学,维格,德森,爱丽
...结果，也是一个巨大的进步。困扰计算机科学家的半世纪难题先来看看这是一个什么问题。如果用大白话来讲，这个问题其实源于我们一种直觉：你可以重复使用空间，但不能重复使用时间。算法可以反复使用同一小块内存，而...……更多
2025-05-25 17:53:00僵局,内存,理论,计算机,时间,算法
...是聚焦于技术带来的单一新功能，而是以解决教育个性化难题为底层逻辑，解决了教学难以绝对「针对性」与「个性化」的两大痛点，通过人工智能实现因材施教。如创立于 1994 年的 ALEKS，目前是美国市场渗透率最高的人工智能...……更多
2024-06-29 09:29:00之路,美国,霸主,情绪,智能,个性
...优于最新手工设计的智能体。文本框中突出显示了重要的突破。此外，图 3b 显示了发现最好的智能体，其中采用了复杂的反馈机制来更有效地细化答案。仔细观察搜索进度就会发现，这种复杂的反馈机制并不是突然出现的。推...……更多
2024-08-24 09:36:00设计,手工,数学,智能,智能,元智
鲁网12月12日讯算法作为数学与编程的桥梁，既是数学逻辑的具体体现，也是编程实践的核心内容。为了帮助学生深入理解算法的数学原理，同时掌握其在编程中的实际应用，培养学生的逻辑思维、问题解决能力和创新能力，济...……更多
2024-12-12 15:25:00跨学科,高新,凤凰,济南,高新区,校区
...运垒，其形成机制涉及到非线性湍流的预测这一重大科学难题。由于湍流的非线性和复杂性，基于第一性原理的非线性回旋动理学大规模模拟已成为独立于传统的实验和理论之外的不可或缺的研究手段。国际主流聚变国家在非线...……更多
2024-02-22 17:01:00等离子体,等离子,中国科大,湍流,物理学家,研究领域
...其对定制化芯片的要求，一直是领域内难以被攻克的一个难题。本文详细阐述和讨论了为机器人应用定制芯片的困难所在、解决思路，并更进一步，介绍了可能给机器人产业带来改观的芯片自动生成问题。本文精选自《新程序员...……更多
2024-02-05 09:43:00多远,程序员,机器人,模型,机器,智能
【新智元导读】30多年的数学猜想首次获得了进展！Meta等学者提出的PatternBoost，使用Transformer构造了一个反例，反驳了一个已悬而未决30年的猜想。是否所有数学问题都适合机器学习技术？这样的未来太令人期待了。30多年的数...……更多
2024-11-14 09:44:00年数,研究者,算法,猜想,难题,杀手
...缺点，比如打破密码学的相关理论。作为一个开放的数学难题，P/NP问题至今是其中最重要的之一；它被列入克莱数学研究所的千禧年大奖难题之一[21]（该组织为其中每一个问题的求解提供100万美元的奖金）。在本文的最后，我...……更多
2024-06-20 09:21:00举步维艰,基础理论,正在,理论,基础,问题
...不可能一蹴而就。“科学计算软件解决的是底层逻辑计算难题，其平台性、工具性等特点决定了它是一种底层的、基础性的软件，开发周期长、难度大、高层次人才需求量大。”他补充，即便产品进入市场，也不意味着研发工作...……更多
2024-05-14 02:20:00国产,产业,科学,软件,软件,科学
...量子算力与经典算力无缝融合，才是真正解决各行业算力难题的*答案，也将实现更强算力的共振与提升，进而完全实现“新质融合，算力共振”。以算力中心的用户问题为例，统一的软件平台会先将任务分解成CPU适应、GPU适应...……更多
2024-04-19 09:38:00量子,光量子,新一代,计算机,量子,天工
...这一过程中对问题解决的效果亦存在差异。该阶段存在的难题主要在于，算法技术在一定程度上只能解决部分任务。数字检察模型的开发，不能直接套用基础算法，而应当采取“业务+数据”相结合的模式，打造契合检察工作实...……更多
2023-02-17 06:36:00检察,监督,数字,法律,建设,数据
...陆海空”研讨会是海南基础研究和应用研究合作从0到1的突破。海南高度重视产学研结合，与国际顶尖数学团队展开合作对海南来说意义深远，将为建设体系化、组织化的科技创新生态打下基础。海南省崖州湾种子实验室研究员...……更多
2022-12-22 19:45:00陆海,陆海空,海南,突破,数学,合作
中国青年报客户端讯（中青报·中青网记者 蒋肖斌）近日，3位数学家——邓煜、Zaher Hani、马骁，联合创作的论文于arXiv（著名论文网站——记者注）发布，这代表着沉寂125年的希尔伯特第六问题，有望迎来突破。3月13日，在“...……更多
2025-03-15 15:54:00数学界,难题,突破,数学,作者,论文
...台，通过需求牵引的科研模式，将重大产业发展中遇到的难题进行分解；同时，不同的团队可围绕共同的科研目标，各自分工进行攻关，并最终通过各领域科学家和数学家的凝练、将成果进一步集成为数学算法、模型乃至产品。...……更多
2023-12-20 06:06:00张江,上海,研究院,数学,研究,张江
...师团队，始终坚守初心，培养顶尖人才，解决“卡脖子”难题，让数学理论从纸面上“活”起来，这就是刚入围第四批“全国高校黄大年式教师团队”的吉林大学数学理论与应用教师团队。吉林大学数学理论与应用教师团队由国...……更多
2025-09-11 20:47:00双丰,难题,科研,团队,黄大年,轮胎
从没学过量子算法，首次相关工作就证明量子物理难题！MIT计算机科学家，利用数学方法发现，当温度到达一定值后，热量导致量子纠缠完全消失。量子纠缠消失，意味着任何基于这种纠缠的量子计算或量子通信协议都将失效...……更多
2024-09-03 11:49:00纯数学,量子,科学家,科学,方法,量子
...站上首届国家最高科技奖领奖台，90岁时开始研究世界级难题“大整数分解”……在攀登数学高峰的征程上，吴文俊从未停下过脚步。凭借这种日积月累、刻苦努力的笨功夫，他在多个数学领域取得蜚声中外的科研成果。实践证...……更多
2023-05-06 01:05:00吴文,吴文俊,数学,领域,功夫,中国
...，通过模拟人脑的思考和反思过程，大幅提升了解决数学难题的能力，可以帮助用户完成更具挑战性的数学任务 。Kimi 创始人杨植麟表示，接下来 k0-math 模型会持续迭代，提升更难题目的解题能力，挑战数学模型的能力极限。同...……更多
2024-11-19 09:50:00模型,国产,模型,推理,能力,数学
...s Fregin 共同创立了 Quantum Valley Investments，为量子信息科学突破的进一步发展和商业化提供金融和智力资本。1999 年，他创立了 Perimeter 理论物理研究所；2002 年，他创立了量子计算研究所。除此之外，他也是滑铁卢大学的前任校长...……更多
2023-03-15 05:00:00数学,历史,国际,拉扎里,迪斯,拉扎
应用数学领域学术盛会在宁召开如何用数学解决企业难题？南报网讯（记者何洁）10月25日，中国工业与应用数学学会（CSIAM）第二十二届年会在南京召开。与会专家围绕工业与应用数学各研究方向的最新学术进展及其在产业界...……更多
2024-10-31 07:47:00应用数学,盛会,学术,领域,数学,应用
更多关于科技的资讯：
当白天的提神茶饮与夜晚的放松酒品打破边界，正催生出国内消费市场一股新的“微醺”风潮。近期，茶百道经典白酒奶茶回归即创下销量佳绩
2025-10-14 11:33:00
近日，因穿警服直播带货被行政拘留、账号遭封禁的嘎子谢孟伟发视频称 “我回来了”，并向所有观众诚恳道歉。视频中，其透露公司员工已被安排回老家
2025-10-14 11:33:00
原标题：世界农业科创大会开幕 农业中关村核心区2.0发布平谷将打造全国农业科创中心本报讯（记者 赵婷婷）昨天，2025世界农业科技创新大会（WAFI）在北京平谷开幕
2025-10-14 11:59:00
AI时代，品牌的长期价值回归于人性与文化共鸣，人类的创造力、同理心与文化相关性愈加重要。•AI已成日常：几乎所有CMO都在使用AI
2025-10-14 13:29:00
近日，一则“美团外卖骑手能屏蔽顾客”的消息在网络上引发热议。据媒体报道，美团已在福建晋江、浙江绍兴等七个城市试点上线骑手评价用户和屏蔽用户功能
2025-10-14 13:40:00
齐鲁晚报·齐鲁壹点 记者 公绪成 李其峰 通讯员 陈婉塑炼、分切、热压......沂南县泽辉体育产业园内，工人们正紧忙制作新一批篮球内胆10月9日
2025-10-14 15:00:00
在数字经济奔涌向前的浪潮中，VR正加速与新一代信息技术融合，不断催生新的应用场景。紧抓发展机遇，江西移动聚焦VR产业发展的核心问题
2025-10-14 16:02:00
据洛图科技数据显示，2025年上半年，中国智能门锁市场全渠道销量达到897万套，同比增长6.8%。面对日益增长的智能安防需求
2025-10-14 16:14:00
10月14日，蜜雪冰城啤酒5.9元一杯冲上微博热搜榜。10月1日，蜜雪集团在港交所发布的公告显示，蜜雪冰城以2.856亿元增资认购鲜啤福鹿家新增注册资本
2025-10-14 16:40:00
【宅男财经｜专家面对面】据媒体报道，近日，有网友在社交媒体发帖称，美团外卖骑手能屏蔽顾客了。相关页面信息显示，目前已在晋江
2025-10-14 17:08:00
日前，苹果宣布iPhoneAir国行版将于10月17日早9点预购，10月22日正式发售。随后，中国移动、中国联通、中国电信三大运营商相继宣布
2025-10-14 17:49:00
中国青年报客户端讯（中青报·中青网记者 王军利）近日，《时代》公布2025年最佳发明榜单，无人驾驶技术赫然在列。作为人工智能在物理世界的典型应用
2025-10-14 22:56:00
大皖新闻讯 10月14日，总部位于合肥的零重力飞机工业（合肥）有限公司（以下简称“零重力飞机工业”）正式宣布完成A++++轮融资
2025-10-14 18:42:00
大皖新闻讯 10月14日，记者获悉，第138届中国进出口商品交易会（广交会）将于10月15日至11月4日在广州举办。本届广交会展览面积达155万平方米
2025-10-14 18:44:00