正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
共 1 条推文 · 2025年12月7日 20:42
RT @axiommathai:世界上最难的大学水平数学考试 Putnam 于昨天下午 4 点(太平洋时间)结束。 今天中午,AxiomProver 解决了 12 个问题中的 9 个……