今天標誌著人工智慧和數學的一個重要里程碑。 雖然亞里士多德和其他工具在最近幾個月中在解決厄爾多斯問題方面取得了巨大的進展，但總是存在一些令人煩惱的附帶條件。 今天，第一個自主生成/形式化的厄爾多斯問題，使用了亞里士多德和 GPT 5.2 Pro 的結合。 這是眾多中的第一個。