Опубликовано

Мнения математиков о том, как ИИ опроверг гипотезу Эрдёша

Новость «ИИ опроверг важную гипотезу Эрдёша» нашумела, в том числе на Хабре. Но всем, кроме математиков, по громким заголовкам сложно понять масштаб события. Что это значит: революцию в науке или мелкую разовую удачу? Как это правильно оценить?

Мы в Kodik занимаемся не математикой, а редактором кода с ИИ. Но именно поэтому такие истории интересны и нам: они позволяют наблюдать не только очередной виток хайпа вокруг LLM, но и постепенный заход ИИ в области, которые ещё недавно считались слишком сложными для подобных систем.

По исходному блог-посту от OpenAI оценить событие сложно, ведь компания заинтересована приукрашивать возможности своей модели. Но среди опубликованного OpenAI есть и более ценный материал: мнения ряда математиков о произошедшем.

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

Читать далее
Мнения математиков о том, как ИИ опроверг гипотезу Эрдёша
Source: geektimes

Опубликовано

4 интересных парадокса, рождающих жаркие дискуссии

Парадокс Протагора и Эватла

Знаменитый философ и учитель софистики Протагор обучил юношу Эватла юриспруденции. Ученик обещал заплатить за обучение, но только если выиграет свой первый судебный процесс. Однако после окончания учебы Эватл не стал браться за дела и платить отказался. Тогда учитель подал на него в суд.

Спор:

Аргументация Протагора: Если Эватл проиграет суд, то он обязан заплатить по решению суда. Если Эватл выиграет суд, он выиграет свой первый процесс, а значит, обязан заплатить по условиям их изначального договора. Вывод учителя: при любом исходе ученик должен отдать деньги. Контраргументация Эватла: Если я выиграю суд, то по решению суда я ничего не должен платить. Если я проиграю суд, то я не выполнил условие договора (не выиграл свой первый процесс), а значит, по контракту я тоже ничего не должен платить. Вывод ученика: я не должен платить ни при каком исходе.

Рассуждения:

Логическая ошибка кроется в интерпретации фразы «выиграл процесс». У Протагора: «выиграть процесс» — это просто сам факт победы в суде (успешный исход дела). У Эватла: «выиграть процесс» — это значит освободиться от уплаты. Эватл подменяет понятия. Он считает, что если он выиграл суд, значит, он не должен платить по договору. Но одно не исключает другое: он может выиграть суд и при этом быть обязанным выплатить гонорар, потому что суд доказал его статус выигравшего дело (тем самым активировав договор).

Если рассматривать парадокс с точки зрения судебного права, то он возникает из-за смешения двух разных юрисдикций: условий частного контракта (договора) и власти судебного решения (закона). В логике этот софизм решается так:

Читать далее
4 интересных парадокса, рождающих жаркие дискуссии
Source: geektimes

Опубликовано

Чтение на выходные: «Разработка игр и теория развлечений» Рафа Костера

Большинство из нас проводит в играх немало времени, даже если не называет себя геймерами. Но почему одни игры мы проходим запоем, а другие бросаем на пятой минуте? Что делает Tetris вечным, а очередной блокбастер скучным уже через неделю после покупки? Этим вопросом задался человек, который точно знает, о чём говорит: Рэф Костер, один из архитекторов первых массовых онлайн-миров.

Костер — легендарная фигура в геймдеве. Начинал ещё с MUD-ов, текстовых многопользовательских миров, где весь геймплей крутился вокруг набранных команд. Потом был ведущим дизайнером Ultima Online — игры, которая в конце 90-х подарила миллионам ощущение жизни в альтернативной вселенной. Позже — креативным директором Star Wars Galaxies. В 2012 году его назвали «Легендой онлайн-игр» на конференции разработчиков — формальное признание того, что сообщество и так давно знало.

Читать далее
Чтение на выходные: «Разработка игр и теория развлечений» Рафа Костера
Source: geektimes

Опубликовано

3 известные интересные задачи на логику

У вас есть две веревки и коробок спичек. Каждая веревка сгорает ровно за 1 час. При этом они горят неравномерно (например, первая половина может сгореть за 5 минут, а остаток — за 55 минут). Как с помощью этих веревок отмерить ровно 45 минут?

Решение: Поджигаем первую веревку с обоих концов одновременно, а вторую веревку — только с одного конца. Первая веревка полностью сгорит ровно через 30 минут (так как пламя встретится). В этот самый момент поджигаем второй конец второй веревки. Ей оставалось гореть 30 минут с одного конца, но с двух концов она сгорит в два раза быстрее — за 15 минут. Итого: 30 + 15 = 45 минут.

Читать далее
3 известные интересные задачи на логику
Source: geektimes

Опубликовано

[Перевод] Неожиданная встреча: теория графов вновь помогла решить проблему в анализе Фурье

Математики до сих пор пытаются понять фундаментальные свойства преобразования Фурье, одного из самых распространённых и мощных инструментов в математике. Новый результат стал важным шагом к достижению этой цели. 

Два столетия назад Жозеф Фурье подарил математикам волшебный метод. Он предположил, что почти любую функцию можно представить в виде суммы простых волн — этот приём теперь называется преобразованием Фурье. В наши дни преобразование Фурье используется для понимания всего, от химического состава далёких звёзд до процессов, происходящих глубоко под земной корой.

Читать далее
[Перевод] Неожиданная встреча: теория графов вновь помогла решить проблему в анализе Фурье
Source: geektimes

Опубликовано

[Перевод] Физики нашли свидетельства того, что Вселенная не идеально однородна, вопреки стандартной модели космологии

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

В работе объединены наблюдения за далёкими взрывающимися звёздами и крупномасштабные обзоры галактик. Цель исследования — проверить, действительно ли Вселенная следует почти 100-летней математической модели, известной как космология Фридмана — Леметра — Робертсона — Уокера (FLRW). Анализ выявил слабые, но интригующие отклонения от предсказаний стандартной модели.

Читать далее
[Перевод] Физики нашли свидетельства того, что Вселенная не идеально однородна, вопреки стандартной модели космологии
Source: geektimes

Опубликовано

ИИ существовал до компьютеров: Крышесносные примеры, часть 2

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

Читать далее
ИИ существовал до компьютеров: Крышесносные примеры, часть 2
Source: geektimes

Опубликовано

Тупик на игровом поле: почему образовательные и научные настольные игры в 2026 году сжимаются

Ещё пять-шесть лет назад полки детских магазинов и каталоги краудфандинговых платформ пестрели проектами с маркировками STEM, «логика», «программирование без экрана» и «научно-обоснованно». Аналитики предрекали категории устойчивый рост, а издатели один за другим запускали отдельные импринты для «умных» настолок. К 2026 году картина радикально изменилась: сегмент не просто перестал расти — он последовательно сокращается. Новинок от крупных игроков почти нет, краудфандинг-кампании проваливаются, а в России направление фактически вернулось в состояние маргинальной ниши или ушло в бюрократические отчёты. Разберём, почему так произошло на глобальном и локальном рынках.

Читать далее
Тупик на игровом поле: почему образовательные и научные настольные игры в 2026 году сжимаются
Source: geektimes

Опубликовано

Астрологическая схемотехника

Поп-астрология рассказывает про влияние планет, про проработку аспектов. Скептики ждут точных ответов. И вообще, все это окутано туманом мистики, гаданиями на кофейной гуще.

Но давайте отбросим эти глупости из женских журналов. Я не предлагаю верить или не верить. Просто хочу показать, как это работает.

Есть схемотехники в зале?

Когда вся эта астрология появилась, не было схемотехники. Но сейчас она есть, и есть элементная база.

Поэтому предлагаю рассмотреть натальную карту как принципиальную схему.

Читать далее
Астрологическая схемотехника
Source: geektimes

Опубликовано

Человеческие головы, сандалии и лягушки: стегоконтейнеры за тысячи лет до первого компьютера

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

В блог Бастиона снова заглянула кандидат исторических наук, старший научный сотрудник Московского музея криптографии Анастасия Ашаева. Она рассказала о том, какой путь прошла стеганография с древнейших времен до современности, какие стегоконтейнеры использовались в разные исторические эпохи. Отдельное внимание эксперт уделила конкретным кейсам применения стегоконтейнеров. Передаем ей слово.

Читать далее
Человеческие головы, сандалии и лягушки: стегоконтейнеры за тысячи лет до первого компьютера
Source: geektimes