kto123456

OpenAI выложило в открытый доступ решения нескольких сотен "математических проблем столетия" из самых разных областей математики. Сама модель не находится в открытом доступе, для формальных доказательств использовался Lean (язык для доказательства теорем). Настроения в бывшем твиттере самые разнообразные, от эйфории и "невероятный прогресс в науке" до скептичного "это требует доказательств" и "ИИ просто позаимствовал имеющиеся наработки и закончил на основе работ других авторов". Если бы это доказали люди, то за это точно дали бы несколько десятков Филдсовских премий.

Видимо, этот день войдет в историю либо как самый важный день за всю историю математики (либо как массивный PR от OpenAI).

Ссылка на репозиторий: https://github.com/openai/math

Ссылка на статью: https://www.nytimes.com/2026/10/06/science/openai-math-probl... (ссылка не включена в основные запретительные списки РФ)


Ссылка на Реддит: https://www.reddit.com/r/Physics/comments/1wzgqwn/openai_dro...

Считаю своим долгом поправить расчеты автора.
Спойлер: он ошибся в 100 раз, но всё равно мало, ~6.2e+24. Как получается такое число? Гелиосфера действительно заполнена нейтральным водородом (это отдельный вопрос), но основная компонента это ионы водорода - протоны - и некоторые другие ионы, и они не стоят на месте, а двигаются со средней скоростью 400 км/с. Итого, через уловитель будет каждую секунду прокачиваться количество частиц, которое составляет
S (1 км^2) * 400 км/c * 1 с * n(1000000 ч/м^3) = 4*10^17 частиц.
Примем, что среднее путешествие до Марса составляет 6 мес., итого будет поймано
4*10^17 * 3600 (секунд в часу) * 24 (часа) * 180 (полгода) ~ 6.2*10^24