AI资讯新闻榜单内容搜索-陶哲轩

关键词: AI数学,陶哲轩,AI数学研究

最近的数学圈，都被椭圆曲线的murmuration（椋鸟群飞）现象震惊了。由经验不足的本科生无意中做出的这个成果，竟让一位华人数学家离「千禧年问题」更近了一步。而且这次数学难题的破解，是由AI来完成的！

关键词: 陶哲轩,AI数学,AI科研

AI影响之一是让业余数学家也能做出贡献。

关键词: AI数学,陶哲轩,AI科研

著名数学家陶哲轩刚刚结束了一项持续了近两年之久的、重要又艰辛的工作——彻底解答高维空间里的单瓷砖平移周期性覆盖的问题——一个关联数理逻辑（图灵机）和高维离散几何的难题。

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

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

关键词: 陶哲轩,GPT-4,AI写代码,Python

刚刚，陶哲轩大赞：用ChatGPT写Python代码，效果真是太好了，它直接为我节省了数学研究中半小时的工作量！