← Back to context Comment by karmasimida 4 hours ago To be strict, Math is not Science.But AI is supercharging Math like there is no tomorrow. 2 comments karmasimida Reply anthk 2 hours ago 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. karmasimida 1 hour ago You can have a word with Terrence Tao, he had different opinions here
anthk 2 hours ago 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. karmasimida 1 hour ago 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