I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]
Reactions (1)
Similar products
by description similarity
Open Source AI Math Notes
it might help you guys too
I'm a teacher and built an AI presentation tool
news.ycombinator.comI'd love it if you could have a look at it and give me some of your feedback.
I made a math puzzle game. Hope you like it
madmonk13.github.ioI've been playing with this for quite some time and I think it's finally ready for public consumption.
CAD with AI
cadwithai.com