【新智元导读】「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。40多年的计算
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
OpenAI宣布收购初创公司Ona，Ona提供安全、预配置的云环境，使人工智能代理能够访问所需的工具、系统和上下文。 OpenAI表示，Ona的技术将增强其编码助手Codex承担更长时间运行任务的能力，同时也将帮助更多用户把智能体顺利部署到生产环境中。 OpenAI未披露此次收购的具体条款，交易仍需满足惯例成交条件。完成后，Ona的员工将加入OpenAI的Codex团队。 近几个月来，随着软件�
荣耀MagicOS 11率先适配安卓17，推出安卓首个液态玻璃设计。系统以流光通透美学重构视觉，带来支持动态场景的液态玻璃效果，会随光影和交互变化，覆盖桌面、相册、锁屏等界面，并支持通透材质自定义。目前先锋版已开启小范围招募，首批适配Magic8系列四款机型，标志着安卓UI向通透材质、光影与动态交互的新方向升级。
荣耀宣布MagicOS 11先锋版开启小范围共创招募，率先适配安卓17并引入安卓首个液态玻璃设计，采用全新流光通透设计，提升系统视觉与交互体验。支持机型包括荣耀Magic8系列等，用户可通过“我的荣耀”App报名，审核后于6月24日至25日分批推送。液态玻璃设计强调透明感与光影变化，使界面元素呈现细腻反射折射效果，整体视觉一致性和交互灵动性更强。
腾讯云在2026 AI产业应用大会上发布CodeBuddy+ Security，结合自研AI深度审计引擎与静态分析工具Xcheck，解决AI时代漏洞激增及传统代码审计瓶颈。该产品采用“双引擎协同+工程化约束”策略，通过AI引擎专攻深层逻辑漏洞，Xcheck处理已知特征漏洞，并引入独立二次校验和PoC验证，确保漏洞真实可修复。目前已在NVIDIA、Google等主流项目中发现并协助修复多个有效漏洞，并逐步接入腾讯内部发布流水线，面向企业开放试用。
COMPUTEX 2026台北展上，智微智能展台人气爆棚，AI巨头黄仁勋亲临签名W638工作站，英特尔全球渠道主管Dave Guzzi也为N71轻薄本寄语。现场展示了AI工作站、Mini PC、笔记本等全系列产品，覆盖Intel/AMD/NVIDIA平台，支持从本地大模型部署到云端算力的多种方案。观众可近距离体验AI Agent对话、大模型推理及游戏互动，转盘抽奖活动更让智微IP徽章成为全场最受欢迎礼品。
小米正式发布并开源终端AI编程助手MiMo Code V0.1.0，基于OpenCode二次开发，采用MIT协议，个人和企业可自由使用修改。内置免费多模态模型MiMo-V2.5，性能对标Claude Sonnet 4.6，兼容主流大模型和第三方Token服务。独创持久记忆系统解决长会话信息丢失，Harness系统实现全流程自动化编程，实测在SWE-Bench等测试集得分高于Claude Code 5个百分点。支持语音输入、跨平台（Mac/Linux/Windows），界面全中文汉化，安装简洁。
技嘉科技在COMPUTEX2026上再创超频巅峰，携手CORSAIR VENGEANCE DDR5内存缔造DDR5-13556MT/s世界纪录，并在G.SKILL第12届OC World Record Stage超频大赛中勇夺10项全球第一。由知名超频达人Hicookie领军的技嘉超频团队，通过专为极限超频打造的Z890AORUS TACHYON DUO+X ICE主板成功刷新DDR5世界纪录。同时，团队受邀参加G.SKILL年度超频盛会，以全新X870AORUS INFINITY主板在多项竞赛中再创佳绩。该团队在AMD Ryzen™ 9950X3D处理器平台上，搭配G.SKILL Trident Z5 RGB内存，创下惊人内存超频成绩及10项全球第一纪录。技嘉主板凭借创新技术与卓越设计，持续成为PC玩家与超频爱好者的首选平台。
在COMPUTEX 2026上，联发科凭借Filogic 8000系列和Filogic 8800芯片获得两项Best Choice大奖，彰显其在Wi-Fi 8技术领域的领先地位。联发科自2024年起提前布局，主导标准制定，推出白皮书，并于CES 2025发布新一代芯片。获奖芯片实现吞吐量暴增200%、覆盖范围扩大220%、功耗降低50%，其中Filogic 8800更将端到端延迟降低700%，并引入AI智能诊断功能。Wi-Fi联盟主席盛赞此举是产业创新典范，标志着Wi-Fi 8已从概念走向可部署的现实技术。
华硕旗下电竞品牌ROG在COMPUTEX 2026展前发布20周年系列新品，涵盖主板、显卡、电源、机箱、显示器、路由器及外设等全生态产品。新品以极致性能为核心，融合20周年专属设计美学，包括曜金黑、ROG红、晶透光等配色，并引入AI驱动创新、全息投影风扇等黑科技。ROG强调"以玩家为先"理念，通过硬件、系统与沉浸式体验的全面升级，重新定义电竞标准，开启次世代电竞新篇章。
苹果日前发布了macOS 27 Golden Gate开发者Beta版本，已有首批用户升级测试。 有用户表示，这个测试版比macOS 26 Tahoe的稳定版运行更流畅，5年前的M1 Pro MacBook Pro卡顿问题基本消失，甚至8GB内存的M3 MacBook Air也有明显改善。 Reddit用户Pilingo在搭载M1 Pro的5年款MacBook Pro上安装了macOS 27开发者Beta，他表示Tahoe上的延迟、卡顿和整体迟钝感已经完全消失，应用启动更快，动画更顺滑，整个�
