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