- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
...一时的大新闻；而今年，能攻克「未解之谜」级别的数学难题的 AI 已经来了。5 月 15 日，Google DeepMind 发布了全新编程智能体 AlphaEvolve。不同于传统的编程 Agent，它专注于通用算法的自动发现与持续优化。顾名思义，AlphaEvolve 擅...……更多
2025-05-15 23:16: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大牛,核心,作者,学习,学习,算法
...来解决最短路径问题的经典算法——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量子,光量子,新一代,计算机,量子,天工
中国青年报客户端讯（中青报·中青网记者 蒋肖斌）近日，3位数学家——邓煜、Zaher Hani、马骁，联合创作的论文于arXiv（著名论文网站——记者注）发布，这代表着沉寂125年的希尔伯特第六问题，有望迎来突破。3月13日，在“...……更多
2025-03-15 15:54:00数学界,难题,突破,数学,作者,论文
...台，通过需求牵引的科研模式，将重大产业发展中遇到的难题进行分解；同时，不同的团队可围绕共同的科研目标，各自分工进行攻关，并最终通过各领域科学家和数学家的凝练、将成果进一步集成为数学算法、模型乃至产品。...……更多
2023-12-20 06:06:00张江,上海,研究院,数学,研究,张江
从没学过量子算法，首次相关工作就证明量子物理难题！MIT计算机科学家，利用数学方法发现，当温度到达一定值后，热量导致量子纠缠完全消失。量子纠缠消失，意味着任何基于这种纠缠的量子计算或量子通信协议都将失效...……更多
2024-09-03 11:49:00纯数学,量子,科学家,科学,方法,量子
...，通过模拟人脑的思考和反思过程，大幅提升了解决数学难题的能力，可以帮助用户完成更具挑战性的数学任务 。Kimi 创始人杨植麟表示，接下来 k0-math 模型会持续迭代，提升更难题目的解题能力，挑战数学模型的能力极限。同...……更多
2024-11-19 09:50:00模型,国产,模型,推理,能力,数学
应用数学领域学术盛会在宁召开如何用数学解决企业难题？南报网讯（记者何洁）10月25日，中国工业与应用数学学会（CSIAM）第二十二届年会在南京召开。与会专家围绕工业与应用数学各研究方向的最新学术进展及其在产业界...……更多
2024-10-31 07:47:00应用数学,盛会,学术,领域,数学,应用
...噪声干扰是阻碍这一目标实现的“绊脚石”。而克服这一难题的关键理论问题之一，便是研究噪声如何影响甚至摧毁量子计算的优势。魏朝晖团队发现：当量子信息处理协议中的噪声强度突破某个阈值时，原本非常明显的量子优...……更多
2024-11-28 12:04:00清华,量子,成果,团队,数学,量子
...后，今年初，又有三位华人数学家参与破解两项重要数学难题。这些35岁以下青年数学家的集体崛起，是近年来中国数学教育体系“本土培养+海外淬炼”模式的成果体现。随着越来越多的中国天才进入海外顶级机构深造，华人数...……更多
2025-03-07 08:53:00中国,奇迹,数学,数学,数学家,中国
...曾凭借在解决量子算法复杂性和密码协议复杂性中的理论难题等方面的贡献，荣获2021年度王选杰出青年学者奖。“王选杰出青年学者奖”是由北京大学、中国计算机学会和中国工业与应用数学学会每年联合评选出在计算机和应...……更多
2024-07-11 11:16:00京城,量子,讲座,科技,量子,晓明
...结果在转弯时被卡住，怎么转都转不过去。数学家将这一难题称为“移动沙发问题”。2024 年 12 月 2 日，韩国数学家白真允（Jineon Baek）在社交媒体上宣称自己已解决这一问题，随即在国内外媒体和数学界引发广泛讨论。也许你...……更多
2025-01-24 19:34:00数学家,拐角,走廊,沙发,多年,数学
65年数学难题新突破！来自复旦大学的林伟南、王国祯以及UCLA的徐宙利合作，解决了126维空间的Kervaire不变量问题。三位作者都是北大数院出身，该成果曾作为北大建校126周年贺礼做报告，现在完整论文终于上传arXiv。△图源：...……更多
2025-05-06 13:39:00维空间,年数,假说,才子,末日,难题
...情况大不一样了。”在过去，环网操作信息维护面临诸多难题。人工维护效率低下，所有环节都依赖人工完成，线路运行方式监控、系统组合、校对、更新等工作不仅繁琐，还容易受人为因素影响，信息维护的准确性和及时性难...……更多
2024-12-13 12:06:00机器人,机器,突破,环网,供电,供电局
...关重要。罗老师建议考生要先做自己熟悉的题目，再挑战难题，即“先熟后生，先易后难”。遇到难题时，可以采用“跳步作答”的方法，先写出关键步骤，再逐步完善。同时，在关键点处一定要慢下来，确保运算的正确性。考...……更多
2024-06-01 13:29:00后生,名师,数学,高考,考生,数学
更多关于科技的资讯：
厦门网讯（厦门日报记者 翁华鸿 通讯员 林雨新）在近日举行的2025全球数据管理峰会“数据要素分论坛暨大数据统计与人工智能技术创新管理研讨会”上
2025-10-03 08:38:00
摘要：2025“你是达芬奇”全球青少年科学与艺术创新赛圆满落幕，其中金奖获奖少年的亲身实践告诉我们，在AI赋能的新时代
2025-10-02 16:22:00
2025年10月1日，随着国庆长假首日出行高峰的到来，高德基于北斗卫星导航系统的定位数量接近1万亿次，支撑导航总里程数超90亿公里
2025-10-02 22:31:00
10月1日，从太钢获悉，今年以来，太钢不锈进料加工团队以“精准备案、高效协同”为核心，在进料铬铁镍铁资源利用方面取得突破性进展
2025-10-02 17:39:00
厦门网讯（厦门日报记者 林露虹）记者昨日从中国移动咪咕公司获悉，该公司打造的“鼓浪屿AI伴游”服务已正式上线。市民和游客只需打开“鼓浪屿元宇宙”微信小程序
2025-10-02 08:57:00
河北新闻网讯（张新）9月26日，脑机接口产业联盟首届“脑机接口50人论坛”暨天津脑机接口产业创新发展推进会举办。会上，由新奥集团旗下的天津新智感知科技有限公司
2025-10-01 08:40:00
国网三明供电公司检修人员及时更换损坏器件并调整传动系统并完成设备修复及全套试验。（纪长添 摄）东南网10月1日讯 9月28日
2025-10-01 09:19:00
9月26日，由华东政法大学与上海星瀚律师事务所联合主办的第三届“星瀚杯”走进企业的法律课公益大赛正式启动。腾讯云作为大赛的技术支持单位
2025-10-01 09:56:00
为进一步发挥吴江区骨干教师的示范和辐射作用，推进课堂教学改革，有效提升教师教学业务能力。2025年9月24日，由苏州市吴江区教师发展中心主办的2025年吴江区骨干教师（数学）讲学团活动在平望实验小学举行
2025-10-01 09:58:00
9月30日，由人民日报数字传播与中国国家博物馆、中国人民大学、百度文心大模型、百度百科联合出品的《80年，80件》智能体和3D文物词条正式上线
2025-10-01 10:00:00
2025年9月23日至27日，第二十五届中国国际工业博览会在国家会展中心（上海）盛大举行。新时达以"智拓无界 共创未来"为主题
2025-10-01 10:00:00
河北新闻网讯（胡广涛）组装调试机器人、体验智慧仓储系统、探索自动化技术前沿……近日，河北工业大学人工智能与数据科学学院2022级自动化专业全体学生在廊坊分校
2025-10-01 11:12:00
中国青年报客户端讯（中青报·中青网记者 夏瑾）9月30日，由湖州师范学院音乐学院、湖州市音声数据挖掘与智能服务重点实验室主办的“1617系列明代魏氏乐虚拟乐器音源”全球发布会在浙江省杭州市举办
2025-10-01 14:11:00
十堰广电讯（通讯员 汪伟 周琼 耿宇）“一部手机游武当”预约购票、AI导游、《入境武当》VR大空间、问道武当数字客厅……国庆假日
2025-10-01 18:35:00
10月1日，天津鹏欣水游城14周年庆暨津云新媒体“笑漾海河”文旅电商线路首发仪式成功举办。近年来，随着“文旅+电商”模式的快速发展
2025-10-01 18:55:00