Ask HN: AI and Math Since AI is getting smarter by the day,would it not be more profitable for both man and machine for it to come up with more,harder Millenium problems? |
Ask HN: AI and Math Since AI is getting smarter by the day,would it not be more profitable for both man and machine for it to come up with more,harder Millenium problems? |
For kids, it's hard because it must be interesting and not too hard, mix some interesting math concept and some hidden part that makes it an interesting puzzle.
For a Millenium-like problem it's harder, because it must be interesting so mathematicians care about it, it must be hard so no one can solve it for a few decases, it must have some hints that is possible to solve it in a sensible amount of time (let's say a century!). It's more like discovering a meteorite than making a super nice porcelain pot.
There are plenty of open problems, so once the current wave of solutions in done I guess we will find a few that out of reach of the current LLM but we hope they can be solved in a sensible amount of time (let's say a century!).
Also an initial, cumbersome, complex proof is the first step to a more understandable, formalized proof. AI created a formal proof of Fermat's last theorem. I'm sure the initial proof was not comprehensible to all but a small subset of mathematicians anyway.
Brute forcing a counter solve has not really changed the game as much.