I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

비슷한 프로덕트

설명이 비슷한 순

1. Open Source Version of AI "Math Notes" from Apple WWDC

   github.com

   Open Source AI Math Notes

   HNHacker News13점

2. Created an AI for myself to achieve goals

   zropi.com

   it might help you guys too

   HNHacker News6점

3. I'm a teacher and built an AI presentation tool

   news.ycombinator.com

   I'd love it if you could have a look at it and give me some of your feedback.

   HNHacker News260점

4. I made a math puzzle game. Hope you like it

   madmonk13.github.io

   I've been playing with this for quite some time and I think it's finally ready for public consumption.

   HNHacker News35점

5. CAD with AI

   cadwithai.com

   HNHacker News8점