С лёгкой подачи многочисленных образовательных ресурсов за последние несколько лет широко распространилось поверье, что в ИТ попасть легко и что чуть ли не самой простой дорожкой для этого “войти в найти” является именно QA. Не стану кривить душой, и сам лет 7 назад был грешен и частично поспособствовал этому тренду, хотя в изначальном своем посыле я все-таки всегда настаивал на необходимости обучиться и обучаться профессии QA-инженера. Тем не менее, хочется выразить собственную позицию по этому...

Недавно OpenAI опубликовала решение одной из так называемых «Призовых задач тысячелетия» (Millennium Prize Problems) — семи фундаментальных математических проблем, каждая из которых отмечена призом в 1 миллион долларов от Института математики Клэя. Речь идёт о задаче о существовании и гладкости уравнений Навье–Стокса — вопросу, который оставался открытым почти 90 лет. Важная оговорка: публикация — это анонс самой OpenAI. Доказательство формализовано в Lean (о чём ниже), так что компьютер может проверить его независимо, но полное рецензирование математическим сообществом ещё впереди...