陶哲軒認為，人工智慧可以在數學研究中填補技能空白，讓數學家們可以專注於不同的領域。然而，如果人工智慧生成的策略沒有被驗證，可能會導致無數的未經測試的想法。陶哲軒指出，人工智慧和形式驗證可以改變數學研究的方式，使得數學家們可以合作完成更複雜的任務。這種新的數學研究方式可以帶來新的突破和發現，對於數學和相關領域都有深遠的影響。
陶哲軒認為，人工智慧可以在數學研究中填補技能空白，讓數學家們可以專注於不同的領域。然而，如果人工智慧生成的策略沒有被驗證，可能會導致無數的未經測試的想法。陶哲軒指出，人工智慧和形式驗證可以改變數學研究的方式，使得數學家們可以合作完成更複雜的任務。這種新的數學研究方式可以帶來新的突破和發現，對於數學和相關領域都有深遠的影響。