Олимпиады, доступные алгоритму |
||
МЕНЮ Главная страница Поиск Регистрация на сайте Помощь проекту Архив новостей ТЕМЫ Новости ИИ Голосовой помощник Разработка ИИГородские сумасшедшие ИИ в медицине ИИ проекты Искусственные нейросети Искусственный интеллект Слежка за людьми Угроза ИИ ИИ теория Внедрение ИИКомпьютерные науки Машинное обуч. (Ошибки) Машинное обучение Машинный перевод Нейронные сети начинающим Психология ИИ Реализация ИИ Реализация нейросетей Создание беспилотных авто Трезво про ИИ Философия ИИ Big data Работа разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика
Генетические алгоритмы Капсульные нейросети Основы нейронных сетей Распознавание лиц Распознавание образов Распознавание речи Творчество ИИ Техническое зрение Чат-боты Авторизация |
2024-08-02 11:48 Недавно прошла такая новость: «Нейросетевые алгоритмы AlphaProof и AlphaGeometry 2, успешно решили четыре из шести задач на Международной математической олимпиаде. ИИ справился с двумя задачами по алгебре и одной по теории чисел, включая самую сложную, а также с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными. Системы набрали 28 из 42 возможных баллов, что соответствует серебряной медали на IMO.» Уже давно и не раз было сказано, что решение олимпиадных задач сродни творчеству ученых-математиков. С той лишь разницей, что научные проблемы требуют десятков таких шагов и открытий, которые дети совершают на олимпиадных состязаниях. IMO — высший уровень математических олимпиад, и из приведённой информации можно сделать вывод, что ИИ достиг высот профессиональных математиков. Казалось бы, дело за малым: нагрузить упомянутые нейросети нерешёнными проблемами, и можно непрерывно выдавать публикации в ведущих математических журналах (где WoS, Scopus и Q1 — мечта вузовских профессоров и доцентов). Но о математических открытиях, сделанных ИИ, ничего не слышно. И неслучайно. Успех нейросетей в решении олимпиадных задач имеет простое объяснение. Олимпиады в мире давно поставлены на поток, и они постоянно требуют новых заданий. Что-то принципиально новое, доступное школьнику с его весьма ограниченной математической базой, придумать не так просто. Составители олимпиадных задач («математические композиторы») временами выдают свежие идеи, но чем дальше — тем реже, ибо это поле «пашут» уже многие десятки лет. Поэтому (как правило) используют идеи прежних задач, но в новой упаковке, чтобы внешне они выглядели оригинальными. В такой ситуации для решения большинства заданий достаточно найти их аналог в базе олимпиад «всех времён и народов». И это вполне под силу современному ИИ. Опытные педагоги (в «школах талантов») используют похожую схему. Они систематизируют идеи, использованные в прежних олимпиадах, и доводят их до учеников. В итоге воспитанники этих учителей многие «новые» задачи уже умеют решать. Надо только «распаковать» их (снять «камуфлирующую обёртку»), дойти до сути и записать решение. Грубо говоря, на олимпиады можно натаскать (далеко не каждого, разумеется). Что и происходит нередко, и является одной из причин, в силу которых значительная часть «олимпиадников» проявляет себя только там и потом нигде кроме. Источник: vk.com Комментарии: |
|