математика

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

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

Физики более десяти лет не могли доказать простое математическое соотношение a + b = 1, возникающее при описании явления джамминга — перехода системы из текучего состояния в жёсткое без образования кристаллической структуры. Решить задачу помогла языковая модель Claude, которая предложила идею...

Математики десятилетиями изучали задачу о том, сколько точек нужно соединить линиями, чтобы в рисунке неизбежно появился порядок. Эта задача связана с теорией Рамсея, которая исследует моменты, когда при любой раскраске линий обязательно появляются одноцветные группы. Новое решение было найдено...

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

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

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

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

Математик Ричард Эван Шварц решил сложную задачу о минимальном числе сгибов для создания бумажного тора. Его работа доказала, что для создания бумажного пончика требуется минимум 8 вершин. Ричард Эван Шварц опубликовал исследование, в котором доказал, что бумажный тор можно создать с...

Система AlphaProof Nexus от Google DeepMind совершила прорыв в математике, решив девять сложных задач, две из которых оставались без ответа 56 лет. Используя комбинацию языковой модели и строгой проверки доказательств, система смогла предложить решения, которые прошли машинную проверку...