开发者做交互工具,可探索 OpenAI 722 篇数学论文全部成果
mhmazur · x · 2026-10-07
一位开发者为 OpenAI 发布的数学成果合集做了一个交互式浏览工具,方便社区探索其中的数学结果。
工具亮点:
- 语义搜索 722 篇摘要:可按含义检索,比如搜「更快的乘法方法」而不必知道论文标题
- 结果地图:372 个结果按相似度排布、按领域着色
- A-Z 索引:覆盖 500 多个被点名讨论的猜想与问题及其结论
- 逐条详情页:每个结果附 PDF、LaTeX 源码、BibTeX,并注明其 Lean 形式化覆盖了什么
- Lean 覆盖度统计:按领域统计,并与 IAS 顾问组的建议对比
- 社区反应:收录数学家和 OpenAI 人员的推文
「应用」频道最新
- Charming 发布：为普通人做个人小应用，像共享文档一样分享 — thisguyknowsai · 2026-10-07
- 开源版 ChatGPT Spaces：3.4k star，53 模型可自托管 — matchaman11 · 2026-10-07
- 工程师自建 Grok Bot 监控邮件,自动打理整个行程规划 — jeff_weinstein · 2026-10-07
- 开源工具 MoneyPrinterTurbo 星标破 12.5 万,一个关键词全自动产出短视频 — CodeByPoonam · 2026-10-07
- Bolt 推出预览点选评论功能,点哪改哪替代截图反馈 — JaynitMakwana · 2026-10-07
- 被要求现场演示 dots,jxnl 让它排 50 天行程，结果真能跑通 — jxnlco · 2026-10-07