AI指南首页
AI工具
AI资讯
提示词
教程库
前端代码
大模型
Skills
GitHub
具身智能
AI指南首页
AI工具
AI资讯
提示词
教程库
前端代码
大模型
Skills
GitHub
具身智能
AI指南首页
/
标签聚合
/
数学逻辑
标签：
数学逻辑
共汇总 1 条相关内容，覆盖 1 个栏目
全部
1
AI资讯
1
Claude 读完哥德尔 1009 页手稿：挖出 440 余条未发表定理
芬兰逻辑学家 Jan von Plato 用 Claude 处理哥德尔 1940 年后写下的 16 本工作簿共 1009 页，几天内读完并挖出 440 多条未发表定理，其中涉及量子…
AI资讯
2026-11-15
