3 ms·
I am another one. My work in mathematics has sped up personally due to AI. Whenever you start to prove new results, you get a lot of small lemme that are proba
by trueismywork 11mo ago
I am another one. My work in mathematics has sped up personally due to AI.
Whenever you start to prove new results, you get a lot of small lemme that are probably true but you need to check them and find a good constant which works with them.
Checking is by theorem provers and searching is by machines. You still need to figure out what you want to prove (which results are more important).
But rest can get automated away quite quickly.
- bgwalter 11mo agoOk, I expect the Riemann hypothesis to be proven any day now.
- Tomcollins4 11mo ago[dead]
- deaux 11mo agoWhat a weird non sequitur.
- diamond559 11mo agoWell, if mathmatics is an "order of magnitude" faster to solve now we expect much more from you. In fact, maybe an order of magnitude of you mathmaticians should be fired bc you are so much more useless now!