undefined | Better HN

0 pointsChrisGreenHeur14d ago0 comments

80 minutes! 80 minutes of just trying shit!

0 comments

... shit that solved an apparently significant Erdős problem.

That is not nothing, no matter how much you hate AI.

It shows that AI is apparently very good at brute-forcing.

TOMDM14d ago

Are the human mathematicians who wanted to solve this problem just too stupid to brute force for 80 minutes?

This isn't brute force.

It is in the same way that educated guessing is.

j / k navigate · click thread line to collapse