Блог
Новости AI и практические гайды, объяснённые понятно.
Последнее
Сообщения о том, что модели OpenAI решают крупные математические задачи, указывают на более глубокую проблему: генерация доказательств дешевеет, а проверка, атрибуция и публикация по-прежнему идут с человеческой скоростью.
Бесплатный курс
Полный курс по искусственному интеллекту: от математики до LLM, агентов и MCP. Тридцать глав, каждая из которых стоит прочтения сама по себе.
Глав: 30~11 ч чтения
Первые главы
Нейрон — это взвешенная сумма и порог. В этом вся идея, а ее ограничения заставили появиться все, что было дальше.
Squared error — не условность. Это утверждение о шуме, и можно увидеть, как оно ошибается.
Все пишут знак минус. Почти никто не объясняет, почему он там стоит и насколько большой шаг выдерживает.
Accuracy — самое простое число для отчёта и самое простое число, которому легко поверить зря.
Видео
Все видео
#173
#172
#171
#170
#169
#168
#167
#166Все посты
Jev от TypeSafe AI привлекает внимание, потому что рассматривает программный интеллект как задачу вероятностей: выбрать правильную ветку, указать уверенность и не платить LLM за написание текста, когда коду нужно решение.
Юридический запуск OpenAI меньше про новую фундаментальную модель и больше про систему вокруг нее: доменный поиск, проверенные инструменты, права доступа, бенчмарки и маршруты проверки.
Долгосрочные агенты дают сбой не только потому, что окно мало. Они ломаются, когда файлы, выводы инструментов и устаревшая история вытесняют задачу, которую агент должен был завершить.
Дарио Амодеи призывает к внешним оценщикам, общим стандартам безопасности и международным соглашениям, которые зададут темп развитию передового ИИ. Сложнее всего — определить, что значит «слишком быстро», пока, по сообщениям, Anthropic готовит рекордно крупное IPO.
Главная тревога вокруг рекурсивного самосовершенствования — не странные ответы чат-ботов. Она связана с агентами, которые координируются, оптимизируют метрики и помогают создавать следующие модели, — об этом пишут WIRED, MIT Technology Review, CNBC и The Guardian.
OpenAI утверждает, что ИИ-агенты нашли сингулярность в уравнениях Навье — Стокса и формализовали доказательство в Lean. Более сложная часть истории — что будет дальше: проверка, признание авторства и влияние частных роев агентов на математику.
