AI解开老难题
据量子位报道,GPT-5.6与Fable联手,解决了一道悬而未决约25年的数学难题。报道还提到,相关作者早在读博期间就曾研究这一方向,17年后由AI带来突破。
关键不只是算出答案
这类进展的看点在于,数学问题往往不只是给出结果,还需要能被检验的推理过程。大语言模型可以帮助提出思路、组织推理和探索可能路径;至于具体技术细节,仍需要以原始研究和后续验证为准。
意义不只是一道题
数学证明要求每一步都能经受审查,因此AI参与解决长期未解问题,显示其在科研场景中的潜力正在扩大。行业点评:未来AI科研工具的价值,不在于替代科学家,而在于把长期卡住的猜想、证明和实验设计,变成更高效的人机协作流程。

