To be strict, Math is not Science.
But AI is supercharging Math like there is no tomorrow.
LLM'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.
You can have a word with Terrence Tao, he had different opinions here
LLM'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.
You can have a word with Terrence Tao, he had different opinions here