Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics.
【数据】作者指出LLMs在数学能力上取得了戏剧性进步，能够解决许多数学领域的主要未解决问题。这一陈述暗示AI已经达到可以独立解决重大数学难题的水平，但未提供具体数据支持，这可能是一个需要验证的关键主张。
Over the next 27 minutes, the swarm 'solved' the remaining 34 problems, which included notoriously difficult challenges like the Jacobian conjecture, often with a single line of code.
【非共识】这一陈述提出了一个值得质疑的观点，即AI代理能够在极短时间内解决包括Jacobian猜想在内的著名难题。这挑战了人类数学家需要数年才能解决这些问题的共识，需要进一步验证这些解决方案的正确性和原创性。
GPT‑5.5 found a proof of a longstanding asymptotic fact about off-diagonal Ramsey numbers, later verified in Lean. The result is a concrete example of GPT‑5.5 contributing not just code or explanation, but a surprising and useful mathematical argument in a core research area.
大多数人认为AI在数学研究中的作用主要是辅助计算和验证，但作者认为GPT-5.5能够独立发现数学证明，这在数学研究领域是革命性的。这一观点挑战了人们对AI在创造性思维和抽象推理领域能力的传统认知，暗示AI可能正在从工具转变为研究伙伴。