alt Hacker NewsI wonder if we’ll end up in a weird situation a decade from now, where every conjecture will collapse into one of two states: counterexample found by AI, or assumed to be true.
Replies
AIiscoming • yesterday at 9:33 PM
Might be a lot faster than you think.
I'm wondering though when we as a society / all the normal money flowing into universicites and research start to recupe and invest AI resources more deliberate.
Like are we working with ai on superconductors (easiest example i have, i don't know enough math).
Whats the most 'math' we need to advance for human progress?
➕ show 1 reply
vouaobrasil • today at 1:11 AM
No way. Mathematicians don't assume things to be true even if there are no counterexamples.
➕ show 2 replies
Conjectures are always assumed to be true until a counter-example could be found/constructed. That's why they are an interesting conjecture in the first place.