数学研究AI agent解决难题，超越IMO金牌。

激动地分享：我们的数学研究智能体 #Aletheia 刚刚自主解决了10个中6个臭名昭著困难的 FirstProof 问题，这是首届挑战中的最佳成绩！在我看来，这比我们去年历史性的IMO金牌成就还要伟大；这些问题甚至挑战顶级数学家。我们透明地分享结果，详情见论文和推文线程中的完整想法。👇