Proving code works with math instead of tests used to cost too much at scale.NEAR AI is now #1 on Lean Eval v1, Lean's o

Proving code works with math instead of tests used to cost too much at scale.NEAR AI is now #1 on Lean Eval v1, Lean's o | Hanami

Proving code works with math instead of tests used to cost too much at scale.

NEAR AI is now #1 on Lean Eval v1, Lean's own benchmark of extremely hard formalization problems.

It runs almost entirely on open-weight DeepSeek V4.1 Flash, so it's cheap.

Next: NEAR contracts.