标签
David Turturean 在 EpochAI Research 的 FrontierMath 计划下，与问题提出者 David Roe 合作，通过语音输入解决了 p 进伽罗瓦理论中一个 40 年来的开放问题。