编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？用AI工具辅助研究数学的项目，再一次被陶哲轩跑通！
你能想象一个人能5岁解决小学数学，8岁参加高考考出760分。而他的智商，更是超越爱因斯坦，高达230！甚至还在31岁时就获得数学界的“诺贝尔奖”——菲尔茨奖。但他可不是科幻小说中虚构的人物，而是世界公认的“神童”陶哲轩。如今的这个神童天才过得怎样？
编辑：Aeneas 好困【新智元导读】就在刚刚，陶哲轩领衔的一份62页报告出炉了，总结和预测了AI对半导体、超导体、宇宙基础物理学、生命科学等领域带来的巨大改变。如果这些预测在几十年后能够实现，美国酝酿的AI「登月计划」就将成真。
“人工智能已经能够推导公式了，也许过不了两年，世界奥林匹克数学竞赛中，机器就能超越人了。”2024两会期间，中国科学院院士、上海市政协委员、上海科技大学党委书记李儒新接受记者采访时说，美国有个华人数学家陶哲轩，在2023年就不断用AI工具进行数学研究。
清华大学计算机系副教授刘知远小学时写应用题，老会卡壳。他总会过度思考，从一个题目里读出多重含义。到了高中，写英语阅读理解时，这种感受更强烈了。刘知远从未怀疑过出题人，反而怀疑是不是自己太笨了，“理解不了题目”。
随着人工智能的发展，各学科与AI技术的合作为其发展提供了新的思路。在18日举行的上海复旦大学校友会成立四十周年大会暨首届科技文化节开幕式上，三位中国科学院院士与人工智能专家围绕AI与数学、脑科学、生物医药的融合运用展开对话。
科技日报 12月20日，美国开放人工智能研究中心(OpenAI)介绍了其最新的人工智能(AI)推理模型——o3及其轻量版o3-mini。该公司宣称，o3具备更先进、近似人类的推理能力，在代码编写、数学竞赛和掌握人类博士级别的科学知识等方面，均超越了其“前辈”o1。
一篇7000字的结课报告，大三学生傅雪在AI的辅助下，仅用一周便完成了，比以往至少省去了一半的时间。ChatGPT向公众开放的两周年以来，拥抱AI工具已成为趋势， 不少研究人员、高校学生开始习惯用各类大模型来协助他们完成论文润色、编写分析数据代码和制图。
