Terence Tao 氏は、ChatGPT が MathOverflow 問題の解決に役立ち、手動コーディングの時間を節約したと述べています