Comments 7
Цель этого нейровысера завлечь на проклятый телеграм канал. Я понимаю что цель заработать на рекламе в проклятом телеграм канале. Но почему не личный блог тогда? Ну ведь одна выгода (нет, неблагодарные пользователи включают блокировщик рекламы), можно получать часть посетителей из поисковиков (нет, твой дерьмоблог никто не увидит на 150-й странице выдачи). Это все понятно, но... Нет нормальной индексации постов. Во всяком случае я не знаю как искать информацию в телеграм каналах также как на форумах или в личных блогах используя обычные средства поиска. Поэтому считаю что телеграм каналы это абсолютное и чистейшее зло в данном случае.
В посте есть ссылка на полную версию интервью на ютубе, не только на телеграм канал. А ещё этот пост имеет тип "новость", а не "статья", потому на мой взгляд и не должен содержать прям подробностей, ссылка на оригинал и краткая выжимка есть - для новости вполне достаточно.
Я заметил упоминание тг канала в статье только после вашего комента. Статья - новостная, и не хуже других подобных. Мне понравилась, я полез смотреть ориг и гитхаб. Явного ии-текста мне не заметно (а я учитель, и мне приходится по долгу службы уметь отличать нейротекст от человеческого), поделитесь пожалуйста, что вам глаз резануло, буду благодарен.
Мне кажется очень красивой идея про улучшение одной константы и обновление всех зависимых от нее теорем. Что для реализации нужно? Какой-то аналог гитхаба, где в роли репозиториев будут теоремы различные?
А чем сам гитхаб не устраивает? Lean - это тоже текстовый язык, и он отлично интегрируется в Git и GitHub.
Как минимум требуются обратные ссылки, а также какой-то механизм ревью, вызов компиляции и так далее. Некоторые обновления могут быть ломающими и тогда теорема может потерять статус доказанной. А ещё могут существовать циклические ссылки. Много нюансов, думаю.
Терренс Тао: ИИ превращает математику в подобие open source-разработки