теория чиселСбросить фильтр ×

Почему число √7 невозможно получить геометрически из кубов

Х@habr_comмедиа / агрегатор
1 нед
Понадобилось две тысячи лет, чтобы найти причины отсутствия √7 На вирусной картинке всего два соединённых куба и шесть отрезков. Их длины образуют красивую последовательность от √1 до √6. Хочется продолжить ряд. Добавляем ещё один куб — получаем √9, √10 и √11. Добавляем куб снизу — появляется √8. А вот √7 всё нет. Можно пристраивать новые кубы сколько угодно, но семёрка так и не появится. Эта странность ведёт к гораздо более общей математической задаче, над которой в разные эпохи работали Диофант, Ферма, Эйлер, Лежандр и Гаусс. Путь от простой геометрической конструкции до полного объяснения занял более двух тысяч лет.
Почему число √7 невозможно получить геометрически из кубов

OpenAI: модель Astra улучшила оценку разрыва между простыми числами до 186

OpenAI начали публиковать теоремы и доказательства, найденные их моделью Astrai. Первый выложенный результат касается классической задачи аналитической теории чисел о разрыве между соседними простыми числами: Astra опустила константу C до 186, и OpenAI выложили формальное доказательство в Leani на GitHub.

Задача формулируется так: существует ли константа C, такая что бесконечно много пар соседних простых чисел отличаются не более чем на C. Конечность такого разрыва была впервые доказана в 2013 году, после чего константу постепенно снижали усилиями математиков — и теперь в этот процесс включилась ИИ-модель.

ВыводOpenAI выложили результаты на GitHub: репозиторий LongGapsBetweenPrimes и репозиторий PrimeGaps186 с формальным доказательством в Lean

186новая константа разрыва между простыми
246константа Polymath8 (2014)
240константа Штадльманн

Полный разбор →

Это всё на сейчас.