全部 未讀 (12221) ★ 收藏 (0) 🤖 人工智能 (7782) 📊 商业科技 (1917) 💻 软件编程 (1217) 📁 个人成长 (761) 🎨 产品设计 (214) 📁 生活文化 (130) 📁 媒体资讯 (80) 📁 投资财经 (76) 📁 AI 产品 (39) 📁 AI (5)
篩選中: 🏷️ Donald Knuth 共 2 篇 ✕ 清除篩選
12223
全部文章
12221
未讀
93
今日新增
0
收藏
📡 Poller 最後抓取: 1 小時前 (04-18 18:00)
BestBlogs 精選 (12202)

🏷️ 熱門標籤

AI Agent 1369 AI 智能体 737 Claude Code 656 Anthropic 650 LLM 564 AI 编程 536 OpenClaw 501 开源 444 AI 安全 409 Claude 400 AI 398 OpenAI 371 软件工程 359 开发者工具 348 生产力 308 GitHub 254 自动化 241 AI 基础设施 229 AI 开发 226 MCP 225
● Donald Knuth 利用 AI 解决哈密顿分解问题
📌 一句话摘要 传奇计算机科学家 Donald Knuth 成功利用 AI 解决了哈密顿分解问题，并用 Lean 语言编写了形式化证明，产出了一篇 14 页的论文。 📝 详细摘要 计算机科学泰斗 Donald Knuth 利用 AI 模型（Opus 4.6/5.4 Pro）解决了哈密顿分解问题的
📅 2026-03-29 23:00 (19 天前) Deedy 人工智能 1 分鐘 ★ 82
Donald Knuth AI 数学 Lean
● Knuth AI 辅助研究的原始文档
📌 一句话摘要 Donald Knuth 撰写的详细介绍其 AI 辅助哈密顿分解研究的论文直链。 📝 详细摘要 这条推文提供了 Donald Knuth 撰写的 PDF 文档的原始链接，该文档详细介绍了他在 AI 辅助下进行哈密顿分解研究的工作。这是前一条推文中所述内容的重要参考资料。 📊 文
📅 2026-03-29 23:00 (19 天前) Deedy 人工智能 2 分鐘 ★ 80
Donald Knuth 研究 数学 来源