Истории (не)успеха (ИИ)ЕИ
444 subscribers
172 photos
89 videos
2 files
270 links
Просто о математике, нейросетях, программировании, спорте, политике, культуре. Общение, контакты, международные онлайн дискуссии/лекции в формате лайвстрим, встречи на спорт в Мюнхене.
Download Telegram
Вот несколько деталей и мотивация, почему это интересно 👆:

1️⃣ Соревнования только стартовали, а продлятся целый год — времени хватит на эксперименты, улучшения и изучение новых подходов.

2️⃣ Каждому пазлу прилагается ноутбук с примером решения.

Сегодня я выложу пример в Каггл пример ноутбука с решением для пазла Christopher’s Jewel. Но не обязательно решать так же.
Можно использовать любые методы — главное, кто найдёт самые короткие решения для заданного класса пазлов.

Если понадобится, могу помочь разобраться с ноутбуками.

3️⃣ Теоретический интерес:

Все эти соревнования основаны на нерешённых математических задачах о диаметре графа Кэли соответствующей группы.

Существует гипотеза о том, как диаметр растёт с увеличением числа элементов группы. Даже Теренс Тао пытался доказать её, но не смог.

Кто знает, может с помощью машинных методов именно вы добьётесь успеха? 💡

Например, чистые математики, которые тоже читают эту группу и не особо любят программировать и не занимаются МL могут скооперироваться с теми, кто любит программировать и МL - пишите в комменты!

4️⃣ Практическая сторона:

Некоторые задачи проще описать на примере кубика Рубика.
Для 3×3×3 известно так называемое число Бога — 20 вращений.
Для 4×4×4 и многих других головоломок диаметр не известен, и найти его — реально интересная и открытая проблема. Вот то что Теренс Тао не смог доказать, там ещё побиться надо, а это более реальный и вроде-бы быстрый, но таки новый математический результат! Есть возможность прославиться! 😀

5️⃣ И много других любопытных вопросов ждёт внутри соревнований: оптимальные пути, перестановочные головоломки, алгоритмические эксперименты, RL с разреженной наградой и т.д.

🚀 В общем, есть где развернуться и проверить себя на пересечении математики, программирования и AI.

Хотите лайв-стрим с введением в эти темы и парой советов как лучше в эту тему вьехать?
🔥51
Кто хочет лайв-стрим с введением в инструменты для соревнований по нахождениям путей в графах Кэли/подгруппах симметрической группы?
Anonymous Poll
25%
Я собираюсь участвовать и хочу лайв-стрим
69%
Я ещё не знаю, буду ли участвовать, но хочу лайв-стрим
0%
Я буду участвовать, но не хочу лайв-стрим
6%
Я не буду участвовать и не хочу лайв-стрим
🚀 Соревнования по ИИ в графах Кэли / подгруппах симметрической группы: дата и время лайв-стрима?

Для пазла Christopher's Jewel уже сам Томас Рокицки засабмитил решение — тот самый исследователь, который доказал, что число Бога для кубика Рубика 3×3×3 равно 20. Надо попробовать побить решения Томаса на остальных пазлах :-)

Сейчас готовлю ноутбук с решением Christopher's Jewel — он будет в открытом доступе самое позднее в понедельник. Можно использовать его как основу, но совершенно не обязательно: подойдут любые подходы к поиску кратчайших решений. Хотите — используйте RL, хотите — другие методы. Главное — искать именно минимальные сборки.

👉 Число Бога для Christopher's Jewel пока не известно. Экспериментально у меня получается максимум 18 вращений, но это не доказано.


Остальные пазлы для соревнования:

Pancake sorting
Transposons
Reversals
Glushkov problem
RapapportM2
Rubik's cube 444
Professor Tetraminx
Megaminx
Christophers jewel
SuperCube from IHES


📺 На следующей неделе хочу провести лайв-стрим с введением в эти темы и формат соревнований чтобы понизить порог входа в эту тему. Когда вам удобно? Напишите в комментариях
5🔥1
Апдейт к этому посту. 👆👆👆

Уже нашли для Christopher’s Jewel Puzzle 4 состояния, которые пока не решили быстрее чем за 19 ходов. Выше я предполагал, что все решается за 18 ходов.

Томас Рокицки написал, что знает одно состояние которое не решается менее чем за 20 ходов.

Присоединяйтесь к соревам! На выходных проведем лайв-стрим с введением в графы Кэли/подгруппы симметрической группы, методы машинного обучения для таких задач, Каггл и т.д. - понизим порог входа в эти задачи!
👍3
🎄 «Цыплят по осени считают», как гласит народная мудрость. А какая научная работа в этом году заставила вас сказать «ВАУ»?

Да, до Нового года ещё аж целых три месяца, коллеги , но почему бы уже не начать подводить итоги? Что сделали физмат-науки за этот год, что вас действительно впечатлило?

В моём поле зрения оказалось два ярких кандидата на результат года:

1️⃣ Теория сложности: свежий взгляд на разделение классов P и PSPACE — новое понимание времени и пространства в вычислениях.
2️⃣ Матфизика: шаг к решению 6-й проблемы Гильберта — корректный предельный переход между неравновесной термодинамикой и уравнениями Навье–Стокса.

Но интересно не только моё мнение:
💡 Какие работы этого года заставили вас сказать «вау»? В любой области науки.
Давайте вместе составим наш рейтинг 2025 года! 🏆
🚨 Займёмся развенчиванием мифов: выигрывал ли ИИ последнюю всемирную олимпиаду по математике среди школьников (IMO 2025)?🚨

В СМИ разошлись заголовки: «ИИ выиграл IMO-2025», «Gemini взял золото». Звучит громко, но это не совсем так. Давайте разберёмся.

👩‍🎓 Кто реально участвует в IMO:
IMO — это олимпиада школьников (14–19 лет), не студентов и не взрослых. В 2025 году участвовало 630 школьников из 110 стран.

По результатам:
• 67 золотых медалей
• 145 серебряные
• 159 бронзовых

5 участников набрали идеальные 42 балла.
📌 Источник: imo-official.org
Эти участники:
• Ivan Chasovskikh (под нейтральным флагом)
• Warren Bei (Канада)
• Satoshi Kano (Япония)
• Leyan Deng (Китай)
• Hengye Zhang (Китай)

🤖 Что делал ИИ

Впервые при IMO прошёл отдельный конкурс AI Mathematical Olympiad Prize с призом $10 млн. Его цель — поддержка открытых моделей ИИ. Победителем стала команда NemoSkills.
Формат и регламент изучаю. Напишу в продолжении к этому посту, уже не сегодня.

Кроме того, Google DeepMind протестировал свою модель Gemini Deep Think на задачах IMO-2025.
Решения модели проверили официальные координаторы IMO. Итог: 35 баллов из 42, что соответствует уровню золотой медали.

🛑 Где возникло недоразумение

DeepMind написал: «Gemini achieved gold medal standard» — то есть «достиг уровня золотой медали».

Но многие СМИ перевели и подали это как «ИИ выиграл олимпиаду».

Важно:
Gemini не был официальным участником IMO.
Ему не вручали медаль.
Не набрал количества баллов, которые набрали 5 школьников.
Его результат — это вне конкурса, демонстрация возможностей модели.

🗣 Что сказали организаторы IMO
Президент IMO Грегор Долинар:


«Приятно видеть прогресс ИИ, но IMO не может проверять методы (объём вычислений, наличие человеческого вмешательства, воспроизводимость). Мы можем лишь сказать: правильные доказательства ценны сами по себе — будь то от школьников или от ИИ».



⚡️ Вывод:
Медали IMO-2025 получили только школьники.
ИИ показал результат «на уровне золота», но не выигрывал олимпиаду. Кроме того, не известно, насколько имело место человеческое вмешательство. По моему нынешнему пониманию большие языковые модели часто требуют человеческой помощи, к примеру в виде формализации задач. Но пока точно не уверен, изучаю тему. Школьники же сидели в аудитории без интернета и решали сами. Уже поэтому сравнивать не корректно?

Продолжение следует
👍32
До конца с ИМО мы разберёмся, но пока небольшой опрос. Как вы думаете? Кто выиграл ИМО 2025?
Anonymous Poll
33%
ИИ
51%
Школьники
16%
Победила дружба
В соседнем канале началась дискуссия по поводу ИИ и математических олимпиад и я предложил решить вот это 👇
Forwarded from Dmitry
Вот простая задача. На последней ИМО были вроде аналогичные задачи, но там вопрос более сложный ставился, тут просто всё сделаем. решайте как хотите, хоть передовыми моделями, хоть ручкой и бумагой, хоть чем - не важно. Я выставлю потом решение.

Сколько перемешанных состояний существует у пазла на картинке (с учётом естественных симметрий)?
Проводим эксперимент, сейчас одна девочка попробует решить эту задачу 👆ручкой и бумагой
ссылки к лайв-стриму в комментариях:

https://alpha.twizzle.net/
Live stream finished (1 hour)
Live stream finished (9 minutes)
на стриме я сказал, что у нас нет года, вот сам Томас Рокицки пишет, ну и думайте, решать быстро или ждать год и решть меделенно:
Томасу можно написать и спросить, но пока он не очень раскрывает секреты своих оптимальных солверов на графах Кэли. Но его можно спросить. Пока никто не спрашивал.
Про Нобелевскую премию по физике, которая была присуждена на днях, уже много кто написал — подробно расписывать не буду.
Перепощу из канала Михаила, с которым мы делали лайв-стрим в июле (вторая часть тут):

👉 https://t.iss.one/homeostatic_universe/223

От себя отмечу лишь, что эксперименты, за которые дали премию, были проведены ещё в 80-х. То есть, премия была вручена за фундаментальную работу, сделанную почти 40 лет назад, — и тем не менее её результат оказался устойчивым, влиятельным и технологически важным.

Если я правильно понимаю, я ведь не физик, то технологическая важность в том, что на основе этих экспериментов построены современные сверхпроводящие кубиты — основа квантовых компьютеров Google, IBM и других.

#NobelPrize #Physics
В любом случае, как вы видите - результаты оцениваются десятилетия позже чем они были сделаны. Давайте поговорим об этом годе? Какие ваши любимые физмат-результаты в этом году?
🎄 «Цыплят по осени считают», как гласит народная мудрость. А какая научная работа в этом году заставила вас сказать «ВАУ»?

Да, до Нового года ещё аж целых три месяца, коллеги , но почему бы уже не начать подводить итоги? Что сделали физмат-науки за этот год, что вас действительно впечатлило?

В моём поле зрения оказалось два ярких кандидата на результат года:

1️⃣ Теория сложности: свежий взгляд на разделение классов P и PSPACE — новое понимание времени и пространства в вычислениях.
2️⃣ Матфизика: шаг к решению 6-й проблемы Гильберта — корректный предельный переход между неравновесной термодинамикой и уравнениями Навье–Стокса.

Но интересно не только моё мнение:
💡 Какие работы этого года заставили вас сказать «вау»? В любой области науки.
Давайте вместе составим наш рейтинг 2025 года! 🏆
🔥4