That's kinda how I use AI with math, not to solve things but if I get stuck it can get you halfway there and point you in some general direction instead of wandering in the dark. There's textbooks too of course but AI is also useful. Of course this is mostly for elementary math, not any advanced proofs. AI struggles hard with any semblance of a complex problem. But for fairly straightforward rudimentary things, even calculus to some extent, it's useful.
If we start strapping on cameras on people 24/7, AI would just learn to be lazy 🤣 Sleep for at least 8 hours (sometimes 12+), binge-watch Netflix, eat junk food, doom-scrolling, doing minimal amount of work and then complaining about taxes 🤣
First mathematicians came very long time ago before AI…… so good luck for the computers, also by example I think it just impossible for a computer to get the exact value of square root of 2. Computer can be very close but never exactly that the magic of irrational numbers. If someone disagree let me know
What we could do is "VCS for mathematicians", like git, it will store history of their progress, each step they take, mistakes…etc …and then train ai on that data
23 Replies to “Could AI be a mathematical buddy?”
We even know if in general linear transformers can solve nonlinear problems? Seems as though the hype machine is taken over AI before science
That's kinda how I use AI with math, not to solve things but if I get stuck it can get you halfway there and point you in some general direction instead of wandering in the dark. There's textbooks too of course but AI is also useful. Of course this is mostly for elementary math, not any advanced proofs. AI struggles hard with any semblance of a complex problem. But for fairly straightforward rudimentary things, even calculus to some extent, it's useful.
Everyone thinks that their field is immune. Everyone will be humbled.
AI math proofs are comming
Large numbers model? Change the binary to letters and change output to numbers?
Teremce speaks English half the speed he thinks, which is faster then most people think.
If we start strapping on cameras on people 24/7, AI would just learn to be lazy 🤣
Sleep for at least 8 hours (sometimes 12+), binge-watch Netflix, eat junk food, doom-scrolling, doing minimal amount of work and then complaining about taxes 🤣
First mathematicians came very long time ago before AI…… so good luck for the computers, also by example I think it just impossible for a computer to get the exact value of square root of 2. Computer can be very close but never exactly that the magic of irrational numbers. If someone disagree let me know
Basically current a.i. models don't think they produce output based on mass data manipulation
This seems to have been largely solved now with chain of thought reinforcement learning. You don’t need the intermediate step
What we could do is "VCS for mathematicians", like git, it will store history of their progress, each step they take, mistakes…etc
…and then train ai on that data
I feel 10% smarter after watching this video
AI isn’t the future anymore. It’s here
Doubtful about current AI. I tried to ask it about some advanced mathematics and it was completely wrong.
Once AI can faithfully model the cognitive effects of coffee on a mathematician’s brains—GAME OVER MAN!
the thing is, you even lack the notational system to even write down a deduction.
“Professor Terence Tao is something of a rockstar in the world of mathematics…”
What is he on about 😂 ? Sombody tell him that he better go check what google deep mind is doing nowadays with AlfaProof
brody got that filthy frank fit
Maybe someday, for now we have AI models that dont even get the maxwell equations for thermodynamics right…
Great work, you're a good man terance tao.
24/7 live stream of terence tao solving math problems incoming.
2 pi 4 the WIN
❤❤❤❤🎉🎉🎉🎉🎉