ESMFold 是一款由 Meta AI 团队开发的高精度蛋白质结构预测工具，可以从单一蛋白质序列中进行端到端原子级别的结构预测，具有较高的准确性和更快的预测速度。

AlphaFold 是一个人工智能系统，旨在解决蛋白质结构预测这一长期困扰科学界的难题。 最新一代生物分子结构预测模型 AlphaFold 3（AF3）核心在于通过深度学习技术实现高精度的生物分子结构预测。

MathΣtral 是 Mistral 基于 Mistral 7B 开发并推出的专注于数学推理的模型，拥有 32k 的上下文窗口，发布于 Apache 2.0 许可下。

Goedel-Prover（哥德尔证明器）是普林斯顿大学、清华大学、清华大学等机构推出一个专门设计用于自动化定理证明的大型语言模型。

由微软团队提出的 BioGPT（Generative Pre-trained Transformer for Biomedical Text Generation and Mining），是一种在大规模生物医学文献上预先训练的特定领域的生成 Transformer 语言模型，可用于生物医学文献文本生成和挖掘。

MetaMath 是一个用于生成数学问题的大型语言模型（LLM）项目。 该项目旨在通过自举方式生成数学问题，以提升模型的数学推理能力。