TheoremDB：分享 AI 辅助解决数学问题的社区平台
2299sacramento · reddit · 2026-08-17
TheoremDB.org 是一个新发布的平台，旨在让用户提交并分享由 AI 辅助解决的数学问题和证明。该站点致力于收集各种利用 AI 工具攻克数学难题的案例，为社区提供参考和探索资源。
「应用」频道最新
- 机场叫车被困两小时:为什么简单规则比 AI 更该先做好 — shashib · 2026-10-16
- 用户晒 $193 州政府退款支票,归功于 AI 工具 Muse — billyjhowell · 2026-10-16
- Google 键盘端侧语音转写近乎零延迟,Beff Jezos 大赞好用 — beffjezos · 2026-10-16
- AI 社交游戏平台 Astrocade 月活突破 1000 万 — andrey_kurenkov · 2026-10-16
- 零基础用 Claude 六周做游戏:Opus 编排全流程资产管线 — Gambo7592 · 2026-10-16
- Dots 一个月吃下 75-80% AI 请求，用户称不再逐个管线程 — nickbaumann_ · 2026-10-16