# 验证的所有文章

MIT教授绝望：OpenAI攻克的千禧年难题，人类已经看不懂了

最近，数学界因OpenAI的研究成果而震动。据报道，OpenAI发表了大量论文，声称攻克了包括Navier-Stokes方程在内的多个著名数学难题。然而，这些由AI生成的证明极其复杂、反直觉，甚至麻省理工学院的教授也坦言难以理解。这引发了深刻担忧：当AI得出的结论正确却超出人类理解范围时，我们该如何应对？ 菲尔兹奖得主陶哲轩提出了一个思想实验：如果AI给出了一种能通过临床试验但机理完全未知的癌症疗法，人类敢使用吗？这凸显了AI在“可解释性”与“对齐”上的核心困境。 同时，AI的介入正在冲击学术体系。论文投稿量暴增，人类审稿力不从心，学术质量面临挑战。科研竞争可能演变为算力与资源的比拼，引发成果归属的伦理争议。 尽管AI能在现有知识框架内进行强力推演，但MIT学者指出，真正的理论创新——从无到有地创造新概念——仍是人类的长处。未来，AI可能负责生成“答案”，而人类则需承担“理解”与“验证”的艰巨任务。因此，学习数学、培养提出关键问题和判断AI成果价值的能力，对人类而言变得更为重要。

marsbit前天 00:01

全球17大顶级AI实验室大逃杀，惨遭集体翻车，GPT-5.6与Opus断层领先

2026年，AI Agent已能走进真实量子实验室，操作昂贵精密设备。但“会做一次”不等于“能可靠完成”，AI的幻觉可能导致严重物理后果。为此，研究团队提出“验证自治”概念，并创建虚拟量子实验室Quantum-Harbor和评测基准QIQCBench，对17个顶尖AI Agent进行极限测试。 测试包含49项真实量子工程任务，采用“证据绑定评分”，严格核查AI结论是否由其实际采集数据支撑、逻辑是否一致、策略是否具备物理鲁棒性。结果发现，模型能力出现巨大断层。GPT-5.6与Claude Opus等头部模型表现惊艳，能识别陷阱、优化资源，在部分任务中通过率达78%。而多数模型却在资源约束和多体物理推断等任务中集体翻车，或陷入死循环耗尽预算，或给出无法验证的结论，平均通过率极低。 测试表明，语言能力与解决真实物理问题的能力存在鸿沟。AI要真正用于自主科研，必须跨越“可验证的自主性”这一门槛。目前，团队已将评测环境开源，并发起挑战赛，推动AI在精密科学领域的可靠发展。

marsbit10/10 11:36

用不着Ctrl+F了，全新AI论文工具，帮你在原文献里海里捞针

近期，GitHub上线了一款名为Open Academic Paper Gen的AI论文生成工具。它不仅能够根据研究主题自动生成带参考文献的论文初稿，其核心亮点在于能对文献进行深度核验。 该工具在获取文献全文后，会定位与引用观点相关的具体段落，结合上下文判断原文是否真正支撑论文中的表述，并可在注释中标注PDF页码，帮助用户溯源核查。这解决了AI生成内容可能断章取义或曲解原意的问题。 工具采用多智能体工作流，将论文写作分解为九个阶段：确定研究范围、检索文献、清理筛选、分析趋势、寻找切入点、列提纲、写作、核验和导出。用户提供主题后，它会提取关键词，从多个学术数据库搜索论文，并进行去重、评分和筛选，还会通过参考文献链扩展文献池。 收集到的文献会被整理成证据表。系统随后分析研究趋势，提出潜在的研究角度和空白，并进行“创新性诊断”，评估切入点并预判审稿人可能提出的质疑。 在引用核验环节，它执行三道检查：首先确保引用标识对应文献池中存在的论文；其次核对文献的元数据（如DOI、标题、作者）准确性；最后深入文献内容，匹配原文段落以验证是否支持正文观点。若证据不足或无法获取全文，会标记为“无法判断”或“未核验”，而非直接认定为正确。 该工具支持交互式分步运行或全自动模式，输出格式包括Markdown、LaTeX及多种参考文献格式。其设计思路侧重于为AI辅助写作提供可靠的文献核查抓手，而不仅是追求一键成文。项目由开发者“猫叔”创建。

marsbit10/10 02:22

Mysten Labs 正在开发用于验证AI智能体行为的系统

区块链公司Mysten Labs与云服务和AI供应商Google Cloud正在合作开发一套名为Verifiable Agent Arbiter（VAA）的系统。该系统旨在帮助企业验证其AI代理是否在授予的权限范围内行动。 VAA将把代理工作的详细数据——包括用户请求、模型回复、工具调用和规则决策——存储于客户管理的Google云存储中。这些数据的加密证明将由面向AI的数据存储平台Walrus保管，而Sui区块链将负责协调整个系统的工作。

cryptonews.ru10/07 18:31

以太坊在Sepolia测试网上启动Glamsterdam：以太坊将发生哪些变化

以太坊将于10月6日在测试网Sepolia上激活名为“Glamsterdam”的重大升级，旨在为主网的未来升级铺平道路。此次更新融合了执行层（Amsterdam）和共识层（Gloas）的改进，核心目标是在不显著提高节点硬件要求的前提下，提升以太坊主网（L1）的处理能力。 主要技术变更包括： 1. **内置提议者-构建者分离（ePBS）**：通过EIP-7732将此机制直接纳入协议，减少对外部中间件的依赖，为验证者提供更多时间验证交易负载。 2. **区块级访问列表（BAL）**：通过EIP-7928引入，帮助客户端更好地识别交易间依赖关系，从而实现并行读取状态和验证交易，提升网络并行处理能力。 3. **Gas费用经济调整**：多项EIP（如8037、8038）将调整各类操作（如创建新状态、访问状态）的成本，使Gas费用更真实地反映网络资源消耗，以控制状态数据的长期增长。 Glamsterdam是继Fusaka后以太坊扩容战略的延续，重点在于提升L1的吞吐量、并行处理效率并管理状态增长。本次Sepolia的激活仅为测试，后续还需在Hoodi测试网上验证，主网升级预计不早于2026年第四季度。普通ETH持有者无需采取任何行动，此次升级主要面向开发者、验证者和基础设施团队。升级的成功与否将影响以太坊未来扩容的可行性，但短期与ETH价格无直接关联。

cryptonews.ru10/06 09:03

Optimism Kona v1.8.0 强化了故障证明执行与异常批次处理

bitcoinist10/02 08:48

Cardano在巴西找到了重要合作伙伴：石油巨头将航空燃料引入区块链！详情如下

巴西国有能源公司Petrobras正在基于Cardano区块链平台开发两个项目，旨在监控环保航空燃料和可再生柴油的数据。Petrobras作为巴西最大的公司之一，已开始利用Cardano区块链来验证与低碳燃料相关的环境数据。这些计划包括一个环保航空燃料项目和一个生产部分采用可再生原料的柴油项目。其中，航空燃料项目的目标是防止多家公司同时对使用环保燃料带来的减排效益重复申领权益。在这种“核算与声明”模式下，即使燃料实际用于其他航班，航空公司仍可购买其环保权益。因此，必须可靠记录权益的原始所有者、转让方以及使用日期。

cryptonews.ru10/01 08:40

Chainlink发布新版跨链协议

Chainlink 正式发布了其跨链互操作协议（CCIP）的重大更新版本，主要面向金融机构和数字资产发行方。新版本引入了增强的交易验证机制、内置的合规工具以及更灵活的转账设置。关键升级在于 Cross-Chain Verifier 机制，该机制支持运行第三方交易验证节点或接入额外的服务提供商，旨在为链上金融提供更安全可靠的基础设施。

cryptonews.ru09/28 17:18

丘成桐弟子带AI狂写470万行，庞加莱猜想证明首次被机器完整验证

由丘成桐弟子Ben Chow教授领衔的四人团队，借助AI辅助工具，首次将千禧年难题庞加莱猜想的完整证明形式化为代码。团队使用证明助手Lean，将Hamilton和佩雷尔曼的证明过程转化为约470万行代码，其中约270万行在最后两周由ChatGPT、Claude等AI加速完成。所有代码均通过Lean内核验证，无任何未完成步骤。 整个证明的依赖链涉及约402万行代码，佩雷尔曼原始论文对应的部分仅占约66万行，其余大部分为基础数学工具的详细形式化。核心工具Ricci流及其相关的“典范邻域定理”和“手术”过程均被严谨编码。证明的最后部分还结合了Moise定理，以搭建拓扑流形与光滑结构之间的桥梁。 该项目展现了人机协作的新研究范式：资深数学家把握方向，年轻研究者与AI协同完成大量代码编写与验证，最终由机器内核确保证明的绝对严谨。这标志着形式化验证与人工智能在解决重大数学难题方面的巨大潜力，可能开启数学研究的新时代。

marsbit09/28 09:18

以太坊将不再仅仅是一个区块链：Vitalik Buterin公布了其2030年前的规划！以下是详细信息

以太坊联合创始人维塔利克·布特林公布了以太坊到2030年的长期转型计划。根据其愿景，未来的以太坊将不再仅仅是传统的排队处理交易的区块链，而是演变成一个融合区块链、现代密码学和去中心化链外计算系统的混合架构。该计划的核心是采用密码学短证明来验证计算结果，而非依赖网络每个节点重复执行相同计算。这一转变旨在显著提升网络吞吐量，并允许用户以更低的硬件要求独立验证结果，最终目标是使以太坊成为一个更快速、更注重隐私且易于验证的“密码学世界计算机”。

cryptonews.ru09/28 06:45