已收录文章摘要，完整内容可前往原文阅读。
转自 量子位AI数学圈最近是真热闹。OpenAI前脚一口气甩出722份数学证明遭到数学圈集体抵制，后脚谷歌DeepMind的数学研究就登上了《Science》。一个是批量抛出待核验手稿，把校对重担甩给