Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
FrasiertheLion
2mo ago
0 comments
Save
Share
It's 80 minutes, not 80 hours.
0 comments
4 comments · 2 top-level
top
newest
oldest
ChrisGreenHeur
2mo ago
· 2 in thread
80 minutes! 80 minutes of just trying shit!
peteforde
2mo ago
... shit that solved an apparently significant Erdős problem.
That is
not nothing
, no matter how much you hate AI.
userbinator
2mo ago
It shows that AI is apparently very good at brute-forcing.
2 more replies
jasonfarnon
2mo ago
and you can be sure mathematicians spent way more than 80 hrs on it
j
/
k
navigate · click thread line to collapse
