6 ms·
Not within mathematics, where it is the entire sport, and which is the point of contention.
by tadala 2y ago
Not within mathematics, where it is the entire sport, and which is the point of contention.
- psychoslave 2y agoIf there is one space where it shines, sure it’s mathematics. But even there, the most notable mathematicians highly rely on some intuitions far before they manage to prove anything, as well as while selecting/creating their conceptual tools to attempt to build the proof, and rarely go to the point of formalizing their points through Coq/Isabelle or even with meticulous paper craft à la Principia Mathematica from Russel and Whitehead.
- calf 2y agoExcept humans correctly believe that a Coq proof is theoretically correct whereas an LLM does not have this meta reasoning ability at all.