@tunguz
День прошёл под знаком двух крупных научных прорывов: формализация теоремы Ферма на Lean (13 млн строк кода) и заявленное решение уравнений Навье-Стокса. Тунгуз активно комментировал драму вокруг OpenAI и обвинений в использовании инсайдерской информации о направлении исследований конкурентов, при этом занял относительно нейтральную позицию. Много ироничных замечаний о темпах ускорения AI-прогресса, академической культуре и устаревании peer review.