https://open.substack.com/pub/garymarcus/p/llms-dont-do-formal-reasoning-and?utm_source=share&utm_medium=android&r=4ho1c6