Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
golol
1y ago
0 comments
Save
Share
The point is not to compare AI and humans, it is to compare AI and IMO-level math problems. It's not for sport.
0 comments
2 comments · 2 top-level
top
newest
oldest
lolinder
1y ago
They're literally comparing AI to human IMO contestants. "DeepProof solves 4/6 IMO problems correctly" would be the non-comparison version of this press release and would give a better sense for how it's actually doing.
1 more reply
kenjackson
1y ago
Exactly. The point is what can we eventually get AI to solve problems which we as humans can’t. Not if we can win the IMO with a computer.
j
/
k
navigate · click thread line to collapse
