Новости по акциям компании GOOGLE (ALPHABET)
Новость: положительная. DeepMind от Google заявляет, что ее искусственный интеллект может решать задачи олимпиад по математике. Google DeepMind, исследовательское подразделение Alphabet Inc. в области искусственного интеллекта, заявило о достижении успехов в решении сложных математических задач — области, которая по-прежнему остается сложной для современных программ искусственного интеллекта. В четверг Google выпустила AlphaProof, специализирующуюся на математическом обосновании, и AlphaGeometry 2, обновленную версию модели, ориентированной на геометрию, которую компания представила ранее в этом году. Программы успешно справились с четырьмя из шести задач, представленных на Международной математической олимпиаде, ежегодном соревновании, в котором студенты решают такие темы, как алгебра и геометрия, сообщила Google в своем блоге. В индустрии ИИ, где сравнение между предложениями затруднено, решение математических задач стало ключевым доказательством. Это связано с тем, что большие языковые модели, которые обучаются на огромных объемах письменного текста, как правило, склонны быть предвзятыми в сторону лингвистического, а не математического интеллекта. В то время как компьютеры хороши в числах и традиционных вычислениях, математические задачи на основе слов выходят за рамки этих норм и требуют более сложных навыков рассуждения. Хотя инструменты ИИ становятся более эффективными в естественном общении или создании изображений, они часто сталкиваются с проблемами, требующими планирования или многоэтапного решения. Но Google и ее конкуренты не сдаются. Крупнейший конкурент компании, OpenAI, также работает над новой технологией рассуждений, сообщает Bloomberg. AlphaProof развился из программ Google AI, которые преуспели в сложных стратегических играх, таких как шахматы, сёги и го, заявила Google. Программа DeepMind, как известно, победила одного из лучших игроков в го в мире в 2016 году. Большие языковые модели имеют тенденцию галлюцинировать или предоставлять неверную информацию в убедительной форме. Google заявила, что обошла эту проблему, используя свой ИИ для перевода математических задач в технические утверждения или то, что она назвала «формальным языком». Еще одной проблемой для систем ИИ в математике является отсутствие доступных данных для обучения, в отличие от чат-ботов, которые могут извлекать информацию из огромных массивов текста в Интернете. Поскольку модель AlphaProof от Google успешно решает проблемы, ее код обновляется, что позволяет ей решать все более сложные задачи, заявила компания. Компания также выпустила улучшенную версию своей модели искусственного интеллекта AlphaGeometry, которая, по ее словам, смогла решить 83% всех задач по исторической геометрии, включенных в Международную математическую олимпиаду за последние 25 лет. Но исследователи Google также заявили, что ИИ далек от того, чтобы заменить математиков-людей с его возможностями решения проблем. «Даже в самых амбициозных планах того, что мы пытаемся сделать, я думаю, мы стремимся предоставить систему, которая может доказать что угодно», — сказал Дэвид Сильвер, вице-президент Google DeepMind по обучению с подкреплением. «Но это не конец того, что делают математики». Сильвер сказал, что модели ИИ DeepMind больше похожи на логарифмические линейки или калькуляторы: мощные вычислительные инструменты, которые однажды могут помочь людям придумывать математические доказательства. Но системам ИИ не хватает воображения. «Математики ставят интересные задачи», — сказал он. Авторы: Davey Alba,Julia Love. Источник: www.bloomberg.com
Пост взят с международного финтех-медиа ресурса
ДЛЯ ЛЮДЕЙ