Модель Astra опустила границу разрыва между простыми числами с 240 до 186

Astra улучшила известную границу разрыва между простыми числами: OpenAI выложила формальное доказательство того, что бесконечно много пар соседних простых отличаются не более чем на 186. Раньше рекорд был 240.

Вопрос о существовании такой константы — классическая задача аналитической теории чисел, решённая только в 2013 году. Проект Polymath8 под руководством Теренса Тао довёл её до 246, недавно Джулия Штадльманн подвинула до 240.

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

Emad@EMostaque

If you are sitting 🪑 on a human led result in mathematics how can you not release it asap It’s clear that anything in verifiable theory will get blasted by the next generation of models given appropriate encouragement Crazy times

2353 сентября 2026