首页
登录
当前标签：数学形式化
陶哲轩：几周前，AI突破数学形式化临界点
AI与人类协作的规模与效率已突破数学形式化的关键阈值，使得原本需耗时数月的证明工作可在数周甚至数小时内完成。
