🤖🔐 NEAR brings AI verification to its protocol
Its agent solved 672 math problems in Lean for USD $111.85 in model costs.
This amount does not include the complete system's development and does not represent the cost of auditing contracts.
Its application to production software is still pending.
$NEAR
Its agent solved 672 math problems in Lean for USD $111.85 in model costs.
This amount does not include the complete system's development and does not represent the cost of auditing contracts.
Its application to production software is still pending.
$NEAR