OpenAI опубликовала результаты передовой модели в решении математических задач
OpenAI представила новые результаты решения открытых математических проблем с помощью своей внутренней передовой модели. Компания также опубликовала на GitHub формализации доказательств на языке Lean и подробности исследования.
Читать в первоисточнике — OpenAI ↗
Ещё в ленте
Опыт построения оркестрации AI-агентов для автоматизации SEO
Разработчик описал опыт перехода от ручного переноса данных между AI-инструментами к полной автоматизации задач поисковой оптимизации. В процессе были протестированы три подхода: собственный YAML-оркестратор, внешние цепочки на Dify с поиском Tavily и распределенная система специализированных AI-агентов.
Скрытые издержки и риски внедрения ИИ в бизнес-процессы
Низкая стоимость генерации ИИ скрывает за собой потенциальные риски для бизнеса, связанные с ошибками и галлюцинациями моделей. Сбои в сгенерированных ответах могут привести к потере доверия клиентов, юридическим проблемам и остановке бизнес-процессов. В результате расходы на устранение последствий и переработку решений способны значительно увеличить итоговый бюджет проекта.
Jump Trading масштабирует количественные исследования с помощью ChatGPT от OpenAI
Jump Trading использует технологии OpenAI для расширения количественных исследований. Компания внедряет длительные рабочие процессы на базе искусственного интеллекта, которые объединяют множество источников данных под контролем специалистов.
Опыт интеграции OpenSpec в процесс разработки с ИИ-агентами
Автор статьи описал процесс адаптации к инструменту OpenSpec и подходу SDD, внедряемым по требованию компании. В материале рассматривается способ интеграции этого решения в уже настроенную среду работы с ИИ-агентами для кодинга без нарушения рабочего процесса.