【AI正在用“大力出奇迹”重塑数学发现】OpenAI在2026年攻克多项数学难题，核心逻辑并非完全模拟人类推理，而是利用采样（Sampling）在海量候选项中筛选反例。数学家观察到，AI在处理猜想时表现出极强的启发式搜索能力，但在构建需要长程逻辑的严密证明时，仍受限于Context Window的注意力衰减，这种“计算量换智能”的策略在验证成本低廉的领域极具统治力。社区指出，即便结合了Lean等形式化验证工具，AI目前更像是一个高效的“寻找者”而非“解释者”。这意味着未来的科学可能进入一个尴尬期：结果被机器证实无误，人类却无法理解其内在逻辑。这种“正确但不可解释”的趋势，正把数学变成一种类似观测量子力学的实验科学，我们得到了真理，却失去了对真理的掌控感。