编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！
在IMO 2024现场，“陶神”带来了洋洋洒洒1个小时的精彩分享，主题就叫:AI与数学。所有观察和观点都毫无保留分享:借助AI，可以想象未来可以取一类1000个问题同时处理，你真的可以开始以一种前所未有的规模进行数学研究。
本文转自|人民日报AI时代，文艺何为？《人民日报》（2025年03月07日 第 17 版）人工智能（AI）是科学技术发展到新一轮的最新变革，它不仅推动产业升级，改变传统经济的面貌，而且对人类社会生活产生深远影响，也必将深刻地改变文艺和文学。
本文内容来自于网络，若与实际情况不相符或存在侵权行为，请联系删除。美媒:涉及美国安全。在科技的飞速演进下，AI已经深刻地影响了全球范围，从ChatGPT到图像生成的多样模型，这些创新正在塑造着人类的未来。
近日，纽约佳士得的首场AI艺术专场拍卖会，因版权争议深陷舆论旋涡。拍品中既有早期的计算机艺术作品，也有当下使用深度学习模型生成的图像。艺术家们指责，这场拍卖会是在鼓励和纵容AI公司对艺术创作的大规模剽窃，并以不道德方式与艺术家竞争。
AI大大便利了文艺创作，提高了文艺创作的效率。以电影、电视剧为例，以前很大的工作量用于寻找或搭建场景，现在用AI可以直接生成场景。比如，以前拍故宫里面的戏，要么去故宫里实景拍，要么搭一个相似的场景，做起来很麻烦，而现在已经不允许去故宫里拍戏了。用AI直接生成故宫内景，就方便得多。
