zlacker

[return to "AI just proved Erdos Problem #124"]
1. WhyOhW+Zo2[view] [source] 2025-12-01 03:44:57
>>nl+(OP)
I predict the way AI will be useful in science from the perspective of mathematics is by figuring out combinatorially complex solutions to problems that would otherwise not be interesting to (or far too complex to be comprehended by) humans. With such capabilities it could be imagined then that the AI will be useful for designing super materials, or doing fancy things with biology / medicine, and generally finding useful patterns in complex systems.
◧◩
2. blueca+8G2[view] [source] 2025-12-01 06:56:00
>>WhyOhW+Zo2
I think it will be even more helpful to know a simple proof doesn't exist because AI has tried for long enough and didn't find it. Once people know there is no easy proof of say Collatz or Twin Primes Conjencture those will not be as alluring to waste your time on.
[go to top]