数学家恨AI，却戒不掉它
强大的人工智能模型正在给数学这门古老学科带来存在性风险：它可能掏空人们对证明的理解，重塑学术评价与荣誉分配。但矛盾在于，几乎没有人能真正停下使用它——因为AI实在太好用了。本文梳理数学家与AI之间这场爱恨交织的拉锯战：从形式化证明工具到自动
强大的人工智能模型正在给数学这门古老学科带来存在性风险：它可能掏空人们对证明的理解，重塑学术评价与荣誉分配。但矛盾在于，几乎没有人能真正停下使用它——因为AI实在太好用了。本文梳理数学家与AI之间这场爱恨交织的拉锯战：从形式化证明工具到自动
25位顶尖数学家联合签署公开信，指控以OpenAI为代表的AI实验室未经授权使用其学术成果训练模型，威胁其智力工作。这场争端折射出AI产业与学术共同体在数据使用、知识产权与利益分配方面的深层矛盾，也标志着AI公司与学术界的关系正持续恶化。
一家名为Pangram的AI检测公司正悄然成为出版界乃至更多领域的“AI警察”，其判断能左右作者职业生涯。然而，这项技术的准确性、透明度及其背后的伦理问题，正引发激烈争议。本文编译自WIRED，深入剖析这一检测工具的崛起与隐忧。