Terence Tao spune că ChatGPT l-a ajutat să rezolve o problemă MathOverflow și a economisit ore întregi de codare manuală