Comment Re:I wonder... (Score 4, Insightful) 291
No, they got faster at arithmetic, not mathematics. Most of the mathematics exams that I took carried the demand "Show your work". Rule based inference systems could (or were claimed to) do this in limited domains 40 years ago (Bundy, Lenat, Silver). Can an LLM reliably prove anything and deliver a verifiable chain of inference?