“数学正经历历史上最大的变革。” 很高兴看到我们的数学代理 #Aletheia 在 @newscientist 上被报道，展示了它在 FirstProof 首届挑战赛中的成果，以及其他有趣的人工智能在数学研究中的里程碑！值得深思的影响。链接在讨论中。