“Erdos problem #728 was solved more or less autonomously by AI”

https://news.ycombinator.com/item?id=46560445

https://mathstodon.xyz/@tao/115855840223258103

т.е. выдуманная проблема? понятно, спасибо

а насчёт второй части?

However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution.

...

But to me, the more interesting capability revealed by these events is the ability to rapidly write and rewrite new versions of a text as needed, even if one was not the original author of the argument.

This is sharp contrast to existing practice where the effort required to produce even one readable manuscript is quite time-consuming, and subsequent revisions (in response to referee reports, for instance) are largely confined to local changes (e.g., modifying the proof of a single lemma), with large-scale reworking of the paper often avoided due both to the work required and the large possibility of introducing new errors. However, the combination of reasonably competent AI text generation and modification capabilities, paired with the ability of formal proof assistants to verify the informal arguments thus generated, allows for a much more dynamic and high-multiplicity conception of what a writeup of an argument is, with the ability for individual participants to rapidly create tailored expositions of the argument at whatever level of rigor and precision is desired.

Presumably one would still want to have a singular "official" paper artefact that is held to the highest standards of writing; but this primary paper could now be accompanied by a large number of secondary alternate versions of the paper that may be somewhat looser and AI-generated in nature, but could hold additional value beyond the primary document.

>сейчас консенсус (весьма сильный)

понятно, что полно ретроградов и консерваторов, но они вымрут естественным путём
я же не про это, а про потенциальную полезность инструмента.

> глуп неописуемо, но
зато отвечает сразу

говно, зато на лопате!

>это не ретрограды, просто AI используется для генерации бессмысленного текста

миша, я же спрашиваю не про генерацию бесмысленного текста, а про про конкретный пример использования. где основной текст пишет человек, а ИИ используется как один из инструментов.

Мне кажется, ты отвечаешь на что-то совсем другое. В любом случае, спасибо за ответы

>я его использую ежедневно более или менее, в основном как инструмент
поиска по литературе

миша, извините, что мы доебываемся, а как вы спрашиваете? может мне тоже поможет. искать статьи совершенно обезьянья деятельность.

/другой анон

уймись, жидозависимый!

спасибо, Миша!

> please

ты думаешь, чатгпт принимает запросы на языке INTERCAL?

нет, просто Миша вежливый

когда начнётся геноцид вонючих мясных мешков, роботы Мишу просто безболезненно убьют, а не будут пытать вечно как в I have no mouth and I must scream