Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]
(
raw.githubusercontent.com
)
5 points
by
kbr-
8 hours ago
