GPT-5.6 与 Astra 的数学解题进展
中文摘要
GPT-5.6 和 Astra 在数学解题上取得重大进展,解决了一个 Erdős 问题、十项开放问题,甚至一个千禧年问题。
English Summary
GPT-5.6 and Astra achieve significant math problem-solving breakthroughs, tackling an Erdős problem, ten open questions, and even a Millennium Prize problem.
Original Excerpt
gpt-5.6:解决 1 个 Erdős 问题 astra:10 项重大开放问题成果 post-astra:1 个千禧年问题 + 100 多个开放数学问题 是啊,我开始看出规律了 再过 3 个模型,我们就没未解数学题可做了