标签：数学基建

消耗1830亿token，Meta用AI把数学教材翻译成了一个超大Lean库

近期，人工智能在数学领域的应用取得了突破性进展，标志着数学研究正经历一场深刻的变革。Google DeepMind的最新系统通过结合大语言模型与形式化验证工具，成...

AIGC动态

6小时前