Beim AtCoder-Finale 2025 besiegt ein Programmierer erstmals eine KI von OpenAI – ein knapper, aber symbolträchtiger Erfolg für den Menschen.