OpenAI научили нейросеть решать (некоторые) олимпиадные задачи по математике

Они создали нейронный доказыватель, который научился решать множество сложных олимпиадных задач для старших классов, включая задачи из конкурсов AMC12 и AIME, а также две задачи, адаптированные из IMO (математики, дайте знать в коментах круто ли это).

Доказыватель использует языковую модель для поиска доказательств формальных утверждений.

Каждый раз, когда OpenAI находят новое доказательство, они используют его в качестве новых обучающих данных (таким образом улучшая нейронную сеть и позволяя ей итеративно находить решения все более трудных утверждений)

📸 Блог-пост
📎 Статья

#ScientificML #math

🙅‍♂️ Руководитель подразделения HoloLens в Microsoft Алекс Кипман опроверг слухи об отмене MR-гарнитуры третьего поколения и разногласиях внутри команды разработчиков.

«Не верьте тому, что читаете в интернете. У HoloLens все отлично. Если вы поищете информацию в сети, то найдете сообщения про отмену HoloLens 2, которые мы успешно реализовали», — заявил он.

#Microsoft #AR

👀 «Новая почта» открыла автоматизированный терминал в Днепре, обрабатывающий до 26 000 посылок в час.

Основная линия сортировки коробок до 30 кг состоит из двух ярусов, а сбор посылок осуществляется за счет специальных спиральных вертикальных желобов. Затем коробки попадают на специальные телескопические конвейеры, которые транспортируют их в фургон.

📦 В грузовой части терминала компания использует роботележки украинского разработчика SBR, которые могут перевозить до 300 кг посылок на себе и еще 1000 кг буксировать.

По данным «Новой почты», терминал позволил ускорить обработку грузов в регионе в два раза и создать 500 новых рабочих мест.

📆 Весной 2022 года компания планирует ввести дополнительную линию сортировки и увеличить мощность до 36 000 посылок в час.

#НоваяПочта #роботы

🤝 SberDevices присоединилась к международной рабочей группе по созданию единого стандарта Matter для систем умного дома. Его начнут развертывать в 2022 году.

💬 В «Сбере» заявили о перспективах нового стандарта. По их словам, скоро ассистенты «Салют» смогут управлять не только устройствами партнерских компаний, но и использующих Matter девайсами производителей.

#Сбер #IoT

🤝 Китай и Россия планируют усилить сотрудничество в области искусственного интеллекта, Интернета вещей и цифровизации экономики.

По словам председателя КНР Си Цзиньпина, странам необходимо продвигать китайско-российское взаимодействие в сфере инноваций, науки и техники. Также нужно наращивать стратегическое партнерство в энергетике и нефтегазовой сфере.

🗣 Си Цзиньпин напомнил, что Пекин и Москва продолжат создавать совместную научно-исследовательскую базу на Луне.

#Китай #Россия

💬 В России предложили обязать роботов представляться при общении с клиентами.

По словам ректора Московского технологического университета МИРЭА Станислава Куджа, колл-центрам нужно предупреждать клиентов о том, что с ними говорит бот, и давать им возможность переключится на оператора-человека.

☝️ Он считает, что отсутствие такой информации может повлиять на решение людей о покупке товаров. Ректор отметил, что предлагаемые меры не ограничат использование ИИ-ботов в коммерческих целях, но обеспечат соблюдение прав россиян и сократят темпы увольнения сотрудников колл-центров.

#Россия #роботы

📈 Исследование: в 2021 году объем мирового рынка квантовых вычислений достиг $490 млн. В 2024 году он увеличится в два раза, прогнозируют эксперты.

Согласно отчету Hyperion Research, с 2022 по 2024 год средний рост рынка составит 21,9 %. По прогнозам компании, в текущем году объем отрасли достигнет $597 млн, а в 2024 — $888 млн.

🔎 Ключевыми направлениями применения квантовых вычислений аналитики указали машинное обучение, оптимизацию, моделирование, кибербезопасность и процессы Монте-Карло.

#исследование #квантовыевычисления

🇪🇺Опубликован Обзор стандартов в регулировании ИИ в Европейском союзе.

Oxford Information Labs представила обзор механизмов стандартизации в области искусственного интеллекта в Европейском союзе, а также перечень ожидаемых изменений.

Также представлены рекомендации, призванные минимизировать риски, возникающие в результате взаимодействия регулирования искусственного интеллекта в Европейском союзе и глобальной стандартизации.

❌ Nvidia отказалась от покупки ARM за $40 млрд из-за «серьезных проблем с регулированием».

Техгигант заплатит холдингу SoftBank $1,25 млрд за срыв сделки.

Гендиректор ARM Саймон Сегарс уйдет в отставку после 30 лет на посту. Его место займет глава компании по интеллектуальной собственности Рене Хаас.

📢 Softbank также объявила о подготовке британского чипмейкера к проведению IPO, которое состоится до 31 марта 2023 года.

https://forklog.com/nvidia-otkazalas-ot-pokupki-arm-za-40-mlrd/

#Nvidia #ARM

🙅‍♂️ Налоговая служба (IRS) США отказалась применять систему распознавания лиц ID.me. Другие федеральные агентства страны также приостановили использование технологии.

В ведомстве заявили, что стремятся развернуть механизм проверки личности без биометрической идентификации.

☝️ Управление общих служб (GSA) США также приостановило использование систем распознавания лиц с помощью популярного сервиса входа в систему Login.gov. В ведомстве считают, что технология имеет слишком много проблем, чтобы оправдать ее использование в качестве службы аутентификации.

https://forklog.com/federalnye-agentstva-ssha-otkazalis-ot-ispolzovaniya-sistemy-raspoznavaniya-lits-id-me/

#США #отслеживание

🎧 СМИ: Apple приобрела британский стартап AI Music, применяющий искусственный интеллект для создания персонализированной музыки.

По данным Bloomberg, технология лондонской компании с помощью алгоритмов и бесплатных композиций генерирует динамические звуковые дорожки. Они подстраиваются под взаимодействия слушателя в видеоигре или меняют свой темп во время тренировки в зависимости от интенсивности движений пользователя, говорится в описании стартапа.

Ранее AI Music сотрудничала с различными рекламными компаниями для создания более «привлекательных» предложений, которые подстраиваются под аудиторию.

🙅‍♂️ Apple от комментариев отказалась.

#Apple

🤝 Google присоединилась к проекту Ford по запуску центра разработки электрокаров и беспилотников в Детройте.

До 2023 года автопроизводитель переделает 18-этажный заброшенный вокзал площадью более 45 000 кв.м. в исследовательский хаб для создания, тестирования и внедрения новых отраслевых решений.

Google откроет лабораторию на участке в 12 га, где планирует обучать школьников старших классов компьютерным наукам и сертифицировать специалистов. Затем выпускники смогут работать в Ford без необходимости оканчивать колледж.

💸 Власти Мичигана выделят на восстановления здания вокзала и окружающей инфраструктуры около $126 млн. Также они планируют построить специализированную площадку для упрощения запуска и тестирования проектов малым бизнесам.

#Google #Ford

📚 Британский художник Льюис Хакетт применил ИИ для имитации обложек книг по научной фантастике 70-х годов.

Хакетт использовал модели Clip Guided Diffusion для генерации изображений и GPT-3 от OpenAI для создания заголовков. Чтобы повысить качество получаемых в низком разрешении картинок, автор задействовал инструмент Waifu2X.

🪄 Кроме этого, художник самостоятельно подобрал типографику, используя популярные шрифты 70-х годов.

#искусство #разработка

🤖 Испанские исследователи создали автономных робокурьеров, преодолевающих лестницы. Их задействуют для доставки «последней мили».

Шестиколесный робот может развивать скорость до 20 км/час и подниматься или спускаться по лестнице с высотой ступенек до 20 см. Габариты устройства составляют 170 см в длину, 116 см в ширину и высоту.

💬 В 2022 году ученые запустят тестирование автономных курьеров в Эсплугес-де-Льобрегат (Испания), Гамбурге (Германия) и Дебрецене (Венгрия). По словам исследователей, их разработка снизит транспортные расходы на доставку и позволит уменьшить загрязнения воздуха в городах.

#Испания #роботы

🌫 Американские ученые создали ИИ-систему обнаружения тумана для повышения безопасности гражданских авиаперелетов. Его уже применяет Национальная метеорологическая служба США по всей стране.

Система использует алгоритмы машинного обучения и полученные в режиме реального времени метеорологические спутниковые данные, чтобы круглосуточно отслеживать образование тумана и низких облаков. Она позволяет авиакомпаниям предотвращать задержки рейсов и при необходимости менять маршруты полетов.

☝️ По словам ученых, авиационная отрасль предъявляет различные требования в зависимости от самолета. Малогабаритные аппараты полагаются на другой набор правил из-за отсутствия продвинутого оборудования в отличие от более крупных авиалайнеров. Система на базе ИИ подходит для обоих типов самолетов и делает воздушные перевозки более безопасными, добавили исследователи.

#США #транспорт

🇷🇺 В Госдуму внесут законопроект о регулировании рекомендательных систем. В парламенте заявили, что документ уже «практически готов».

По словам зампредседателя Госдумы по информационной политике, информационным технологиям и связи Антона Горелкина, люди должны сами решать, хотят они видеть контент в хронологическом порядке или отобранный искусственным интеллектом.

Депутат пояснил, что в первую очередь правила коснутся видеохостингов и соцсетей, так как эти ресурсы потенциально оказывают влияние на общественное мнение.

☝️ Горелкин также отметил, что государство не должно вмешиваться в работу алгоритмов, однако «постоянный общественный контроль необходим».

https://forklog.com/v-gosdumu-vnesut-zakonoproekt-o-regulirovanii-rekomendatelnyh-algoritmov-sotssetej/

#Россия #регулирование

🛒 «ВкусВилл» открыл автоматизированный супермаркет без касс и продавцов в Москве. Это первый запущенный ритейлером магазин нового формата.

В супермаркете площадью 52 кв. м. представлено около 220 позиций товаров. Покупателю достаточно при входе просканировать QR-код через приложение «ВкусВилла», взять с полок продукты, сложить их в сумку и выйти через специальный турникет — оплата спишется с карты автоматически.

Супермаркет оборудован интеллектуальной системой с компьютерным зрением от ИИ-разработчика Neurus. Сотрудники посещают магазин только утром, чтобы разложить свежие продукты по полкам. Также на входе покупателей встречает консультант.

💬 По данным «ВкусВилла», в первые две недели работы в супермаркете совершали около 70 покупок ежедневно, а один чек включал до трех позиций. Последующее развитие проекта определят по отзывам потребителей.

#ВкусВилл #отслеживание

🚁 В США протестировали вертолет «Черный ястреб» без людей на борту. Машина 30 минут самостоятельно летала над базой Форт-Кэмпбелл в Кентукки.

Управление перспективных исследовательских проектов Министерства обороны США (DARPA) оснастило вертолет экспериментальной ИИ-системой автоматизации полетов ALIAS. По данным агентства, это «настраиваемый, устанавливаемый, съемный комплект», сочетающий аппаратное и программное обеспечение для уменьшения рабочей нагрузки на экипаж.

Во время испытаний аппарат прошел предварительную проверку, самостоятельно поднялся и пролетел по смоделированному Нью-Йорку, огибая виртуальные небоскребы на Манхэттене. Затем вертолет также автономно приземлился.

🗣 В DARPA заявили, что в будущем ALIAS сделает летательные аппараты умнее и безопаснее, что позволит пилотам сосредоточиться на полетах, а не на механике.

#США #транспорт

🎧 Adobe добавила в видеоредактор Premiere Pro функцию на базе ИИ Remix для синхронизации музыки с роликами. Также разработчики обновили инструмент преобразования речи в текст.

Remix анализирует звуковую дорожку и генерирует новый микс в соответствии с требуемой продолжительностью контента. В компании заявили, что инструмент позволяет сократить время создания аранжировки до нескольких секунд в отличие от нескольких часов ручного редактирования.

⚙️ Функция преобразования речи в текст для создания субтитров к видео стала «быстрее и гибче», заявили в Adobe. Загружаемые языковые пакеты позволяют пользователям транскрибировать ролики без подключения к интернету. По данным компании, на компьютерах с Intel Core i9 и Apple M1 инструмент работает в три раза быстрее предыдущей версии, а на других современных процессорах — в два раза.

#Adobe

🔮 Amazon в новом рекламном ролике показала, что было бы умей Alexa читать мысли. Главных героев сыграли Скарлетт Йоханссон и Колин Джост.

В начале видео Джост показывает жене реальную функцию помощника по управлению умным домом Hunches, активируя его фразой «Alexa, сегодня день игры». В ответ на это ИИ включает спортивный канал на телевизоре, закрывает жалюзи и охлаждает вино. После этого герои говорят «как будто она может читать наши мысли», что затем ассистент и начинает делать.

☝️ В конце ролика супруги отмечают, что «хорошо, что Alexa не умеет читать мысли».

#Amazon