GPT-6 Astra与研究员攻克9年开放难题,FrontierMath首现“重大进展”级解答
GPT-6 Astra与3名研究员完成一项自2017年提出的开放数学问题,成为 FrontierMath 基准中首个被攻克的“重大进展”级难题。相关 arXiv 论文称,Astra 提出了新的投票规则,并证明其满足 core+。论文作者 Dominik Peters 表示,这一证明形式优美,且相关技术可能推广到其他模型。Epoch AI 已将该题标记为“Human + AI”解决。

GPT-6 Astra与3名研究员完成一项自2017年提出的开放数学问题,成为 FrontierMath 基准中首个被攻克的“重大进展”级难题。相关 arXiv 论文称,Astra 提出了新的投票规则,并证明其满足 core+。论文作者 Dominik Peters 表示,这一证明形式优美,且相关技术可能推广到其他模型。Epoch AI 已将该题标记为“Human + AI”解决。

TechFlowPost 刊文指出,2026 年加密市场一边是 RWA、Stablecoin、ETF 和预测市场持续扩张,另一边却是以太坊基金会收缩、开源工具、DeSci 与公共物品项目长期缺乏稳定资金。文章认为,核心问题不只是熊市或资本偏好,而是公共价值缺少统一度量框架、标准披露格式和可验证账本。文中据此提出从经济价值、社会价值、归因、协议捕获、Token 承载到市场校准的六层分析框架,讨论公共价值如何被协议内部化并最终传导至 Token。

Pantera Capital 合伙人 Jay Yu 认为,GPU 算力的金融化仍处早期,但其长期演化路径与电力市场相似,未来可能成为类似原油、电力的大宗商品资产。文中将算力市场拆解为硬件、服务商、集群等层级,并讨论实物交割、指数、衍生品与融资工具等产品形态,同时指出价格透明度不足、基差风险偏高、质量控制困难等问题。

澳大利亚技术公司 Apate 部署了近 20 万个 AI 角色,假扮易受骗的受害者,通过电话、社交媒体和消息平台与诈骗分子周旋,目标是消耗对方作案时间并收集可执行情报。该公司称,在截至 2025 年底前的 6 周里,其机器人仅为澳大利亚电信运营商 TPG 就接入了 60 万通诈骗电话,累计浪费诈骗分子逾 500 天时间,对应减少的损失约为 1300 万美元。Apate 还表示,其系统会提取加密钱包地址、诈骗手法和账户网络等信息,服务对象覆盖银行、电信公司及一家区块链分析机构。

据《The Verge》报道,OpenAI 未公开模型 Astra 近期解出 10 个长期未解的数学问题,其中包括非 sofic 群存在性问题。OpenAI 发布了超过 250 页解法论文和 60 页思路说明,并用 Lean 验证正确性。成果公布后,数学界一边认可其突破,一边质疑 OpenAI 淡化了 Gábor Kun 等学者的前期研究贡献,担忧资源不平等、商业叙事挤压人类数学家的位置,以及年轻研究者的培养路径受冲击。

Atreides Management 创始人兼首席投资官 Gavin Baker 在播客中表示,7 月 AI 板块大跌与产业数据明显背离,GPU 租赁价格、DRAM 现货价格和 token 产出仍在加速。他认为市场误读了 Meta 出租算力、开源模型扩张和 CDS 利差走阔等信号,并称英伟达目前处于过去十年来最低的远期市盈率区间。Baker 同时把监管视为最大风险,讨论了内存长期协议、英伟达的新融资模式,以及 SpaceX 与轨道计算的潜在变化。

美国白宫确认正在构建战略比特币储备,但管理权归属存争议。美政府持有约32.8万枚BTC,占流通量1.6%。价格暂报6.3万美元,未来走势待观察。

Gensyn基金会12月15日在Sonar平台启动$AI代币销售,提供总供应量3%的3亿枚代币,FDV区间100万至10亿美元。测试网参与者可获最高2%奖励池的乘数加成。该网络已完成超200万模型训练、1.65万用户。
