สร้างตัวจำแนกโค้ดเบสด้วย Jev
นักพัฒนแชร์การสร้างตัวจำแนกโค้ดเบสด้วย Jev โดยเสนอว่าอาจแก้ปัญหาโค้ดที่ซับซ้อนเกินไปจากเอเจนต์ และถามว่าควรทดสอบอะไรต่อไป
Jev พิสูจน์ทฤษฎีบท 140 ข้อด้วยเงินไม่ถึง 1 ดอลลาร์
Jimmy Koppel ระบุว่า Jev พิสูจน์ทฤษฎีบท Software Foundations จำนวน 140 ข้อด้วยต้นทุนไม่ถึงหนึ่งดอลลาร์ ในขณะที่ Astra มีอัตราการแก้สำเร็จสูงกว่าแต่มีต้นทุนสูงกว่า 130 เท่า การตรวจสอบไม่ใช่การพิสูจน์ยากเพียงหนึ่งครั้ง แต่ประกอบด้วยการพิสูจน์เล็ก ๆ จำนวนมาก ซึ่งเป็นจุดที่ 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
