POPA ReconЗнакомые русскоязычные ex YC фаундеры сегодня запустили Genproof, лабу, которая делает формальную верификацию доступной для всех. Если…
Знакомые русскоязычные ex YC фаундеры сегодня запустили Genproof, лабу, которая делает формальную верификацию доступной для всех. Если проще, они ищут баги в коде математически строго. Уже нашли баги в 100+ open-source проектах, в том числе в 6 библиотеках, которые Anthropic называла «формально верифицированными» И они на первом месте в лидерборде lean-eval. Саша просидел с ними всё воскресенье, помогал готовить запуск, и говорит, что технология под капотом очень сильная. Хочу их поддержать: лайкните и букмаркните их пост, пожалуйста 🙏
The excerpt is quoted from a public Telegram channel, which owns its text.
Read the original post on Telegram