下载客户端
独家抢先看
独家抢先看
【#AI数学# 突破】 如何让工具代劳数学机械推理？
陶哲轩演示AI辅助证明，33分钟完成传统复杂推导，重塑数学研究方式。
自动播放
“特别声明：以上作品内容(包括在内的视频、图片或音频)为凤凰网旗下自媒体平台“大风号”用户上传并发布，本平台仅提供信息存储空间服务。
Notice: The content above (including the videos, pictures and audios if any) is uploaded and posted by the user of Dafeng Hao, which is a social media platform and merely provides information storage space services.”
