RT @yanda:@HarmonicMath @leanprover @namrata_anand2 Axiom 在真人考试结束前 2 分钟实时解决了 12 道题中的 8 道,并在 3 天后发布了答案……