Лёвин

Внутренняя версия чатгпт решила 10 актуальных открытых математических проблем. Все доказательства были формализованы в Lean, проверены и опубликованы. В отличие от некоторых предыдущих громких проблем, часть задач имеют практические применения в разных областях: оценки алгоритмов, квантовые вычисления и так далее Думаю, что теперь уже можно уверенно сказать, что мы наблюдаем закат математики как дисциплины, в которой человек может сказать что-то новое

Male living space

Потеряли рэпера, скоро музыку забросит, будет мегасатану за всех персов проходить

Испанская Суета

А вот как это вообще было скоординировано? Сколько там, сорок тысяч человек? В течение пары дней?

Северокорейцы смотрят кейпоп в 2018 году Я представить даже не могу каково было девочкам при такой толпе выступать, кортизолмаксинг