AlphaFold是科学领域中的一项惊人模型。新的工作是由同构实验室（Google的一个衍生公司）进行的，不仅将其应用领域扩展到蛋白质以外，还提高了整体性能。AlphaFold的改进和发展，将有力推动科学研究的深入，对生物医...

证明助手工具（如Lean）是在计算机上形式化和证明数学概念的神奇方法。Morph Labs正在与许多团体合作建立开放式的证明助手。其第一个模型基于Mistral，极为高效，并有望帮助开启更多数学知识。