Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]
27d
5
1
- Published
- Collected
Read the full article at news.ycombinator.com
overfeed.news indexes and links. We publish a short excerpt — the full article stays at Hacker News (AI).
