陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind发布形式化数学猜想库，收录多种形式化的数学猜想。该资源库旨在帮助AI提升数学推理及证明能力，并有望成为自动定理证明或形式化工具的测试基准。
Funsearch
一份关于Gemini预训练的精彩PPT
DeepMind专家Vlad Feinberg在普林斯顿的演讲中讨论了模型规模扩展法则的历史、优化策略及未来研究方向，强调小模型客户需求、推理感知扩展法则，并建议开发硬件专用内核和改进量化技术。
DeepMind发布形式化数学猜想库，收录多种形式化的数学猜想。该资源库旨在帮助AI提升数学推理及证明能力，并有望成为自动定理证明或形式化工具的测试基准。
DeepMind专家Vlad Feinberg在普林斯顿的演讲中讨论了模型规模扩展法则的历史、优化策略及未来研究方向，强调小模型客户需求、推理感知扩展法则，并建议开发硬件专用内核和改进量化技术。