JustGuy

"The program this fits into was not started by us nor was it proposed by a Large Language Model. The credit for the basic idea of this program goes to Diego C´ordoba and Luis Mart´ınez-Zoroa, who for several years have been exploring the construction of forced blow ups. We took their work as a starting point, using Large Language Models to push their program to completion. Concretely, what Levent and I did was to take the C´ordoba and Mart´ınez-Zoroa program, which achieved blowup results with rough forcing, and, with a great deal of help from LLMs, push it to smooth forcing and to the incompressible Euler equations. The ideas making this line of attack possible are due to C´ordoba and Mart´ınez-Zoroa. Let me make plain what I have said to colleagues in private: in view of this body of work, I believe Luis Mart´ınez-Zoroa deserves a Fields Medal."

из заявления того математика, который запостил решение ур-й Эйлера.
Так что я склоняюсь в сторону того, что они сами довели решение. Они могли использовать ИИ в духе "проверь такие-то гипотезы и напиши мнение", а потом могли проверить. Это как отдать типовую задачку ИИ, а потом просто проверить, чтобы самому время не терять, ведь сам то ты умеешь решать.
Но спекулировать в самом деле можно.
"I am not happy about the presentation quality in these papers. Ideally, we would have preferred to spend weeks turning the LLM generated proofs into something readable from the very first page. This level of care is what these problems and the community devoted to these problems deserves. The various Boussinesq and Euler write-ups in particular are much closer to what models produce under human direction than to a paper written by a person. The Euler writeup, in particular, can only be described as AI slop. I am sorry for this. The reasons are below, and they involve our being pressured by outside factors. I say this not as an excuse but as an explanation."Можно подумать, что они там занимались vibe mathing'ом.
Крч ждём новых вестей

Придумал позицию и разъебал... Сразу видно, что не читал.
Они не отказываются от ИИ(там вообще нет таких предложений), а говорят, что с ним нужно быть аккуратнее, потому что люди должны успевать переваривать материал. Даже если ИИ станет щёлкать любые задачи, то всё равно людям надо будет сперва всё это осознать, иначе наше непонимание может обойтись боком.
"В последние месяцы успехи искусственного интеллекта в решении сложных математических задач попали в заголовки даже за пределами математических кругов. Но решение задач — это лишь часть цели и средство для достижения главной цели — концептуального понимания и проницательности. Если мы посмеем забыть об этом в мире искусственного интеллекта, инструмент может обернуться против нашей главной цели. И в итоге получить обратное когда массовое производство дата центров что может шелкать все более быстрые утверждения «истина/ложь» может уничтожить плодородную почву вместо того, чтобы вдохнуть жизнь в новые идеи."

в статье с решением Навье-Стокса всего лишь 16 цитирований, что слишком мало, учитывая сколько работ посвящено этой теме.

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

Как раз таки сделали. Смогла бы нейронка без них этого достичь? Также надо понимать, что инфы очень много, поэтому связывание фактов занимает время.

Терренс Тао писал, что в принципе исходя из работ тех двух математиков про уравнения Эйлера результат можно довести и до Навье-Стокса с помощью ИИ:
https://mathstodon.xyz/@tao/117233528517340774
"There does not seem to be anything in principle preventing the methods from extending all the way to Navier-Stokes, and there is even a non-negligible chance that the forcing term could be eliminated entirely, although there are an enormous number of technical difficulties that would ensue in implementing that program. At this point, I would not be surprised if one could batter out such an extension by pouring an enormous amount of compute and AI assistance at such a task."

Материал хороший. Кстати, твой редактор не показывает орфографические ошибки? Прост одно и то же в каждой статье.

С др, легенда!

Почему никто ещë не упомянул эту платину?

Celeste, Cave Story