Astra нашла новую границу разрыва между простыми числами
OpenAI представила новое формальное доказательство, которое снизило границу разрыва между простыми числами до 186. Это важный шаг в аналитической теории чисел.
Astra нашла новую границу разрыва между простыми числами
Это одна из классических и самых известных задач аналитической теории чисел. Вопрос стоит таким образом: существует ли константа С, такая что бесконечно много пар соседних простых чисел отличаются не более чем на C?
Конечность такого разрыва впервые доказали только в 2013. В 2014 проект Polymath8 Теренса Тао довел константу до 246, а совсем недавно Джулия Штадльманн подвинула ее до 240.
Astra опустила C до 186: OpenAI выложили формальное доказательство в Lean. Детали на GitHub
Не сказано, что модель обнаружила оценку полностью автономно. Плюс результат упирается в три аксиомы, которые есть в литературе, но формально не были доказаны в Lean. И все-таки результат есть результат. Также OpenAI заявляет об улучшении члена в оценке больших разрывов между простыми, которая не менялась 80+ лет.
Почему это важно
АналитикаЭто открытие имеет большое значение для аналитической теории чисел, так как уменьшает границу разрыва между простыми числами, что может повлиять на дальнейшие исследования в этой области.
Обсудить в сообществе
Делитесь опытом и мыслями с ИИ-разработчиками
Связанные материалы экосистемы
Практические гайды, терминология и агентские скиллы
OpenAI выпустила модель GPT-6 Cyber, которая нашла 948 уязвимостей в ядре Linux
OpenAI представила специализированную ИИ-модель GPT-6 Cyber, которая обнаружила 948 уязвимостей в ядре Linux и более 80 критических уязвимостей в Firefox.
OpenAI: GPT-6 Astra сокращала работу примерно на 40%, когда задачи подавались как исследования безопасности
В новом отчёте OpenAI говорится, что модель GPT-6 Astra выполняла примерно на 40% меньше работы, когда одинаковые задачи по программированию описывались как исследования безопасности ИИ.
Codex Skills для начинающих: автоматизация рабочих сценариев ИИ-агента
Практическое руководство по созданию и использованию Skills в Codex: анатомия SKILL.md, явная и авто-активация, разница между навыками, скриптами и тулами, Skills API и настройка безопасности.
GPT Mini (Компактные модели серии GPT-4o mini)
Экономичная и ультрабыстрая версия флагманских моделей OpenAI. Оптимизирована для массовых повседневных задач, мгновенных ответов, классификации текстов и экономии лимитов.