TheoremDB: Share AI-Solved Math Problems
2299sacramento · reddit · 2026-08-17
TheoremDB.org is a newly launched platform where users can submit and share math problems and proofs solved with AI assistance. The site aims to collect various cases of using AI tools to crack mathematical challenges for community reference and exploration.
More from Apps
- User uses Codex to extract kid's after school schedule from inbox — petergyang · 2026-08-17
- Claude website appears to be down — nabeards · 2026-08-17
- Hermes Agent Desktop Bots Mode Coming Soon; NousResearch Praised for Fast Iteration — Teknium · 2026-08-17
- Dev Response: 3D Cloud Demo Runs 60fps on M1 Pro with Right Settings — jasonkneen · 2026-08-17
- Free OSS tool lets you create Grok-style SVG mascot animations — iannuttall · 2026-08-17
- Claude Researches GitLab Founder's Cancer Data Using New Tool Access — ctjlewis · 2026-08-17