Vero: AI должен доказать, что код правильный
Vero — первый бенчмарк, где AI-агент пишет многофайловый проект и формально доказывает его корректность через Lean 4. Лучший агент решил 27 из 43 задач.
Подборка
Блог
2 материал(ов) по теме «стандарты».
Подборка
2 материал(ов) по теме «стандарты».
Vero — первый бенчмарк, где AI-агент пишет многофайловый проект и формально доказывает его корректность через Lean 4. Лучший агент решил 27 из 43 задач.
Agent Plugins 1.0 — открытый стандарт, упаковывающий навыки и MCP-серверы в один плагин для всех совместимых AI-агентов.
