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

von The Stack Overflow Podcast