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