Yann LeCun 对能量基础模型（EBMs）进行的 10 亿美元投资，旨在实现数学验证的代码生成。这一投资代表了对现有大型语言模型（LLMs）局限性的深刻反思，特别是在形式推理方面。EBMs 的核心机制与传统的生成模型不同，强调通过能量函数来建模数据分布。LeCun 的这一举措可能会引领人工智能领域的范式转变，但也伴随着高风险，尤其是在验证和应用的过程中。对这一新兴技术的探索，可能会为未来的 ...