Hacker News
new
top
best
ask
show
job
OpenAI attempts "First Proof" challenge
(
twitter.com
)
3 points
by
energy123
12 hours ago
1 comment
Davidzheng
10 hours ago
Note that they are claiming 6/10 solutions (yet to be independently verified).