トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+1.54%
USELESS
USELESS-1.02%
IKUN
IKUN-1.12%
gib
gib-1.13%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0.05%
ALON
ALON+1.13%
LAUNCHCOIN
LAUNCHCOIN-0.34%
GOONC
GOONC-0.22%
KLED
KLED+4.19%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0.01%
Boopa
Boopa-0.21%
PORK
PORK0.00%
Math, Inc.
Math, Inc.
3月20日 02:36·
本日、@DARPA expMathのキックオフで、開発者や実務者が最前線の進歩を加速させるためのオープンソースかつ最先端の自動形式化エージェントハーネスであるOpenGaussを発表しました。 市販の代替品よりも強力で、速く、コスト効率が良いのです。FormalQualBenchでは、4時間のタイムアウトで実行されており、@HarmonicMathのアリストテレス代理人を制限なしで上回っています。 OpenGaussのユーザーは自由に操作でき、多くのサブエージェントを並行して管理し、OpenGaussは許容的にオープンソースであるため拡張・修正・内省が可能です。OpenGaussは、リーンの主要なオープンソースAIツールのメンテナーと密接に協力して開発されました。 レポートを読んで試してみてください: