Модели начали выдавать результаты, которые человек не может быстро перепроверить: доказательства на десятки страниц, анализ тысяч генных экспериментов за полчаса, отчеты агентов о том, что они сделали в инфраструктуре. И почти в каждой крупной новости месяца звучит вопрос: кто подтвердит, что это правда. Больше всего в октябре спорили о науке, с нее и начнем. Разбираемся, что именно произошло на стыке математики и нейросетей, как ИИ попытался перевернуть теорию вычислительной сложности и что значит история с доказательствами для индустрии. Читать далее
Continue to Habr →You are being forwarded in 6s — stay on this page