Seeing what is happening on the frontlines, I would say this: if we humans want to keep understanding the knowledge AI is producing at the current rate (new proofs, ideas, and approaches) we may need 10× more mathematicians within the next year than we have today.
"I present the case for total opposition to the use of artificial intelligence in mathematics."
= a view you don't often hear on X. But I am looking forward to reading it carefully, and if you care about math and AI, I encourage you to do the same. https://t.co/2LtcKWCkd6
I agree with Victor Davis Hanson, who argued on my Fox show that we should support an Iranian government in exile with Prince Reza Pahlavi as its leader. And if the Iranian regime collapses, he would be a temporary leader during a transition period.
ARM THE IRANIAN PEOPLE!
Since people seem to be confused about the difference between 100% and *all*, this is a public service announcement.
Theorem. 100% of all numbers are not perfect squares.
Proof. The number of perfect squares up to X is about √X; that divided by how many numbers there are up to X gives 1/√X, which goes to 0 as X -> ∞. Therefore 0% of the numbers are perfect squares, and 100% are nonsquares. QED
And yet 2*2=4! (And 3*3=9 and so on…)
Those interested in 100% results might like to know that the 100% version of Goldbach's conjecture (almost all even numbers are the sum of two primes) was proved in 1937.
89 years of work has not been able to turn that "100% of even numbers" into "all even numbers > 2".
@LibertarianJzus economics models are good examples. lots of neat economic theories you can write down that are mathematically perfect, they just do not describe reality.
solving a maths-only problem is one thing. developing a mathematical theory for a real world problem is another thing entirely. confusing the first with the second is the very reason why physicists got stuck in the foundations, it's not a trivial step.
https://t.co/aoNiCWjdEb