Economisten gebruikten vijftig jaar lang bewijs met gat erin, AI ontdekt fout in stelling Aumann

A foundational theorem in economics that has been taught for decades contains a logical gap that went undetected until an AI verification system identified it this year. Harvard economist Scott Kominers discovered that Robert Aumann's 1976 proof relied on an unstated assumption, prompting him to alert colleagues about the oversight in a widely-used academic result.