陶哲軒鄧煜對談 倡數學研究保持慢節奏

訪談緣起

商業人工智能近期批量發布數學證明，在學界引起爭議。兩位菲爾茲獎得主在SAIR發布的訪談中共同回應，指出人工智能能給出證明，並不代表研究者真正弄懂了背後的數學結構。

解出與理解

過去解出一道數學難題，往往同時意味着研究者能解釋證明、提出新問題，並把知識傳授他人。如今人工智能批量產出證明，「解出來」與「弄明白」可能是兩回事，這正是兩人關注的核心。

慢科研主張

陶哲軒表示，應保留慢慢做科學、做數學所帶來的好處，包括增進理解、建設學術共同體，讓人類持續掌握對一個學科的整體把握，避免為追求效率而犧牲理解的深度與學科傳承。

對學界的啟示

比起計算人工智能又解出多少題目，兩人更關心這些證明能為知識體系帶來什麼。有意見認為，在人工智能加速科研的當下，如何在效率與理解之間取得平衡，將是數學教育與研究的重要課題。