July 23, 2026 Terence Tao et ChatGPT s'attaquent à un problème séculaire des mathématiques IAMathématiquesChatGPTTao