The function of LLM-based math "proofs"
By cdrnsf · 2026-09-07 · 1 points · 2 comments
https://tante.cc/2026/09/07/the-function-of-llm-based-math-proofs/
By cdrnsf · 1 points · 2 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews