最新发布第152页
排序
Claude用1300万行Lean代码把费马大定理交给机器验证
Claude完成大规模Lean形式化证明，GPT-6在开放数学问题基准中提交机器可验证结果，AI科学正在从生成答案转向交付证据链。
41天前
豆包推独立AI个人助手App小豆、Gemini Skills向免费用户开放后，AI大模型开始拼场景落地
这一天的 AI 行业动态有一个共同指向：AI 大模型不再只围绕参数、榜单和演示视频竞争，而是在代码开发、内容生产、办公入口、终端设备、商业化结算和安全治理里寻找真实落点。豆包AI个人助手独...
16天前
豆包开始收会员费，Claude抱走5GW算力：AI免费盛宴正在散场
豆包公开三档订阅价格，ChatGPT上线广告主平台，Anthropic锁定5GW算力，SubQ新架构把成本压到Opus的5%——AI免费盛宴正在散场，行业竞争转向算力、效率与商业化闭环。
8天前
云服务器 vs 物理服务器：如何选择最适合你的？
前言 服务器选择是每个站长都会遇到的问题。云服务器和物理服务器各有优劣，今天我们就来详细对比这两种服务器类型，帮助你做出最适合的选择。 什么是云服务器？ 云服务器是基于云计算技术的虚...
5个月前
