Astra знайшла нову межу розриву між простими числами
OpenAI представила нове формальне доказательство, яке знизило межу розриву між простими числами до 186. Це важливий крок у аналітичній теорії чисел.
Astra знайшла нову межу розриву між простими числами
Це одна з класичних і найвідоміших задач аналітичної теорії чисел. Питання стоїть таким чином: чи існує константа C, така що безкінечно багато пар сусідніх простих чисел відрізняються не більше ніж на 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 Вульфі Бейн назвав чотири ключові правила резюме: стислість, релевантність, акцент на результатах і правильний порядок досягнень.