申请收录
【大屏时代】首页 > 3D快报内容详情

GPT-6 Astra 联手人类攻破重大进展级数学难题：AI 不再只是解题机，成了规律发现者

1小时前 5 大屏时代
广告：【裸眼3D制作】 让想象突破物理极限，用数字重绘世界经纬。

在全球顶级 AI 数学基准 FrontierMath 上，一道悬了九年、自2017年就被抛出的"重大进展"级开放难题被拿下——而这次的功臣是 GPT-6Astra 与三位人类研究员的人机组合。题目问的是批准式委员会选举里"核是否为空"，本意是寻找"核为空"的反例，GPT-6Astra 却反过来证明:这样的反例根本不存在，也就是说绝对公平的委员会在任何情况下都必定存在。

更漂亮的是，模型还顺手发明了一套基于"调和熵"的全新投票规则，给出多项式时间的算法，证明局部最优解就已经满足"核"的要求。在这轮协作里，人类负责定方向、把逻辑关，AI 则顶起知识库、计算演练和那些跳跃式的灵感——分工像极了一个配合默契的研究组。

这是 AI 头一回摘下"重大进展"级数学难题，意义不只是多解了一道题。它把大模型从"解题机器"的位置往前推了一格，变成了能参与发现数学规律的合作者;连维护榜单的 Epoch AI 都为此新增了"Human + AI"状态标签，专门给这种人机联名的研究成果留了位置。当数学家开始扮演"提示词工具人"的角色，科研这条路的写法，正在被悄悄改写。


相关文章


版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。

相关标签： GPT-6 Astra 联手人类攻破重大进展级数学难题：AI 不再只是解题机，成了规律发现者

最新文章

雷神首款 AI 移动工作站明日开售：64GB 内存驯服 120B 大模型，1.99 万元把数据中心装进背包

雷神首款 AI 移动工作站明日开售：64GB 内存驯服 120B 大模型，1.99 万元把数据中心装进背包

雷神发布AI移动工作站M7000，9月21日开售，国补价1.99万元。号称可端侧运行1200亿参数大模型，机身重2.45kg，面向创作、开发、科研、涉密四大场景，搭载AMD锐龙AI芯片。

消息称 Anthropic 拟在 IPO 前推出新模型，应对 GPT-6 Astra 冲击

消息称 Anthropic 拟在 IPO 前推出新模型，应对 GPT-6 Astra 冲击

据路透社援引消息人士称，Anthropic 正考虑推出全新 AI 模型，以应对 OpenAI 发布 GPT-6 Astra 后的竞争压力。此事发生在公司筹备 IPO 前夕，而其 CEO 达里奥·阿莫代伊此前曾呼吁行业放慢技术迭代节奏，此举被指与公开表态相矛盾。

Anthropic 把 IPO 推到 11 月：2 万亿美元估值剑指 SpaceX 纪录，安全警告成上市前的"护身符"

Anthropic 把 IPO 推到 11 月：2 万亿美元估值剑指 SpaceX 纪录，安全警告成上市前的"护身符"

Anthropic拟将IPO从10月推迟至11月，以便纳入第三季度财报，用业绩证明竞争实力、增强市场说服力。投资者对其上市估值预期较高，市场需求旺盛。

阶跃甩出 Step 5 Preview：600B 稀疏 MoE 只激活 27B，把开源旗舰的"性价比边界"往外推了一格

阶跃甩出 Step 5 Preview：600B 稀疏 MoE 只激活 27B，把开源旗舰的"性价比边界"往外推了一格

阶跃今日全量开放新一代旗舰基座Step5Preview，定位真实世界Agentic任务主力模型。它采用稀疏MoE架构，总参数600B，旨在破解能力、效率、成本三者相互拉扯的“帕累托题”：不是让取舍消失，而是以新设计把帕累托前沿整体外推，成为面向智能体任务的高效主力模型。

B 站上线“AI 无限竞技场”：百大模型同台 PK，GPT-6 Astra 暂居榜首

B 站上线“AI 无限竞技场”：百大模型同台 PK，GPT-6 Astra 暂居榜首

B站上线“AI无限竞技场”大模型测评榜并公布首轮结果：GPT-6 Astra在10位UP主测评中登顶，力压GLM-5.3获“榜首次数冠军”；前五名中国产大模型占三席。该榜由各领域UP主对上百个大模型进行真实场景实测，覆盖代码、推理、协作、知识等主题，不设固定命题。

阶跃星辰 Step 5 Preview 全量开放：600B 参数打平 K3 级性能，新用户最长白嫖 75 天

阶跃星辰 Step 5 Preview 全量开放：600B 参数打平 K3 级性能，新用户最长白嫖 75 天

国产大模型 Step 5 Preview 正式全量开放，由阶跃星辰推出。其采用稀疏 MoE 架构，总参数 600B、仅激活 27B，性能对标 2.8 万亿参数 K3，性价比高；支持 100 万 Token 上下文和图文输入。API 与 Studio 已可用，10 月 15 日将发布完整权重，长任务自主运行表现突出。

GPT-6 Astra 联手人类攻破重大进展级数学难题：AI 不再只是解题机，成了规律发现者

GPT-6 Astra 联手人类攻破重大进展级数学难题：AI 不再只是解题机，成了规律发现者

在顶级AI数学基准FrontierMath上，悬置九年的开放难题“批准式委员会选举中核是否为空”被GPT-6Astra与三位研究员联手攻克。原本要找“核为空”的反例，模型却证明反例不存在，即绝对公平的委员会在任何情况下都必定存在，并顺带提出新方法。

50人团队月入8500万元，中国AI陪伴的强敌！

50人团队月入8500万元，中国AI陪伴的强敌！

今年年初，大家可能还没觉出移动端的AI陪伴有多火。神奇的是，才8个月过去，AI陪伴应用开始展现出超强的吸金能力。根据SensorTower，这个赛道的收入规模从1月的3.16亿元增长

被“限高”后，“美妆一姐”姜乘澜开启直播带货，单场GMV超千万

被“限高”后，“美妆一姐”姜乘澜开启直播带货，单场GMV超千万

“美妆一姐”依然能打。9月15日晚，以“姜乘澜”新身份回归的程十安，开启了复出后的首场直播带货。开播后不久，直播间便冲上抖音带货总榜第一，单场带货GMV超千万，单个

启元机器人接入腾讯云WorkBuddy，AI首次从屏幕"走"进物理世界

启元机器人接入腾讯云WorkBuddy，AI首次从屏幕"走"进物理世界

9月20日，启元机器人与腾讯云合作，其Q1、T1机器人接入WorkBuddy，成为首个具身智能接入案例。WorkBuddy首次从屏幕AI助手变为有感官和行动能力的物理实体：其作为“大脑”负责理解、推理和调度云端生态技能，启元机器人作为“身体”负责交互执行。

B站上线"AI 无限竞技场"测评榜：上百模型同场厮杀，GPT-6 暂坐头把交椅

B站上线"AI 无限竞技场"测评榜：上百模型同场厮杀，GPT-6 暂坐头把交椅

B站推出“AI无限竞技场”测评榜，汇总10位UP主对上百个大模型的真实场景实测，覆盖代码、推理、协作、知识等。首轮榜单中GPT-6Astra居首并获“登顶次数冠军”，GLM-5.3次之；前五国产占三席，与海外模型贴身竞争。该榜单不同于传统跑分，更强调真实应用表现。

像素之战：LED显示屏正从城市天际线潜入你的客厅

像素之战：LED显示屏正从城市天际线潜入你的客厅

<br />过去十年，LED显示屏行业的主线叙事只有一个词：间距。2015年，P2.5已被视为室内高清的分水岭；到2025年，P0.9以下的COB与MiP产品在会议室、广电演播室和高端零售空间成为标配。间距每缩小一半，单位面积灯珠数量翻两番，驱动IC、基板、封装与检测的成本结构随之被彻底重写。行业的工作重心，已从"把灯珠拼起来"转向"把像素造出来"——这是一次制造范式的迁移，而非简单的参数升级。<

DeepSeek明确调休日计费规则，中秋国庆迎来十天&quot;半价窗口&quot;

DeepSeek明确调休日计费规则，中秋国庆迎来十天&quot;半价窗口&quot;

DeepSeek发布API峰谷计费补充说明：调休上班的周末及中国法定节假日全天均按空闲时段低谷价计费。这意味着9月20日、10月10日调休周末及中秋国庆假期，开发者调用API可享低谷价。此前工作日高峰时段价格为低谷两倍，周末全天按低谷价。

LED显示屏的第三次革命：Micro LED量产破局，谁在收割万亿级户外媒体新战场？

LED显示屏的第三次革命：Micro LED量产破局，谁在收割万亿级户外媒体新战场？

<br />过去十二个月，全球LED显示屏行业经历了近十年来最剧烈的技术路线切换。据行业统计，2024年全球LED显示屏市场规模突破380亿美元，其中小间距LED与Micro LED贡献了超过四成的增量。与以往靠像素密度提升驱动换代不同，这一轮增长的核心逻辑是“场景定义显示”——LED屏正从单纯的图像输出设备，进化为集感知、交互、数据采集于一体的智能终端。<br /><br /><br />长期以

MiniMax 开源 Code CLI：命令行编程工具亮出 76.7% 通过率，把企业级 harness 摊在阳光下

MiniMax 开源 Code CLI：命令行编程工具亮出 76.7% 通过率，把企业级 harness 摊在阳光下

MiniMax 正式开源命令行 AI 编程工具 MiniMax Code CLI v0.4.12，源码已上架 GitHub，作为客户端核心组件，底层实现向开发者开放。该工具在 FrontierHarness Eval 评测中任务通过率达76.7%，成功任务耗时中位数4分33秒，两项均优于公开基线，兼具准确性与效率。

马斯克放豪言：AI 将使明年美国 GDP 增速翻番至 4%

马斯克放豪言：AI 将使明年美国 GDP 增速翻番至 4%

马斯克预测AI将使美国明年GDP增速从约2%翻倍至4%或更高，与主流机构观点相悖。晨星认为2027年经济增速将放缓，美联储加息增加不确定性；阿波罗预计2027至2029年AI资本支出或达GDP的3%；穆迪关注2027年美国科技企业芯片相关投入。

阶跃星辰发布Step5Preview，单任务成本仅为Claude Opus5的1&#x2F;8

阶跃星辰发布Step5Preview，单任务成本仅为Claude Opus5的1&#x2F;8

阶跃星辰发布旗舰基座模型Step5Preview，面向AI编程、软件工程、专业知识及金融等场景，提升Agentic任务表现并平衡智能、成本与效率。该模型在AA综合智能指数中跻身全球开源模型前三，单任务成本仅为Claude Opus5的1/8，采用稀疏MoE架构，计划10月15日正式开源。

Unity 官宣 Claude Code 与 Codex 插件：31 项开发技能把 AI 代理绑上游戏引擎

Unity 官宣 Claude Code 与 Codex 插件：31 项开发技能把 AI 代理绑上游戏引擎

Unity发布官方Claude Code与OpenAI Codex插件，为AI编程代理配备开发技能；Codex版含31项技能，支持新建项目及迁移至URP，适配Unity6及以上。此举针对通用AI写Unity代码常参照过时教程的问题。

LED显示屏产业迎"屏"凡时代：中国力量重塑全球显示版图

LED显示屏产业迎"屏"凡时代：中国力量重塑全球显示版图

<br />当拉斯维加斯球体馆的LED巨幕在夜幕下点亮1.2万块显示屏时，全球观众为之震撼。但鲜为人知的是，这座耗资23亿美元的沉浸式场馆，其核心显示模组超过六成来自中国供应商。从好莱坞虚拟制片棚到巴黎奥运会的直播大屏，从东京街头的智能广告牌到迪拜购物中心的全息橱窗，中国LED显示屏企业正以每年超15%的全球市场份额增速，改写由韩日企业主导三十年的产业格局。<br /><br /><br />20

特朗普宣布组建“人工智能部队”：AI 未来或占美国 GDP 的 25%

特朗普宣布组建“人工智能部队”：AI 未来或占美国 GDP 的 25%

据央视新闻报道，美国总统特朗普9月19日在社交媒体宣布将组建“人工智能部队”，并将任命一名人工智能事务“总管”。他称人工智能代表下一场工业革命或互联网浪潮，规模与影响力更大，甚至可能占美国GDP的25%。他还抨击民主党人“企图摧毁AI”。

Anthropic考虑推出新模型，拟应对OpenAI GPT-6Astra竞争

Anthropic考虑推出新模型，拟应对OpenAI GPT-6Astra竞争

路透社称，Anthropic筹备IPO期间拟推新AI模型，以应对OpenAI GPT-6Astra在企业市场的竞争，但安全性仍在评估，发布时间未定。此举与其CEO阿莫代9月12日呼吁放缓AI能力迭代、重视安全的主张形成对照。

SpaceXAI 推出 Grok Voice Transcribe 2.0：错误率砍半、价格纹丝不动，流式语音识别登顶榜单

SpaceXAI 推出 Grok Voice Transcribe 2.0：错误率砍半、价格纹丝不动，流式语音识别登顶榜单

9月18日，SpaceXAI发布语音转文本模型Grok Voice Transcribe 2.0，错误率降低约一半，价格未涨。该模型基于Grok Voice音频底座，已深度落地：日接数万通客服电话、转录数百万小时视频旁白，并驱动特斯拉车机Grok助手等硬件语音智能体。

ChatGPT 正式入驻 Word：免费用户也能用，办公文档里三套 AI 同台厮杀

ChatGPT 正式入驻 Word：免费用户也能用，办公文档里三套 AI 同台厮杀

OpenAI推出ChatGPT官方Word插件，向全球所有账号开放，免费用户可用。可整理笔记成初稿、生成摘要、调整语气、修格式、统一术语；付费及企业账号还能接入外部素材、保存常用技能，权益分级。

B站、抖音都在造“AI偶像”，谁来构建虚拟偶像的“粉丝经济”？

B站、抖音都在造“AI偶像”，谁来构建虚拟偶像的“粉丝经济”？

今年夏天，AI偶像开始以成套节目的方式进入大众视野。B站推出“AI偶像出道季”，吸引近万名创作者参与，累计产生1.6亿浏览量;抖音则上线“AI偶像星光计划”，还出现了“12星

最新网站

Jasper AI竞品份额分析

Jasper AI竞品份额分析

<br />竞品A（Jasper AI）近三个月市场份额由约14.6%降至9.8%，累计下滑4.8个百分点，呈"高位急跌—中段缓跌—低位盘整"的三段式走势。判断：短期难以逆转下滑，但已接近其付费专业用户的基本盘底部。<br /><br /><br />第一月：14.6%降至11.9%，环比-2.7pct，主因企业客户集中续约流失；第二月：11.9%降至10.4%，环比-1.5pct，降幅明显收窄；
LocalBanana

LocalBanana

LocalBanana是专注于 AI 图像 Prompt 收集与结构化的平台，帮助用户深入理解并高效利用 Prompt，提升创作能力。围绕 Nano Banana（Gemini）生态，将散落在各处的优质 Prompt 整理为可检索、可编辑的创作资产。
智策AI导航平台

智策AI导航平台

<br />智策AI导航（www.zhiceai.com）是一个专注于人工智能工具发现与评测的综合性导航网站。平台收录了全球超过5000个AI应用，覆盖自然语言处理、图像生成、视频制作、智能办公、教育培训、编程开发、数据分析、营销文案等20多个主流分类。站长、产品经理、设计师、学生及自由职业者都可以在这里快速找到适合自己工作流的AI工具，并获取实时更新的功能评测和优惠信息。<br /><br />
文心一言AI平台分析

文心一言AI平台分析

<br />文心一言是百度推出的新一代知识增强大语言模型，基于飞桨深度学习平台和文心知识增强技术，能够与人对话互动、回答问题、协助创作，高效便捷地帮助人们获取信息、知识和灵感。作为国内领先的AI对话产品，文心一言自发布以来持续迭代，已广泛应用于多个行业场景，成为百度AI技术战略的核心载体之一。<br /><br /><br />文心一言提供多种实用功能，包括智能问答、文本创作、代码生成、逻辑推理、
AI大百科

AI大百科

<br />AI大百科是一个专注于人工智能知识普及和工具推荐的综合性网站，旨在为AI爱好者、开发者、产品经理与企业决策者提供一站式信息入口。平台自2021年上线以来，已收录超过5000个AI工具与模型，涵盖自然语言处理、计算机视觉、语音识别、生成式AI、AI绘画、AI视频、AI办公等多个细分领域。网站以简洁的界面和清晰的分类著称，用户可以通过搜索或浏览标签快速找到所需资源，并查看每个工具的功能介绍
通义千问：阿里AI助手

通义千问：阿里AI助手

<br />通义千问是阿里巴巴集团推出的AI大模型产品，由阿里云开发并托管。它于2023年首次亮相，定位为面向中文用户的多功能智能助手，支持文本生成、代码编写、文档分析、多轮对话等任务。网站界面简洁，用户可以直接在浏览器中体验，无需下载应用，同时也提供API接口供开发者集成。<br /><br /><br />通义千问的主要功能包括：知识问答、创意写作、翻译润色、编程辅助、数据分析、学习辅导等。它
AI工具集导航

AI工具集导航

<br />AI工具集是一个专注于收录和推荐人工智能相关工具与资源的导航网站。它汇集了全球范围内数百款AI产品，覆盖文本生成、图像创作、音频处理、视频制作、编程助手、办公效率等多个领域。无论你是普通用户、开发者还是企业决策者，都能在这里快速找到适合自己的AI工具。<br /><br /><br />AI工具集的核心功能是分类展示和搜索。网站按照工具的应用场景进行细致分类，例如AI写作、AI绘画、A
Hugging Face AI平台

Hugging Face AI平台

<br />Hugging Face是一个致力于人工智能和自然语言处理的开源平台，提供海量预训练模型、数据集和工具，帮助开发者和企业快速构建、训练和部署AI应用。其核心产品包括Transformers库、Hub模型仓库、Spaces应用托管以及Inference API等，覆盖从研究到生产的全流程。<br /><br /><br />该平台以模型Hub为中心，支持TensorFlow、PyTorc
DeepMind AI研究平台

DeepMind AI研究平台

<br />DeepMind是一家位于英国伦敦的人工智能公司，成立于2010年，2014年被谷歌收购。作为全球领先的AI研究机构，DeepMind致力于开发通用人工智能（AGI），其研究成果在游戏、医疗、科学等多个领域产生了深远影响。DeepMind的使命是“解决智能问题”，通过将神经科学与机器学习相结合，推动AI技术的边界。<br /><br /><br />DeepMind最著名的成就是Alp
智谱AI官网

智谱AI官网

<br />智谱AI（北京智谱华章科技有限公司）是一家专注于人工智能大模型研发与应用的科技公司，成立于2019年，由清华大学计算机系知识工程实验室技术成果转化而来。公司以“让机器像人一样思考”为愿景，致力于打造安全、可控、可解释的通用人工智能系统。智谱AI在自然语言处理、知识图谱、多模态理解等领域拥有深厚积累，其核心产品GLM系列大模型已广泛应用于政务、金融、医疗、教育等多个行业。<br /><b
Midjourney

Midjourney

<br />Midjourney是一款基于人工智能的图像生成工具，由独立研究实验室Midjourney, Inc.开发。用户只需输入文字描述，即可生成高质量、富有创意的图片。自2022年公开测试以来，它迅速成为AI绘画领域的标杆产品，广泛应用于艺术创作、设计、广告和娱乐等行业。<br /><br /><br />Midjourney的核心功能是文本到图像生成，支持多种风格和参数调节。用户可以通过D
量子位AI网站分析

量子位AI网站分析

<br />量子位（QbitAI）是一家专注于人工智能领域的前沿科技媒体，成立于2017年，总部位于北京。网站以报道AI行业动态、技术突破、产业应用和创业公司为核心，内容涵盖机器学习、深度学习、自然语言处理、计算机视觉、AI芯片、自动驾驶等多个细分领域。量子位通过图文、视频、线下活动等形式，向技术从业者、投资者和科技爱好者传递高质量的AI资讯与深度分析。<br /><br /><br />量子位的
DeepMind官网

DeepMind官网

<br />DeepMind是谷歌母公司Alphabet旗下的人工智能研究实验室，成立于2010年，总部位于伦敦。该网站是DeepMind的官方门户，集中展示了其在AI领域的前沿研究成果、技术博客、学术论文以及研究人员团队。作为全球顶尖的AI研究机构之一，DeepMind致力于“解决智能问题”，并推动AI技术在社会各领域的应用。<br /><br /><br />DeepMind最广为人知的成就是
豆包AI官方网站

豆包AI官方网站

<br />豆包AI是字节跳动公司推出的一款人工智能助手，基于先进的大语言模型技术，为用户提供智能问答、文本创作、代码辅助、情感陪伴等多种服务。自发布以来，豆包AI凭借其自然流畅的交互体验和强大的理解能力，迅速成为国内最受欢迎的AI应用之一。用户可以通过网页端或移动端随时随地使用豆包，满足工作、学习和生活中的多样化需求。<br /><br /><br />豆包AI的核心功能主要包括智能对话、内容创
Toolify AI工具导航网站

Toolify AI工具导航网站

<br />Toolify AI是一个专注于人工智能工具聚合与推荐的导航网站，目前收录了全球超过5000款AI应用，涵盖文本生成、图像处理、视频创作、音频编辑、代码辅助、数据分析等多个领域。无论是普通用户还是专业开发者，都能在这里快速找到适合自己的AI工具。平台每天更新最新上线的AI产品，并基于用户真实反馈进行排序和分类，帮助用户节省大量搜索和筛选的时间。<br /><br /><br />Too
ChatGPT官网介绍

ChatGPT官网介绍

<br />ChatGPT是OpenAI开发的人工智能聊天机器人平台，于2022年11月30日首次发布。作为目前全球用户量最大的AI对话产品，ChatGPT基于GPT系列大语言模型，支持自然语言问答、文本生成、代码编写、翻译、摘要、创意写作等多样化任务。其官方网站不仅提供免费的Web端服务，还集成了付费订阅、API访问、插件生态和联网搜索功能，成为个人用户与企业用户接触前沿AI能力的重要入口。<b

Copyright © 2016 ~ 2024 大屏时代 (www.dapingtime.com) 联系QQ：88251776苏ICP备2020058979号-3 大屏头条