Is it really over for mathematicians?
>>17029819No. Not yet. But for now, top level research will involve a lot of prompting ChatGPT. Also, having access to the best models will be essential.
so with the right prompt I can haz nobels?
>>17029819No, but the job description for mathematicians is going change, though. Instead of discovering new math, their new job is appreciating and understanding the math AI comes up with.
>>17029819I don't see how this would be any different for mathematician than when computers arrived. Before computers they didn't even know if the Euler's conjecture was true. Then they just checked with a computer and disproved it. This could be the same thing. Just prompt your AI to read a bunch of papers and ask if they could either help you prove or disprove a conjecture.
>>17029841hahaha, no, that's also outsourced to AIs.
>>17029819yeah, and whats solving math equations gonna do? its not like we're getting superconductors or laser beams from just math.
>>17029848>Before computers they didn't even know if the Euler's conjecture was true.I'm suprised to see that someone could understand this sentence. Are you telling me that there was only one unanswered question coming from Euler's work? Out of the hundreds of things named after him, 99.9% were concrete results and only a single "further work will be needed to settle this matter" one?
>>17029859Once math has been mastered, AI moves to solve physics next. Our primitive brains have had to rely on experiments to come up with laws of physics, but AI is going to turn this whole thing upside down. With its superb mastery of mathematics, AI is going to build a mathematical model of our physical universe from first principles without relying on any experimental data. Experiments will only be used to validate the mathematical model and the new predictions it makes.
>>17029863I'm sorry, but I had to look different conjectures by Euler, and could find 2 that couldn't be resolved without computers. The one I'm refering to was the sum of powers conjecture, which got disproven in 1966. The other one was about Greaco-Latin squares, which got disproven in 1959.
>>17029875Thanks, i couldn't believe Euler had such power. His reputation precedes him anyway.
>>17029819The failure of Hilbert's program indicates no, it's not over
>>17029819Yes. Luddites lost and mathtrans lost too
>>17029819No. We are now taking the back seat and letting the machines find our shits. As for real job most of us never had one.
>>17029864I can't wait for AI to disprove dark matter.
>>17029880>i couldn't believe Euler had such power. His reputation precedes him anyway.What have you done with your life, nigga?
>>17029819Uncle Ted thought it’s over
>>17029841>there will be an omnipotent machine god>only a few mathematicians will be able to speak with it>they will form a priesthood when they pass on the machine gods will to mankindWe are going to live in the 40k universe?
>>17029930I meant i could't believe that Euler didn't thought of any question he himself couldn't answer
>>17029964>didn't thought of any question>>17025568>Euler's Identity and reverse Engineered it into Cognition, connecting Theoretical Physics, Pure Mathematics, and PsychologyYou didnt answer his question; >What have you done with your life, nigga?He cant answer questions he didnt know to ask.
>>17029819Will ai solve gambling addiction?
>>17029841Professional maths enjoyer kek
