אולימפיאדת מתמטמיקה

האם בינה מלאכותית עומדת לעקוף את המתמטיקאים?