产品

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

官网 ↗来源 ↗

关于

DevTrends 收录的开发者产品。

收录记录

Show HN
2026年9月16日 · 1 次收录

讨论这个产品