关键词: AI数学,AI工具辅,陶哲轩

历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？

关键词: AI问卷,AI工具,chatGPT,AI大学生

随着人工智能技术的不断发展，AI工具开始进入普通人的生活场景。近日，中国青年报·中青校媒面向全国高校学生发起关于AI工具使用的问卷调查，共回收有效问卷7055份。调查结果显示，84.88%受访者曾使用过AI工具，其中16.30%受访者经常使用AI工具，57.49%受访者偶尔使用，19.43%受访者基本不用。

关键词: Userdoc,AI开发,AI编程工具

Userdoc是一家初创公司，开发了一项AI辅助服务，用于创建软件需求。上周在旧金山举行的AI工程师峰会上，我与其联合创始人兼首席开发人员克里斯·里卡德（Chris Rickard）坐下来讨论了他为什么创建了Userdoc以及它将如何帮助开发者。