- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
...一时的大新闻；而今年，能攻克「未解之谜」级别的数学难题的 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数学,数学家,重磅,难题,人类,经典
半个世纪没有进展的问题，如今终于有了新突破！而且是一位华人科学家，单枪匹马搞定。来自芝加哥伊利诺伊大学厄巴纳-香槟分校的XiaoruiSun，提出了一种新方法，能够更快速确定群同构。要知道，让计算机确定群同构、图同...……更多
2023-07-05 13:57: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-09-21 09:12:00智慧,小学,德阳市,德阳,杨文,管理
本文转自：文汇报两位俄裔数学家分享“智能科学或数学奖”寻找实现目标最优解，引发一场算法革命 ■本报记者 许琦敏提到一阶加速算法，或许绝大多数人都没怎么听说过；可说起引发这一轮人工智能（AI）浪潮的机器...……更多
2023-09-15 05:55:00算法,革命,目标,罗夫,算法,罗夫斯基
...，有效解决了新知识难以更新、询问问题答非所问等行业难题，在知识问答能力上有了24%的提升。在发布会上，科大讯飞还展示了大模型在面对今年高考题目的解答能力，数学题目测试中，前十道填空题讯飞星火答对了5题，正...……更多
2023-06-15 22:00:00讯飞,星火,人机,认知,模型,评测
...计算时间证明了四色定理，数学家们100多年来未能解决的难题得到解决。四色定理之所以能被证明，是因为不可约集和不可避免集是有限的，四色定理的“地图涂色”问题看似有无穷多的地图，实际上可以把它们归结为2000多种...……更多
2023-09-04 16:58:00人工智能,中国,人工,智能,数学家,简史
...这一过程中对问题解决的效果亦存在差异。该阶段存在的难题主要在于，算法技术在一定程度上只能解决部分任务。数字检察模型的开发，不能直接套用基础算法，而应当采取“业务+数据”相结合的模式，打造契合检察工作实...……更多
2023-02-17 06:36:00检察,监督,数字,法律,建设,数据
...陆海空”研讨会是海南基础研究和应用研究合作从0到1的突破。海南高度重视产学研结合，与国际顶尖数学团队展开合作对海南来说意义深远，将为建设体系化、组织化的科技创新生态打下基础。海南省崖州湾种子实验室研究员...……更多
2022-12-22 19:45:00陆海,陆海空,海南,突破,数学,合作
...已经古稀之年的苏老应邀前往江南造船厂解决船体放样的难题。当时，他看到几位放样工正蹲在地板上用木样条画曲线，不时地跑来跑去，用肉眼观察这些曲线到底好不好。这种人工放样不仅体力耗费大，工作效率低，全靠人眼...……更多
2023-10-01 09:10:00拳拳,笔下,船体,苏步青,数学,旧居
中国青年报客户端讯（中青报·中青网记者 蒋肖斌）近日，3位数学家——邓煜、Zaher Hani、马骁，联合创作的论文于arXiv（著名论文网站——记者注）发布，这代表着沉寂125年的希尔伯特第六问题，有望迎来突破。3月13日，在“...……更多
2025-03-15 15:54:00数学界,难题,突破,数学,作者,论文
...台，通过需求牵引的科研模式，将重大产业发展中遇到的难题进行分解；同时，不同的团队可围绕共同的科研目标，各自分工进行攻关，并最终通过各领域科学家和数学家的凝练、将成果进一步集成为数学算法、模型乃至产品。...……更多
2023-12-20 06:06:00张江,上海,研究院,数学,研究,张江
更多关于科技的资讯：
虎鲸文娱发布《2025国庆假期文娱消费报告》票房火热 大屏“圈粉”南报网讯（记者鲁舒婷）10月8日，虎鲸文娱发布的《2025国庆假期文娱消费报告》（以下简称《报告》）显示
2025-10-10 07:32:00
2025年8月17日，名创优品MINISO LAND华南首店于广州北京路步行街正式开业。该店以百年岭南骑楼为空间载体，融合超过100个全球热门IP
2025-10-09 11:15:00
10月9日，荣耀官方正式宣布，主题为“开新局・见未来”的荣耀 Magic8 系列暨 Magic OS10 发布会将于10 月15日正式举行
2025-10-09 11:30:00
齐鲁晚报·齐鲁壹点 周宣刚10月7日10时，烟台市气象局发布10—14日连阴雨天气预报和大风警报。受高空槽东移和暖湿气流输送北上的水汽影响
2025-10-09 11:31:00
2025年9月25日，在中国香料香精化妆品工业协会主办的“2025中国香妆品牌价值大会”上，福瑞达生物股份旗下颐莲品牌凭借卓越的市场表现与品牌影响力
2025-10-09 11:32:00
这个国庆黄金周，高德APP和高德扫街榜正在持续创新高——10月3日，高德扫街榜宣布：上线仅23天，累计用户超4亿。10月1日
2025-10-09 11:33:00
国庆中秋双节期间，马来西亚再度掀起中餐热潮！以“鱼你在一起”为代表的中餐连锁品牌，在当地各大商圈持续引爆消费热情。“6个月
2025-10-09 11:34:00
鲁网10月9日讯当社区团购爆单时冰柜塞不下？当生鲜进货量太大冻不透？当网红雪糕因串味被迫贱卖？针对这些让商超、饭馆等用户抓狂的痛点
2025-10-09 11:40:00
10月8日，江西景德镇鸡排哥在个人社交账号发布一则视频，向全国各地来到家乡景德镇游玩和打卡买鸡排的游客表示感谢。鸡排哥表示近期天气炎热
2025-10-09 12:09:00
10月8日，大疆在官网提前挂出“双十一”促销信息，多款产品价格直降数百至上千元。此次降价幅度较大。从几百元到几千元不等
2025-10-09 13:45:00
这个国庆假期，重庆忠县江畔的橘若·忠州渡结结实实地“火”出了圈，八天揽客30余万人次，游客单日最高接待量突破6.9万人次
2025-10-09 13:57:00
10月7日，由谷子科技集团、和平精英职业联赛（PEL）与腾讯音乐娱乐集团联合出品，腾讯音乐娱乐集团与安徽易趣网络科技有限公司承办
2025-10-09 14:01:00
近日，肯德基旗下能量轻食品牌KPRO肯律轻食在广州、佛山及惠州三地，同步新开十家门店，标志着其在广州市场门店总数突破三十家
2025-10-09 14:01:00
夜深人静，却辗转反侧;闹钟响起，仍昏沉乏力——这已成为当代太多人的真实写照。世界卫生组织研究表明，持续的睡眠障碍不仅是生活质量的杀手
2025-10-09 14:03:00
10月2日-3日，中国规模最大、最专业的手办模型展Wonder Festival 2025（以下简称：WF2025）在上海正式开幕
2025-10-09 14:50:00