Добавлена поддержка Ежчана (
ejchan.net,
ejchan.site). Набегаем, тестируем архивацию,
сообщаем о замеченных проблемах.
К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (
подробности случившегося). Мы призываем всех неравнодушных
помочь нам с восстановлением утраченного контента!
OpenAI говорит, что их внутренняя система (значительно мощнее недавно выпущенной GPT-6 Astra) с помощью системы из 10 тысяч агентов нашла аналитическое доказательство и формализацию в Lean. Согласно их работе, при наличии гладкой внешней силы (smooth forcing) решение трехмерных уравнений Навье-Стокса разрушается за конечное время.
https://openai.com/index/navier-stokes-solution/
Новость дополняется...