AI underdog startups
Forall обещает не просто писать код, а доказывать его корректность — и пока это почти никто не заметил — и ещё 5 историй
Шесть свежих запусков с очень слабым вниманием, но с куда более сильными идеями, чем подсказывают их цифры: от агента, который пытается сопровождать код машинно проверяемыми доказательствами, до отдельного слоя памяти для агентов и нишевых систем для дистрибуции, подбора и автоматизации в скучных, но важных отраслях.