2025年大多数人错过的AI范式转变，以及它为何对2026年至关重要

这篇文章强调了人工智能发展中的一个转变，即从仅仅关注规模转向优先考虑验证和正确性。文章认为，在可以检查和重复使用的领域，如数学和代码，进展正在加速。作者强调了弥合非正式推理和正式验证的重要性，并将其视为“工业化确定性”。文章表明，理解这种转变对于任何对AGI、研究自动化和真正的智能提升感兴趣的人来说都至关重要。

• •人工智能发展的主要焦点正在从规模转向验证和正确性。
• •在可以检查和重复使用的领域，如数学和代码，进展正在加速。
• •弥合非正式推理和正式推理对于未来的人工智能进步至关重要。
• •目标是“工业化确定性”，而不是取代人类推理。