今天标志着人工智能和数学的一个重要里程碑。 虽然亚里士多德和其他工具在最近几个月在解决厄尔多斯问题上取得了巨大的进展，但总是存在一些恼人的限制。 今天，首个自主生成/形式化的厄尔多斯问题，使用了亚里士多德和GPT 5.2 Pro的结合。 这是众多中的第一个。