我们的朋友 @mathematics_inc 对 Hermes Agent 进行了分支，构建了一个强大的自动形式化代理框架。
本文为机器翻译
展示原文
Math, Inc.
@mathematics_inc
03-20
Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier.
It is stronger, faster, and more cost-efficient than off-the-shelf
来自推特
免责声明：以上内容仅为作者观点，不代表Followin的任何立场，不构成与Followin相关的任何投资建议。
喜欢
收藏
评论
分享
