陶哲轩AI震撼数学界：33分钟盲证定理，智能数学时代来临？AI资讯聚焦

陶哲轩利用AI工具33分钟完成数学盲证，其开源证明助手迭代升级，预示AI在数学研究的巨大潜力，探索人机协作新范式，AI,大模型,LLM,人工智能,AGI。