“I strongly believe the current results are robust. After a quarter century of “real soon now” promissory notes I would want a lot more than hand-waving to be convinced than at an LLM-compatible solution is in reach.”
https://garymarcus.substack.com/p/llms-dont-do-formal-reasoning-and