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