全部 未讀 (38167) ★ 收藏 (0) 🤖 人工智能 (14374) 📊 商业科技 (6693) 📁 媒体资讯 (5347) 📁 投资财经 (3299) 📁 生活文化 (2836) 💻 软件编程 (2056) 📁 个人成长 (1967) 📁 体育运动 (1008) 🎨 产品设计 (535) 📁 AI 产品 (39)
篩選中: 🏷️ AI 与科研 共 1 篇 ✕ 清除篩選
38169
全部文章
38167
未讀
155
今日新增
0
收藏
📡 Poller 最後抓取: 1 小時前 (08-08 14:00)
BestBlogs 精選 (38096)

🏷️ 熱門標籤

AI Agent 3185 政策解读 1638 投资与市场 1418 AI 编程 1335 宏观经济 1300 产业动态 1274 国际新闻 1171 LLM 1154 Anthropic 1088 Claude Code 1038 社会议题 1018 国内新闻 987 地缘政治 938 OpenAI 892 科技新闻 886 AI 智能体 788 生活方式 705 开源 684 足球 680 个人成长 675
● 对话马骁：当 AI 可以量产证明，对数学家是好事吗？
📌 一句话摘要 本文是与密歇根大学数学家马骁的深度对话，聚焦其从椭圆面积出发的数学成长、与邓煜合作推导玻尔兹曼方程的工作，以及他转向 AI 数学证明智能体 qmd-prover 的实践与对 AI 改变数学的激进判断。 📝 详细摘要 这是一篇对密歇根大学数学家马骁的长篇人物访谈，涵盖学术成长、研究
📅 2026-08-02 11:17 (6 天前) DeepTech深科技 人工智能 2 分鐘 ★ 88
AI 编程 AI Agent 数学证明 AI 与科研