Update
NEAR Targets Protocol Security After AI-Generated Proofs
NEAR plans to implement AI-assisted verification for its protocol and core contracts after reporting 672 mathematical proofs at a model cost of $111.85. The company aims to enhance security measures following this cost-effective method.