Company profile

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

Website

Observed stack evidence

• discussion=https://news.ycombinator.com/item?id=49717545, title=Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

Open listings (0)

No open listings tracked right now.

Sign in to track All companies