GPT-5.6 Sol Ultra 产生环双覆盖猜想的证明
Original
据报道，先进AI模型GPT-5.6 Sol Ultra成功地给出了图论中一个长期未解的环双覆盖猜想的证明。这展示了人工智能在复杂数学推理方面的重大进步。
Latest daily
2026-07-10 AI Daily
A daily snapshot generated from scored S/A stories, kept stable for quick catch-up and review.
Selected
7
Sources
6
Featured
7
More
0
Top highlights
Featured
NVIDIA BioNeMo 代理工具包加速端到端共折叠性能
Original
文章介绍了NVIDIA的BioNeMo代理工具包如何加速使用OpenFold3等模型进行的生物分子结构预测和共折叠任务，这些是药物发现中的大规模工作负载。该工具包提高了性能，有助于更快地进行药物发现研究。
基于JAX的LLM训练中通过主机卸载减少高带宽内存瓶颈
Original
本文讨论了一种在基于JAX的大型语言模型（LLM）训练中，通过将模型状态卸载到主机内存来克服高带宽内存（HBM）瓶颈的技术。它解释了如何将权重、梯度和优化器状态卸载到CPU内存，从而在有限的GPU内存上训练更大的模型，尽管会带来一定的性能权衡。该方法旨在扩展LLM训练的有效内存容量，同时保持实际的训练吞吐量。
OpenAI的GPT-5.6 Sol使用“相当不明确的提示”自主对较小的Luna模型进行后训练
Original
OpenAI宣布其GPT-5.6 Sol模型仅通过一个“相当不明确的提示”就自主对较小的Luna模型进行了微调。在内部递归自我改进基准测试中，Sol得分比GPT-5.5高出16.2分，这表明OpenAI正在接近实现“自动研究员”的目标。
Slack 推出基于代理的端到端测试以提高UI测试自动化的韧性
Original
Slack工程团队引入了一种AI驱动的端到端测试自动化方法，称为代理测试（agentic testing）。该方法使用AI代理根据意图执行工作流程，而非固定脚本，并在运行时适应UI和系统变化，旨在减少分布式系统中的脆弱测试，补充确定性测试策略。
OpenAI发布GPT 5.6并推出全新ChatGPT桌面应用
Original
OpenAI于昨晚正式发布GPT 5.6模型，并推出了重新设计的ChatGPT桌面应用（原Codex应用更名并界面改版）。新版本模仿Anthropic的产品命名，推出Sol等模型，同时将应用拆分为Work和Code两个标签页，但用户反映这种设计并不顺手。此外，新增了Site插件、移动端插件调用和基础能力升级。这些更新带来了新功能，但界面变化也可能导致用户暂时不适。
OpenAI员工绘制GPT-5.6 Sol五个推理级别与任务难度对应图
Original
OpenAI员工Vaibhav Srivastav绘制了GPT-5.6 Sol的五个推理级别，并建议用户从最低级别开始，仅在需要时升级。该模型还包括“Max”和“Ultra”模式，可并行部署多个子代理。