讓我們回顧一下上週 Harmonic PR 的報告: 1. 聲稱亞里斯多德解決了埃爾德什的大部分問題,而實際上該軟體只是輔助將現有的人類解決方案的問題形式化。 2. 聲稱他們先獲得了普特南的資料,但事實並非如此 3. 有人聲稱IMO比Putnam更難,因為證明過程更長。我不知道社群媒體經理是否懂技術,所以就不計較了。
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。
正在載入線程內容
正在從 X 取得原始推文,整理成清爽的閱讀畫面。
通常只需幾秒鐘,請稍候。