Краткий пост, чтобы отметить два вышедших отчета: Консультативная группа по математике и искусственному интеллекту (AGMAI) опубликовала свои общие рекомендации для компаний, занимающихся ИИ, относительно генерации решений математических задач. Отчет рабочей группы «ИИ и TCS: следующие шесть месяцев», подготовленный по итогам двухдневного мероприятия в […]