NEAR применит ИИ-формальную верификацию к протоколу и контрактам

• —ИИ-агент NEAR решил 672 задачи Lean из бенчмарка PutnamBench за $111,85
• —Средняя стоимость решения составила около $0,17 за задачу
• —Внедрение в продакшн требует моделей ПО, требований и доказательств
• —Сооснователь Илья Полосухин связал проект с рисками ИИ-кода