Jevでコードベース分類器を構築
開発者がJevでコードベース分類器を構築し、エージェントが生成する過剰設計なコードの解決策になり得ると述べ、次のテスト対象を尋ねている。
Jev、1ドル未満で140の定理を証明
ジミー・コッペル氏は、Jevが1ドル未満でSoftware Foundationsの定理140個を証明したと指摘。Astraは解法率は高いがコストは130倍。検証は大きな証明1つではなく小さな証明の集まりであり、Jevが強みを発揮する。
The economics of program verification just changed. Jev proved 140 Software Foundations theorems for under $1. Astra crushed its solve rate—but at 130× the price. Verification is rarely one hard proof. It’s lots of little ones. That’s where Jev gets interesting.
· 0 likesOpen on X
More like this
JevがLLM-as-a-Judgeを20～200倍高速・40～400倍低コストで実現
JevはどのモデルがAGIかを判断するために使われ、20～200倍の速度と40～400倍の低コストを実現し、LLM-as-a-judgeを極めて高速かつほぼ無料にします。
TypeSafe JevとOpenCodeでアプリをテスト
FilipがTypeSafe JevとOpenCodeを使ったアプリテストの速さを示す小さなデモを共有。
