全部 未讀 (40366) ★ 收藏 (0) 🤖 人工智能 (14655) 📊 商业科技 (7023) 📁 媒体资讯 (5965) 📁 投资财经 (3783) 📁 生活文化 (3172) 💻 软件编程 (2084) 📁 个人成长 (2010) 📁 体育运动 (1063) 🎨 产品设计 (559) 📁 AI 产品 (39)
篩選中: 🏷️ 洪乐潼 共 1 篇 ✕ 清除篩選
40368
全部文章
40366
未讀
290
今日新增
0
收藏
📡 Poller 最後抓取: 1 小時前 (08-15 20:00)
BestBlogs 精選 (40295)

🏷️ 熱門標籤

AI Agent 3305 政策解读 1761 投资与市场 1539 宏观经济 1431 AI 编程 1388 产业动态 1358 国际新闻 1291 LLM 1202 社会议题 1114 Anthropic 1100 国内新闻 1069 Claude Code 1046 地缘政治 1016 科技新闻 926 OpenAI 908 AI 智能体 790 生活方式 774 个人成长 712 具身智能 711 足球 706
● 5 篇 AI 生成的数学论文被接收！00 后创始人洪乐潼融资 14 个亿
📌 一句话摘要 AI 初创公司 Axiom Math 提交的 8 篇数学论文中有 5 篇被学术期刊接收，其 AI 系统 AxiomProver 能生成形式化证明，创始人洪乐潼已为公司融资 2 亿美元。 📝 详细摘要 本文报道了 AI 数学初创公司 Axiom Math 的最新进展。该公司由 20
📅 2026-05-28 16:11 (05-28 16:11) 梦晨 人工智能 2 分鐘 ★ 86
Axiom Math AI 数学证明 形式化验证 洪乐潼