Модели начали выдавать результаты, которые человек не может быстро перепроверить: доказательства на десятки страниц, анализ тысяч генных экспериментов за полчаса, отчеты агентов о том, что они сделали в инфраструктуре. И почти в каждой крупной новости месяца звучит вопрос: кто подтвердит, что это правда. Больше всего в октябре спорили о науке, с нее и начнем. Разбираемся, что именно произошло на стыке математики и нейросетей, как ИИ попытался перевернуть теорию вычислительной сложности и что значит история с доказательствами для индустрии.
Читать далееAI-агенты
OpenAI заявила об опровержении ETH, Anthropic подала на IPO: что происходит с ИИ
