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
- When Simple Rules Beat AI: A Frozen Ride-Hailing State Machine at Dulles — shashib · 2026-10-16
- User Receives $193 State Refund Check Thanks to AI Tool Muse — billyjhowell · 2026-10-16
- Beff Jezos: Google Keyboard's On-Device Speech-to-Text Is Low-Key Insane — beffjezos · 2026-10-16
- AI social gaming platform Astrocade hits 10 million monthly active players — andrey_kurenkov · 2026-10-16
- No-dev-experience game built in 6 weeks with Claude orchestrating Unity and asset pipeline — Gambo7592 · 2026-10-16
- 75-80% of my AI requests now go through Dots: a power user's month-long review — nickbaumann_ · 2026-10-16