- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
...一代AI的理论和模型。然而，大模型庞大的数据量对应用数学家提出了极大挑战。尽管目前世界上敢于“迎战”的数学家还为数不多，但孙茂松仍坚信，不出三五年，大模型智能涌现的机理研究一定会有突破。智能涌现挑战全球...……更多
2023-07-26 06:00:00模型,数学,模型,智能,数学家,数学
...者在采访中获悉，上海张江数学研究院不仅将汇集全国的数学家共同聚焦“数学+”赋能产业，还将联合各个高校分院共同培养“数学+”复合型人才。此前，该研究院已在上海交通大学、华东师范大学等高校设立分院。数学作为...……更多
2023-12-20 06:06:00张江,上海,研究院,数学,研究,张江
...力。他们对书面问题提供详细而清晰的回答。几十年来，数学家一直试图将证明转化为计算机代码，这一过程被称为形式化。如果你把证明写成代码，计算机运行代码时没有错误，你就知道证明是正确的。但证明一个命题可能需...……更多
2023-02-24 18:22:00人工智能,人工,数学,智能,问题,工作
...沿的数学往往需要极为复杂的证明，比如日本的京都大学数学家望月新一在证明“abc猜想”时，其证明过程长达500页。即便在数学家中，能仔细阅读完该证明过程的就寥寥无几，要是发现其中的逻辑错误更是难上加难。因此，数...……更多
2024-07-27 16:43:00奥数,人工智能,银牌,人工,赢得,智能
...I）铺平道路？
数学一直被视为人类智力的“天花板”，数学家则不断在挑战人类智力的极限。同时，数学难题也一直是大模型难以“征服”的领域之一。数学是推理的语言。长期以来，人们一直在为这类难题的复杂推理而苦恼...……更多
2024-06-14 11:54:00奥数,选手,数学,国际,数学,数学家
...。数学真要成为首个借助AI实现突破的学科吗？一方面，数学家越来越频繁地使用AI；另一方面，AI也很“配合”——既可用于解决编程等应用学科的问题，也可用来攻克包括数学在内的自然学科。本文中这项成果，现阶段可能还...……更多
2023-12-15 01:27:00见解,模型,语言,数学,问题,数学
一道小学生难度的数学题难倒了一众海内外AI大模型。9.11和9.9哪个更大?就此问题，第一财经记者测试了12个大模型，其中阿里通义千问、百度文心一言、Minimax和腾讯元宝答对，但ChatGPT-4o、字节豆包、月之暗面kimi、智谱清言、...……更多
2024-07-17 11:56:00实测,模型,模型,数学,小数,问题
...设计的高难度综合性测试，目前普遍被研究者用于考察大模型的智能水平。在前不久高考结束后，上海人工智能实验室旗下司南评测体系OpenCompass选取了7个大模型进行高考“语数外”全卷能力测试。6月19日， OpenCompass发布了首个...……更多
2024-06-24 09:22:00评测结果,最高分,评测,数学,高考,结果
...智能”学术会议在上海世博中心举办。来自全球多位知名数学家和科学家围绕机器学习与人工智能的数学基础、人工智能中的算法研究等主题进行深入讨论，共同探讨数学与人工智能领域的最新研究成果和未来发展趋势。作为全...……更多
2024-07-10 22:53:00人工智能,人工,智能,学术会议,学术,大会
...业大学工作期间，他曾和同事在一项研究中成功提高了大模型解决复杂数学问题的能力。通过此，他们不仅提高了算法推理速度，还提高了算法搜索中间结果的质量。所新推出的数据集 TriMaster100，也更加符合算法在复杂数学问...……更多
2024-03-13 10:26:00数学,数学题,科学家,模型,辅导,课程
...赋能和带来的行业机遇已经成为共识，教育也已经成为大模型技术产品级落地的代表性行业。“教育与人才”位列本届大会行业论坛的十大重点议题，学而思、网易有道、猿力科技等教育企业纷纷携旗下人工智能产品亮相，成为...……更多
2024-07-04 23:00:00学习机,人工智能,人工,模型,大会,智能
...议室、办公室还是走廊，随处可见大大小小的黑板。这是数学家们提出的小需求，用来“捕捉”随时闪现的灵感。今年1月，上海数学与交叉学科研究院正式揭牌。这一由著名数学家、菲尔兹奖首位华人得主丘成桐领衔的研究院...……更多
2024-05-25 01:56:00链条,上海,产业发展,产业,发展,上海
...动创建大量、多样化的合成数据。经过合成数据微调后的模型Orca-3，在多项基准上刷新了SOTA。全世界高质量数据几乎枯竭。AI科学家们为了解决这一难题，可谓是绞尽脑汁。目前来看，合成数据或许就是大模型的未来，也成为业...……更多
2024-08-20 13:44:00微软,力作,秘诀,生成,团队,性能
...相互作用提供了新视角。邬荣领介绍，本研究建立的超网模型能更有效地研究群落行为背后的物种间相互作用的拓扑结构和功能。此模型构建的超网的 GMLY 剖析可能成为解开极其复杂的群落（如肠道微生物群）的必要程序，为该...……更多
2024-10-15 11:00:00雁栖湖,雁栖,应用数学,北京,研究院,成果
...——这样一道简单的“小升初”数学题难倒一众网友和大模型。上周五(7月12日)综艺《歌手2024》投票率出炉，孙楠以13.8%的投票率位居第三，Chanté Moore以13.11%的投票率排在第四。一位网友留言质疑“13.8%比13.11%高？”迅速引起热...……更多
2024-07-18 16:39:00模型,小学,模型,小数,记者,南都
...会议。国务院参事石勇、著名经济学家陈全生，国际著名数学家、自然语义首席数学家夏志宏在论坛发表精彩演讲。本届论坛主题围绕“生成式人工智能促进产业发展”，着眼于语言大模型与AI产业的前沿技术与应用，共同探讨...……更多
2023-12-21 19:52:00崂山,人工智能,产业发展,第三届,人工,智能
...有其他模型能超过2%。Epoch AI此前联合六十余位全世界的数学家，其中包括教授、IMO命题人、菲尔兹奖获得者，共同推出了全新的数学基准FrontierMath。这些数学问题从奥赛难度到当今的数学前沿，包含了目前数学研究的所有主要...……更多
2024-12-21 17:02:00下一代,推理,模型,直播,模型,推理
苹果新论文：AI 大模型可能不会推理。AI 大模型（LLM）真的像我们理解的那样能「思考」或「推理」吗？最近，苹果的一篇论文探讨了这个问题，并且给出了一个倾向于「否」的答案。相关帖子被很多人围观。这篇题为「GSM-Symb...……更多
2024-10-14 09:55:00数学题,推理,废话,苹果,数学,小学
...奥林匹克数学竞赛中，大多数获奖者都是中国人；但中国数学家的突破性贡献似乎不如法国、美国、俄罗斯等国的数学家。2023年11月，全职加入西湖大学的伊万·费先科决定做点什么。他发现，许多培养出优秀数学家的国家都注...……更多
2024-02-27 05:21:00菲尔,得主,中国,数学,先科,伊万
姚期智院士领衔，推出大模型新推理框架，CoT“王冠”戴不住了。提出思维图（DiagramofThought），让大模型思考更像人类。团队更是为这种推理过程提供了数学基础，通过拓扑斯理论（Topos Theory）正式化（formalize）DoT，确保其逻...……更多
2024-09-24 13:36:00维图,院士,逻辑,模型,一致,理论
...本来的样子，学生才会于不知不觉中学到知识。我国著名数学家陈省身说过：“数学是有用的，数学是好玩的。”爱因斯坦也说过：“数学是一种有趣的游戏，它让我们思考关于数字的抽象结构。”小学阶段是帮助学生建立学习...……更多
2024-03-14 11:03:00本质,数学,学习,学生,数学,学生
...数学地质学家的学术思想精髓，以大数据、人工智能、大模型等新技术新方法为新质生产力，为国家新一轮找矿突破战略行动做出新的更大贡献。开幕式上，毛景文、郭华东、成秋明、林君等分别以《矿产勘查找矿新理论技术》...……更多
2024-08-22 20:48:00地学,长春,地质,研讨会,研讨,学术
人工智能（AI）大模型，击败了人类数学家。今天，在 Nature 上发表的一篇论文中，Google DeepMind 的研究团队介绍了一种搜索数学和计算机科学新解决方案的方法——FunSearch，它的工作原理是将预先训练的大型语言模型（LLMs）与...……更多
2023-12-15 14:38:00数学,数学家,重磅,难题,人类,经典
...的宇宙中，一个惊人的发现震动了整个学术圈。一位德国数学家成功证明了4维空间的存在，这一突破引发了前所未有的争议和兴奋。数学界的圣杯或许即将揭开面纱，而随之而来的是一连串令人难以置信的可能性。如果真的存...……更多
2023-11-30 16:20:00维空间,数学家,德国,真相,数学,四维
...作品里的人工智能风险，科学家的当务之急是提高大语言模型等人工智能系统的可信度，让“AI4S”（科学智能）输出更准确的科研结论。本月初，首届人工智能安全峰会在英国举行，包括中国在内的28个国家与欧盟共同签署了《...……更多
2023-11-08 06:44:00可信度,可信,科学家,科学,系统,人工智能
...enAI放出了一个大招，预热了许久的“草莓”（Strawberry） 模型终于来了。“需要耐心等待的时刻结束了。”该公司CEO山姆·奥特曼（Sam Altman）说。这就是名为 o1的新模型，这次发布包括预览版o1-preview和小尺寸版o1-mini。OpenAI官方...……更多
2024-09-13 16:44:00复旦,相关性,概率,推理,模型,教授
...里的元素事关数学，当前大模型的参数到了万亿级，应用数学家从来没有解过如此大的方程组，并且大模型涉及到的数学问题与经典数学完全不同，这为理解大模型机理带来了挑战。但孙茂松认为，只有搞清楚大模型的机理，才...……更多
2023-07-27 15:01:00清华大学,清华,机理,模型,教授,理论
大模型领域的技术发展，今天起再次「从 1 开始」了。大语言模型还能向上突破，OpenAI 再次证明了自己的实力。北京时间 9 月 13 日午夜，OpenAI 正式公开一系列全新 AI 大模型，旨在专门解决难题。这是一个重大突破，新模型可...……更多
2024-09-13 16:42:00推理,模型,极限,突破,学习,模型
深度求索公司研发的DeepSeek大模型最近“出圈”，其实，国内学术界和产业界使用这个系列的大模型已有一段时间。解放日报·上观新闻记者今天采访时了解到，上海交通大学计算机科学与工程系教授赵海去年已弃用GPT-4，改用De...……更多
2025-01-29 21:29:00上海,下岗,模型,智能,开发,企业
更多关于科技的资讯：
京津冀共推新能源汽车、低空装备产业协同发展提高科技成果转化和产业化水平河北日报讯（记者米彦泽）8月12日，京津冀新能源和智能网联汽车
2025-08-19 08:31:00
大众网记者 孙淑娟 东营报道世界造纸，中国领航；中国造纸，广饶担当。在黄河三角洲的沃土上，广饶县依托深厚的产业积淀，崛起为全国举足轻重的高端造纸产业基地
2025-08-19 08:51:00
最近，一个词在网上悄然走红 ——“经济上行的美”。当全球经济增速放缓，这个词的流行，本质上是大众借由对 “黄金年代” 的集体记忆
2025-08-19 09:03:00
在日新月异的今天，科技创新已成为推动各行各业发展的关键力量。陶瓷行业，这一承载着千年文明与历史沉淀的传统产业，在新时代的浪潮中
2025-08-19 09:51:00
为提升从业人员的专业素养与服务水平，中国人寿深州支公司开展销售人员培训活动，此次培训特邀公司经验丰富的业务精英与兄弟县市优秀讲师
2025-08-19 09:58:00
为深化全员对代理保险产品的认知，提升精准营销能力，加速拓展市场份额，8月8日下午，滦州农商银行召开2025年下半年代理保险业务专题培训会
2025-08-19 10:04:00
随着供需两端提速，以及AI的全面入局，一个小游戏崭新的增长时代正在展开。2025 ChinaJoy期间，由中国音像与数字出版协会和上海市虹口区人民政府联合主办的「2025 CIGDC 中国国际游戏开发者大会」在沪举行
2025-08-19 10:52:00
近日，教育科技领军品牌小猿学练机在北京举行“小猿学练机×海尼曼”战略合作发布会，宣布学习平板领域独家引进全球知名的 “海尼曼 FPC ”分级阅读体系
2025-08-19 10:52:00
2025年8月8日至12日，2025世界机器人大会（WRC 2025）在北京经济技术开发区北人亦创国际会展中心举行。围绕 "让机器人更智慧
2025-08-19 10:52:00
-以美食为桥深化中韩文化交流-2025年8月9日，内地人气歌手姚琛“万里挑一 特别派对”在北京市昌平区丘比特露营营地火热开唱
2025-08-19 10:52:00
近年来，伴随着出海浪潮不断升温，中国商品正加速迈入高质量、品牌化发展的新阶段。面对出海新趋势，近日，由中国（宁波）跨境电子商务综合试验区
2025-08-19 10:59:00
本报讯 （记者 解 磊）近日，记者从中国塑料加工工业协会（以下简称“中国塑协”）获悉，干法锂电池隔膜骨干生产企业负责人闭门座谈会在深圳召开
2025-08-19 11:03:00
在全球贸易格局深刻变革的浪潮中，跨境电商正以惊人的活力重塑国际贸易链路。据权威机构预测，2025年全球电商渗透率将突破25%
2025-08-19 11:16:00