open-problems

Google DeepMind 发布 AlphaProof Nexus 论文，AI agent 在 353 个开放数学问题中自主解决了 9 个 Erdős 难题（包括两个 56 年未解问题），并证明了 44 个 OEIS 猜想，每道题推理成本仅数百美元。

全面回顾二十年阿拉伯语NLP研究，探讨该领域的经验、失败与未解难题。

菲尔兹奖得主蒂莫西·高尔斯报告使用 GPT5.5 Pro 解决公开数学问题，并预测由于人工智能的快速发展，数学研究将很快面临危机。

Tim Gowers 报告称，他使用 ChatGPT 5.5 Pro 尝试解决由 Melvyn Nathanson 提出的数学开放性问题。