мы по прежнему идем с опережением графика из статьи ai-2027.com
теперь в меню агент который может в доменах с формальными доказательствами (математика, кодинг итд) находить решения лучше чем наши самые умные люди https://youtu.be/T0eWBlFhFzc?si=PUpfJHEPbgZV_6X9&t=59
статья обещала это “late 2025” однако уже в середине мая 2025 у нас это есть на планете.
