Mathstodon

Mathstodon — веб-приложение для задач категории «другое», доступное на mathstodon.xyz. Публичный манифест и страница подтверждают режим отображения standalone, отдельное окно приложения, быстрые действия, приём данных из системного меню «Поделиться» и адаптивную иконку, 2 скриншота и 3 быстрых действия. Сканер обнаружил активный service worker; фактическое поведение без сети всё равно зависит от реализации сервиса. Данные сформированы PWAs.app по фактам последнего сканирования, а не скопированы из стороннего каталога.

Как сервис описывает себя

The advent of capable AI tools has highighted a variant of Simpson's paradox https://en.wikipedia.org/wiki/Simpson%27s_paradox : a technological advance can improve the quality and volume of each individual's output, and yet the average quality (signal-to-noise ratio) of the aggregate output can deteriorate as a result. I can illustrate this phenomenon with a toy numerical model (all numbers here are made up to simplify the exposition). Let's take the task of solving a mathematical problem, and then writing it up properly to a professional standard. (Here for simplicity I ignore the intermediate stage of verifying the proof.) Before the advent of an AI, suppose that it took on the order of six months to generate a solution to the problem, and then an additional month to write things up. This was a lot of work, and so relatively few projects would even get as far as the solution generation stage. But, on the other hand, an author who has already invested six months on the problem would usually be willing to invest the additional month to write things up for the added value; few projects would be abandoned between the proof generation and the proof exposition stage. (1/4)