形式化证明に関するニュース

数学者はAIを嫌いながら、やめられない

数学界ではAIへの依存に対する懸念が高まる一方、研究効率の向上を理由にその使用をやめられない数学者が増えている。AIは数学という学問の文化的基盤を侵食しつつも、現代の研究に不可欠なツールとなっているという矛盾が浮き彫りになっている。