alt Hacker NewsThe reason this was "easy" is because the conjecture turned out to be false. If the collatz conjecture holds true (and most mathematicians seem to think it will), it will be much harder to prove than your average Erdos problem.
Replies
llelouch • yesterday at 5:10 AM
True but Noam brown (openai researcher) said that in 2 years AI will start creating new math.
➕ show 2 replies
aizk • yesterday at 5:20 AM
Give the llms a few years, they'll be smart enough to make progress on that.
I think parent’s point is that every false conjecture can cost a lot of time to be spent on futile affirmative proofs. So if we “clean up” a bunch of false conjectures, then more effort can be spent on interesting proofs of the others. (Probably a rather naive view of the value of conjectures but I’m just offering an alternative interpretation of the comment.)