RT @axiommathai:世界上最難的大學程度數學考試 Putnam 於昨天下午 4 點(太平洋時間)結束。 今天中午,AxiomProver 解決了 12 個問題中的 9 個…
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
共 1 則推文 · 2025年12月7日 晚上10:39
RT @axiommathai:世界上最難的大學程度數學考試 Putnam 於昨天下午 4 點(太平洋時間)結束。 今天中午,AxiomProver 解決了 12 個問題中的 9 個…