我們的朋友 @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相關的任何投資建議。
喜歡
收藏
評論
分享
