AI says you’re right, formal methods say you’re wrong

af The Stack Overflow Podcast