3 ms·
To be strict, Math is not Science. But AI is supercharging Math like there is no tomorrow.
by karmasimida 5mo ago
To be strict, Math is not Science.
But AI is supercharging Math like there is no tomorrow.
- anthk 5mo agoLLM's? I doubt it. Systems with Prolog, Common Lisp and the like with proof solvers? For sure. LLM's are doomed to fail. By design. You can't fix them. It's how do they work.
- karmasimida 5mo agoYou can have a word with Terrence Tao, he had different opinions here
- anthk 5mo agoYeah, and Knuth, but that's a fallace of authority. Wait until the errors raise.
- aspenmartin 5mo agoCare to be more specific here or do you prefer to be vague and wrong