The premise of the article assumes that the work (number of true statements to prove) is finite.But Godel's Incompleteness Theorem and Tarski’s Undefinability theorem ensure an infinite space of provable true statements.Neither LLM's nor humans can exhaust it. So yes, both mathematicians and LLMs are needed.Both can contribute and there will still be work leftover.
elendilm · · focus · HN ↗
But Godel's Incompleteness Theorem and Tarski’s Undefinability theorem ensure an infinite space of provable true statements.
Neither LLM's nor humans can exhaust it. So yes, both mathematicians and LLMs are needed.
Both can contribute and there will still be work leftover.
[deleted] · · focus · HN ↗
[deleted]