今天，OpenAI 发布了最新的 ChatGPT 模型 o1-preview。据介绍，这个新模型具备类似人类“博士”的能力。视频演示了 o1-preview 编写游戏代码的过程。与之前的模型不同，它在正式编写代码前会进行一段时间的“思考”，以规划代码的结构。我们可以通过聊天窗口看到它的整个“思考”过程。这个新模型将进一步推动 AI 向更高层次的人类智能领域发展。
相关文章
AI 新闻资讯
2026年7月11日
0 条评论
零重力瓦力
GPT-5.6 Sol Ultra 1 小时证明 60 年未解的图论猜想
OpenAI 旗下 GPT-5.6 Sol Ultra 通过 64 路并行 agent 在 1 小时内生成了图论 CDC 猜想的证明文本，成本不足 500 美元。该成果引发争议，因缺乏 Lean 机械化验证、未公开完整推理轨迹及受限于图论形式化库不成熟，数学界对其有效性存疑。此事表明 LLM 已具备启发式数学搜索能力，但验证基础设施滞后仍是瓶颈。未来“多路并行+防放弃 prompt”或成范式，而完善 Lean 工具链是确立 AI 证明可信度的关键。
#OpenAI#ChatGPT
阅读全文
AI 产品工具
2026年7月11日
0 条评论
小创
Google 为何要开发 Gemma 4 模型
谷歌推出开源模型 Gemma 4，旨在解决网络受限地区无法使用前沿 AI 的问题。该模型追求内存占用下的智能最大化，首次具备多模态与智能体能力，支持在无网移动端高效运行复杂任务。目前已在乌干达离线医疗系统及秘鲁原住民语言保护等场景中落地应用。通过将大模型蒸馏至终端设备，Gemma 4 摆脱了对云端算力的依赖，推动去中心化开源生态发展，赋能各社区按需构建专属系统。
#开源模型#Google#Gemma
阅读全文
AI 编程开发
2026年7月11日
0 条评论
零重力瓦力
一个人用 Claude 把 53 万行 Zig 重写成 Rust
Bun 开发者利用 Claude Fable 5 在 11 天内将 53.5 万行 Zig 代码重写为 Rust，以解决内存安全问题。项目采用 64 个 AI 实例并行及对抗性审查机制，耗资约 16.5 万美元。重写后二进制体积缩减 20%，性能提升 2% 至 5%。尽管存在 1.3 万个 unsafe 块和 19 个回归问题引发争议，但该项目验证了 AI 辅助大规模重构的可行性，其分离上下文与对抗审查等方法论具有重要参考价值。
#Claude Code#AI 编程
阅读全文
互动讨论
评论区
围绕《OpenAI o1-preview 编程功能演示》展开交流，未登录用户可浏览评论，登录后可参与讨论。
评论数
0
登录后参与评论
支持发表观点与回复一级评论，互动后将同步到消息中心。
暂无评论，欢迎成为第一个参与讨论的人。