Vlad Tenev (@vladtenev) on X機翻
人工智慧剛剛證明了埃爾德什問題第124題
在《算術學報》(Acta Arithmetica) 上的論文「整數冪集的完備序列」(Complete sequences of sets of integer powers) 中提出以來,已經懸而未決近 30 年。
Boris Alexeev 使用 Aristotle 的測試版解決了這個問題,最近進行了更新,具有更強大的推理能力和自然語言介面。
數學超級智慧正以驚人的速度逼近,我相信它將改變並大大加速數學及所有相關領域的發展。