全部 未讀 (21615) ★ 收藏 (0) 🤖 人工智能 (11168) 📊 商业科技 (4461) 💻 软件编程 (1685) 📁 个人成长 (1605) 📁 生活文化 (857) 📁 媒体资讯 (827) 📁 投资财经 (529) 🎨 产品设计 (408) 📁 AI 产品 (39) 📁 体育运动 (28)
篩選中: 🏷️ AI 数学 共 4 篇 ✕ 清除篩選
21617
全部文章
21615
未讀
204
今日新增
0
收藏
📡 Poller 最後抓取: 12 分鐘前 (06-08 20:00)
BestBlogs 精選 (21582)

🏷️ 熱門標籤

AI Agent 2157 AI 编程 985 Anthropic 981 Claude Code 916 AI 智能体 780 OpenAI 745 LLM 674 开源 574 OpenClaw 557 Claude 557 AI 517 AI 安全 490 开发者工具 432 Codex 416 软件工程 398 具身智能 334 Agent 334 个人成长 331 GitHub 321 生产力 315
5 篇 AI 生成的数学论文被接收!00 后创始人洪乐潼融资 14 个亿
📌 一句话摘要 AI 初创公司 Axiom Math 提交的 8 篇数学论文中有 5 篇被学术期刊接收,其 AI 系统 AxiomProver 能生成形式化证明,创始人洪乐潼已为公司融资 2 亿美元。 📝 详细摘要 本文报道了 AI 数学初创公司 Axiom Math 的最新进展。该公司由 20
📅 2026-05-28 16:11 (11 天前) 梦晨 人工智能 2 分鐘 ★ 86
Axiom Math AI 数学证明 形式化验证 洪乐潼
2026-05-22 Hacker News Top Stories #
📌 一句话摘要 本文精选了 2026 年 5 月 22 日 Hacker News 十大热门话题,涵盖 OpenAI 模型推翻离散几何猜想、Flipper One 开源硬件、AI 抄袭争议、谷歌搜索变革及 SpaceX 上市等多元技术热点。 📝 详细摘要 文章汇总了 Hacker News 上近
📅 2026-05-22 15:57 (17 天前) HackerNews 媒体资讯 2 分鐘 ★ 85
Hacker News 技术热点 AI 数学证明 开源硬件
李建忠对话菲尔兹奖得主 Timothy Gowers:整个数学研究的范式将被 AI 改变
📌 一句话摘要 菲尔兹奖得主 Timothy Gowers 在与李建忠的对话中,深入探讨了 AI 将彻底改变数学研究范式、模式匹配与逻辑推理的界限模糊、以及数学教育在 AI 时代的新价值等核心议题。 📝 详细摘要 本文是奇点智能研究院院长李建忠与菲尔兹奖得主 Timothy Gowers 教授在
📅 2026-05-20 12:00 (19 天前) AI科技大本营 人工智能 2 分鐘 ★ 86
Timothy Gowers 菲尔兹奖 AI 数学 数学研究
AI「生肉证明」堆爆 GitHub!陶哲轩重磅发声:只会解题没用了
📌 一句话摘要 陶哲轩提出数学正从「证明稀缺」进入「证明过剩」时代,AI 大量生成未经消化的「生肉证明」,数学家的核心竞争力正从「生成证明」转向「验证与消化」,学术评价体系面临重构。 📝 详细摘要 文章报道了陶哲轩在 Mastodon、Nature 访谈和博客中同步发出的重磅判断:数学正在从「证
📅 2026-04-30 13:00 (04-30 13:00) 新智元 人工智能 2 分鐘 ★ 88
陶哲轩 AI 数学证明 证明过剩 生肉证明