编辑:编辑部【新智元导读】历时三周,陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具,网友惊呼:以后的数学论文不需要人类可读了?用AI工具辅助研究数学的项目,再一次被陶哲轩跑通!
“人工智能已经能够推导公式了,也许过不了两年,世界奥林匹克数学竞赛中,机器就能超越人了。”2024两会期间,中国科学院院士、上海市政协委员、上海科技大学党委书记李儒新接受记者采访时说,美国有个华人数学家陶哲轩,在2023年就不断用AI工具进行数学研究。
随着人工智能的发展,各学科与AI技术的合作为其发展提供了新的思路。在18日举行的上海复旦大学校友会成立四十周年大会暨首届科技文化节开幕式上,三位中国科学院院士与人工智能专家围绕AI与数学、脑科学、生物医药的融合运用展开对话。
·从2000年至2022年奥数比赛中抽取的30道几何题中,AlphaGeometry解决了25道。从历史上看,在相同时间内,人类金牌得主平均解决了25.9道。AlphaGeometry团队成员:(左起)Yuhuai Wu、Trieu H. Trinh、Quoc V.