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

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

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

Мы в 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