全部 未讀 (179) ★ 收藏 (0) 🤖 人工智能 (159) 💻 软件编程 (10) 📊 商业科技 (6) 🎨 产品设计 (4)
篩選中: 🏷️ AI4Science 共 1 篇 ✕ 清除篩選
179
全部文章
179
未讀
108
今日新增
0
收藏
📡 Poller 最後抓取: 50 分鐘前 (03-11 04:00)
BestBlogs ��� (179)

🏷️ 熱門標籤

AI Agent 26 OpenClaw 20 AI 智能体 14 Claude Code 9 强化学习 8 Gemini 8 开源项目 7 AI 基础设施 7 RAG 7 软件工程 7 Gemini Embedding 2 7 LLM 5 MCP 5 开源 5 Google Workspace 5 Google DeepMind 5 Cursor 4 AI Coding 4 AI 编程 4 Vibe Coding 4
● 陶哲轩对谈 OpenAI 高管：“试错成本”无限趋零，AI 正在把数学变成一门重工业
📌 一句话摘要 陶哲轩与 OpenAI 高管 Mark Chen 深度探讨了 AI 在数学领域的范式转移，强调数学的零试错成本与形式化验证是推动 AI 推理能力进化的核心引擎。 📝 详细摘要 本文记录了顶级数学家陶哲轩与 OpenAI o1 系列负责人 Mark Chen 的巅峰对话。核心内容聚
📅 2026-03-10 08:24 (20 小時前) AI科技大本营 人工智能 2 分鐘 ★ 94
陶哲轩 OpenAI o1 强化学习 形式化验证