Миша, что думаете о проекте американской военщины по использованию ИИ для развития математики?

Can A.I. Quicken the Pace of Math Discovery?

Breakthroughs in pure mathematics can take decades. A new Defense Department initiative aims to speed things up using artificial intelligence.
https://www.nytimes.com/2025/06/19/science/math-ai-darpa.html

Подобное может пониматься как выход из международного сотрудничества или хотя бы указание на то, что как бы говорить уже давно нет о чём. Один из способов послать всех нахуй. Если бы академия, скажем, приняла в качестве эталона длины длину хуя Ленина из мавзолея (подобно как до сих пор пользуются дюймом), это было бы приблизительно таким же изящным способом послать всех нахуй, указав, что давно уже говорить нет о чём. А вопрос всегда в измерениях (какими бы они ни были умозрительными), поэтому Миша работал на японском ускорителе и в теме.

Миша уже говорил об этом, кстати: https://www.youtube.com/live/PsSA-GvNmNo?si=5xzAfzVLx8UQOi1W&t=1104

В последнее время наблюдается проблема с языком, когда начинают использоваться всякие непонятные термины (скажем, анархии, применительно к нейтрино, черной дыры, пиццы, других понятий и т.д.). Поэтому везде наблюдается распад и переход к резонёрству, которое никому нахуй не нужно (ибо всегда все исходит на говно). Поэтому скорее всего сообщество разбивается на семейства по этно-религиозному и другому бреду, которые будут заниматься своими языками и теориями, а в итоге от каждого можно будет черпать что-нибудь полезное (если оно будет, конечно).

В разговорах на отведённые темы важно всё: и правильные, и неправильные рассуждения, утверждения. В целом, почитай (arXiv:2012.08298). Умение ставить хорошие вопросы и видеть "смысл" в них (с точки зрения кожаного) - это самая главная особенность кожаных (довольно ограниченная). Искать ответы на вопросы - это искусство другого типа, менее важного. Поэтому хорошие предположения апотиори есть ведущими.

З.ы. Конечно же появление gpt было запланировано. Это не значит, что раньше ничего подобного не было. Поэтому можно предположить, что есть и намного лучше...