AI
.news
教程
研究
工具
模型
AI创业
讨论
新闻
WIKI
搜
搜
🚀 创业库
★ 投稿
登录
主页
教程
研究
工具
模型
AI创业
讨论
新闻
每日简报
WIKI
│
🚀 创业库
★ 投稿
AI+
医疗
机器人
教育
金融
能源
健康
娱乐
思考
Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] | AI.News
← 返回首页
·
💬 讨论
·
原文链接 ↗
Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]
raw.githubusercontent.com
分享
⚠️ 无法提取正文
该页面需要 JavaScript 渲染，或限制了爬虫访问（常见于微信公众号、知乎专栏等）。
打开原文 (raw.githubusercontent.com) →