海外 数学者はAIを嫌いながら、やめられない 数学界ではAIへの依存に対する懸念が高まる一方、研究効率の向上を理由にその使用をやめられない数学者が増えている。AIは数学という学問の文化的基盤を侵食しつつも、現代の研究に不可欠なツールとなっているという矛盾が浮き彫りになっている。 AI 数学研究 LLM 形式化证明 1日前 325
海外 数学者が警告:AIが数学という職業を侵食、国際連盟が声明 国際数学連盟(IMU)が、AI技術と科技産業による数学界への侵食を警告する声明を支持。AIが数学者の仕事を代替し、巨額な報酬で学界の頂点的人材を引き抜くことで、学術数学研究が人材枯渇と方向性の偏向という二重の危機に陥っていると指摘した。 AI 数学研究 职业危机 国际数学联盟 2026年6月3日 541