← Latest products

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

Visit raw.githubusercontent.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Open Source AI Math Notes

    Hacker News13 pts

  2. it might help you guys too

    Hacker News6 pts

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

    Hacker News260 pts

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

    Hacker News35 pts

  5. CAD with AI

    cadwithai.com

    Hacker News8 pts