Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Изначальное сообщение		[ Отслеживать ]

"AI-модель Claude Mythos не продемонстрировала особых достижений при поиске уязвимостей в Curl"	+/–
Сообщение от opennews (??), 12-Май-26, 13:28
Дэниел Cтенберг (Daniel Stenberg), автор утилиты для получения и отправки данных по сети curl, подвёл итог применения AI-модели Claude Mythos для анализа уязвимостей в кодовой базе Curl. По мнению Дэниела, анонсированные компанией Anthropic прорывные возможности AI-модели Claude Mythos в области поиска уязвимостей, из-за которых компания ограничила доступ к модели, являются скорее маркетинговым приувеличением, так как при проверке кода Curl модель не показала существенных преимуществ по сравнению с AI-продуктами от других производителей... Подробнее: https://www.opennet.me/opennews/art.shtml?num=65428
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по времени | RSS]

1. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+10 +/–
Сообщение от Аноним (1), 12-Май-26, 13:28
У меня появляется смутная надежда, что ИИ таки улучшит качество кода. Разгребет 100500 багов на которые все давно плюнули. Пару лет поколбасит, а потом - браузер что не течет, не падает и не тормозит. Ось в которой все просто работает. Документы что открываются везде и всюда в одном и том же виде. Прикладухи что делают то что от них ожидается и так как от них ожидается. И тут я проснулся.
Ответить | Правка | Наверх | Cообщить модератору

	2. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от 12yoexpert (ok), 12-Май-26, 13:30
	> У меня появляется смутная надежда ты попался на удочку маркетологов
	Ответить | Правка | Наверх | Cообщить модератору

	6. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+7 +/–
	Сообщение от НяшМяш (ok), 12-Май-26, 13:43
	Маркетологи врут в том, что уже сейчас всё идеально и можно пользоваться везде. Но в реальности прогресс инструментов очевиден. Какой-то год назад вот эти все чатгопоты даже в интернете искать не умели, потом их научили искать бред. А сейчас ему можно задать вполне конкретный вопрос, он понимает из какой области и идёт искать ответ. Я вот таким образом неожиданно узнал, что у майкрософтовского SSTP есть спецификация - на невинный вопрос как это устроено он пошёл сходил прямо в спеку и вывалил мне тонну интересной инфы.
	Ответить | Правка | Наверх | Cообщить модератору

	11. Скрыто модератором	+/–
	Сообщение от Аноним (11), 12-Май-26, 13:49
	> не продемонстрировала особых достижений Просто фичи курла пока актуальны и их не требуется открывать и исправлять.
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	13. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (11), 12-Май-26, 13:50
	> не продемонстрировала особых достижений Функции CURL-а пока актуальны и их не требуется пока выявлять.
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	22. Скрыто модератором	+3 +/–
	Сообщение от Аноним (22), 12-Май-26, 14:12
	Ты же как всегда не читаешь до конца комментарии на которые отвечаешь. Он спал. Это был его сон.
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	30. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+1 +/–
	Сообщение от 3yoexpert (?), 12-Май-26, 14:50
	По-крайней мере, истинно то, что только люди не дочитывают сообщения до конца, прежде чем отвечать
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	38. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от pashev.ru (?), 12-Май-26, 15:32
	И забыл теоремы Гёделя )
	Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

	27. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Bob (??), 12-Май-26, 14:30
	в Firefox так и сделали, curl и так вылизан
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	44. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от тоже Аноним (ok), 12-Май-26, 16:16
	> ИИ таки улучшит качество кода ИИ в теме новости сейчас занят тем, что ищет каверны в сваях. О которых жильцы домов ни разу в жизни не слышали, и исправление проблем заметить просто физически не смогут. К работе программ через задницу, неоптимальным алгоритмам, просто кривым рукам и особым взглядам создателей на порядок работы, неумению в интерфейсы, профайлинг etc - короче, к тем проблемам, которые собственно, портят кровушку юзеру, все эти победоносные ИИ-конвейеры никакого отношения не имеют.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	46. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (46), 12-Май-26, 16:23
	ИИ может улучшить качество кода. Но только если менеджеры и директора этого захотят. А они не захотят. Иначе они бы уже сейчас выделяли время на повышение качества и зрелости продукта (хрен с ним с кодом). Мало мозгов, мало денег, много васьков, которые за счет своего здоровья не позволяют этому качеству рухнуть ниже уровня базовой работоспособности.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	63. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от penetrator (?), 12-Май-26, 18:19
	глобально он ничего не улучшит, это как статический анализатор, берешь одной фирмы находит одни ошибки, берешь другой - найдет еще парочку, так и с моделями, найдет что-то с другого ракурса, и потому эффективность снизится до минимума
	Ответить | Правка | Наверх | Cообщить модератору

3. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+1 +/–
Сообщение от Аноним (3), 12-Май-26, 13:33
> По мнению Дэниела, анонсированные компанией Anthropic прорывные возможности AI-модели Claude Mythos в области поиска уязвимостей [...] являются скорее маркетинговым приувеличением, так как при проверке кода Curl модель не показала существенных преимуществ по сравнению с AI-продуктами от других производителей. Эмм... А то, что в Curl просто мало уязвимостей - это Дэниэл не допускает? Ну, типа, большинство из них уже раньше закрыли. Или здравый смысл не работает, когда речь идет о ИИ?
Ответить | Правка | Наверх | Cообщить модератору

	7. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+7 +/–
	Сообщение от Аноним (7), 12-Май-26, 13:44
	Та ладно! Он же сишник и пишет libcurl/curl на Си. Как так нет уязвимостей, если софт написан на Си? Или когда адвокат вайбкодеров пытается объяснить почему Claude ничего не смог, то можно и сишников назвать хорошими программистами?
	Ответить | Правка | Наверх | Cообщить модератору

	12. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+2 +/–
	Сообщение от Аноним (3), 12-Май-26, 13:50
	> Он же сишник и пишет libcurl/curl на Си. Как так нет уязвимостей, если софт написан на Си? Так он как бы и сам не это намекает, не? Он же не говорит "Claude не нашел дыр потому, что у нас их нет". Он говорит "Claude не нашел дыр, потому что он слабенький".
	Ответить | Правка | Наверх | Cообщить модератору

	18. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (3), 12-Май-26, 14:01
	> когда адвокат вайбкодеров пытается объяснить почему Claude ничего не смог, Чел, почему Claude "не смог", объясняется прямым текстом в статье. Они на протяжении месяцев натравливали другие ИИ и в целом закрыли 60 дыр за год. А ПОСЛЕ запустили Claude и обнаружили, что он почти ничего не нашел! Абсолютно никакой логической и временной связи между этими двумя событиями Дэниэл, очевидно, не видит.
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	26. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+1 +/–
	Сообщение от Аноним (26), 12-Май-26, 14:30
	>> А то, что в Curl просто мало уязвимостей - это Дэниэл не допускает? > Или когда адвокат вайбкодеров пытается объяснить почему Claude ничего не смог, то можно и сишников назвать хорошими программистами? Ты ведь совсем не уловил посыла того комментария, не так ли? Тебе же риторическим вопросом "А то, что в Curl просто мало уязвимостей - это Дэниэл не допускает?" сказано, что даже сам автор curl не допускает, что в его коде нет дыр. Я хз, где ты там увидел, чтобы сишников называли "хорошими программистами".
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	28. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+1 +/–
	Сообщение от Bob (??), 12-Май-26, 14:31
	Так вылизали уже почти полностью. Это же не код рыжего браузере перелопачивать
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	45. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+1 +/–
	Сообщение от тоже Аноним (ok), 12-Май-26, 16:20
	> Или здравый смысл не работает, когда речь идет о ИИ? Видимо, нет, раз возникают такие вопросы. Новый ИИ разрекламировали, как прорыв и качественно лучший инструмент, чем те, что были. Дэниел проверил именно после тех, что были - никакого прорыва не обнаружил, только об этом и пишет.
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	47. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (47), 12-Май-26, 16:25
	> Дэниел проверил именно после тех, что были - никакого прорыва не обнаружил, только об этом и пишет. Вот именно, что после. Какой "прорыв" он ожидал после того, как (цитата) "за последние 8-10 месяцев код Curl проверялся при помощи AI-сервисов AISLE, Zeropath и OpenAI Codex Security, что позволило исправить 200-300 ошибок, из которых 12 были уязвимостями"? Л - логика.
	Ответить | Правка | Наверх | Cообщить модератору

	52. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+2 +/–
	Сообщение от тоже Аноним (ok), 12-Май-26, 16:37
	> Какой "прорыв" он ожидал См. новость: "анонсированные компанией Anthropic прорывные возможности AI-модели Claude Mythos в области поиска уязвимостей". Ребята били себя пяткой в грудь, что их ИИ не просто ищет уязвимости, а прям сильно лучше всех ищет уязвимости. Проверка на практике показала, что никакого "сильно лучше" не случилось.
	Ответить | Правка | Наверх | Cообщить модератору

	60. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (60), 12-Май-26, 17:23
	Пока что практика показывает, что новый инструмент находит ещё какую-то не замеченную предыдущими, уязвимость. И никакого полного устранения всех уязвимостей за раз пока не видно.
	Ответить | Правка | Наверх | Cообщить модератору

	62. Скрыто модератором	+/–
	Сообщение от Аноним (3), 12-Май-26, 17:32
	> Ребята били себя пяткой в грудь, что их ИИ не просто ищет уязвимости, а прям сильно лучше всех ищет уязвимости. Проверка на практике показала, что никакого "сильно лучше" не случилось. Чтобы найти уязвимости "слильно лучше", прежде всего нужно чтобы эти уязвимости существовали (в т.ч. оставшиеся после проверок предыдущими ИИ). Но автор curl даже не допускает, что у них не нет уязвимостей. Что непонятного?
	Ответить | Правка | К родителю #52 | Наверх | Cообщить модератору

	64. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Мемоним (?), 12-Май-26, 18:21
	> Анализ 176 тысяч строк кода Curl На такой небольшой кодобазе нашли "200-300" ошибок только за последние месяцы. Ему бы молчать тихонько в тряпочку, а не иронизировать.
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

4. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+3 +/–
Сообщение от Аноним (60), 12-Май-26, 13:36
>что позволило исправить 200-300 ошибок Маркетинг такой маркетинг. Так 200 или 300?
Ответить | Правка | Наверх | Cообщить модератору

	21. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (3), 12-Май-26, 14:08
	>> что позволило исправить 200-300 ошибок > Так 200 или 300? А это и не важно. Главное, что ПОСЛЕ этого Claude ничего не нашел - а значит, по логике автора Curl, он ни на что не годен.
	Ответить | Правка | Наверх | Cообщить модератору

	53. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от тоже Аноним (ok), 12-Май-26, 16:38
	> значит, по логике автора Curl, он ни на что не годен. Врать не надо по интернету. Передергивать не надо по интернету...
	Ответить | Правка | Наверх | Cообщить модератору

	59. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (59), 12-Май-26, 17:17
	200 - fatal error 300 - recoverable error а еще бывают нестрое..., т.е. ошибки не исходном коде
	Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

5. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+3 +/–
Сообщение от Хру (?), 12-Май-26, 13:42
Так что же получается - культура разработки на Си - возможна??? И дело значить не в кривом языке, а в немотивированных программистах, хреновой алгоритмической подготовке и нежелании пользоваться современными инструментами?
Ответить | Правка | Наверх | Cообщить модератору

	8. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+2 +/–
	Сообщение от НяшМяш (ok), 12-Май-26, 13:45
	Просто Дэниел Стенберг не настоящий сишник - инструментами какими-то пользуется. Ещё скажите у него компьютер современный. Настоящий сишник кодит на своём коредвадуо в терминале без подсветки синтаксиса.
	Ответить | Правка | Наверх | Cообщить модератору

	19. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	–1 +/–
	Сообщение от Аноним на удаленке (?), 12-Май-26, 14:05
	Знавал я такого. Только он асемблеревщик и к Си у него отношение как к чему то слишком уж разжеванному, для дураков. И работает он на Windiws XP. Вот вот в 2020 году пересел на неё с 98 виндоус. Человек работает в компании и ей он нужен. Его немного пайтон развратил так что он на ассемблер не хотел смотреть, но потом все же освоил работу на трез языках. ))). И да он не пенсионер. Ему что-то около 40 было тогда.
	Ответить | Правка | Наверх | Cообщить модератору

	9. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	–2 +/–
	Сообщение от Аноним (3), 12-Май-26, 13:46
	> Си > пользоваться современными инструментами Это взаимоисключающие понятия.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	10. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Хру (?), 12-Май-26, 13:48
	Эт почему? Нельзя в 2026 году написать современный инструмент на С89? :)
	Ответить | Правка | Наверх | Cообщить модератору

	14. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (3), 12-Май-26, 13:53
	> Эт почему? Это потому, что посмотри на год его создания и, самое главное, как сильно он с тех пор развился. > Нельзя в 2026 году написать современный инструмент на С89? :) Ты говорил о "пользоваться". Написать-то и на brainfuck можно при желании.
	Ответить | Правка | Наверх | Cообщить модератору

	23. Скрыто модератором	+/–
	Сообщение от Аноним на удаленке (?), 12-Май-26, 14:15
	Ну на 89 действительно исчезающе мало пишут. Но вот 99 стандарт в ходу. У нашего щаказчика был развернут матлаб для проверки кода в CI/CD. Жесткие кросревью и ревью менеджера в конце перед мержем. Ну и когда ты говоришь инструментам матлаба что бы он код проверял на соответствие MISRA и своего внутреннего стандарта кодирования, то у тебя не выйдет написать что-то так просто глючное. Ошибки кроются уже на уровне архитектуры, ТЗ и соответствию ТЗ. Ну и когда у тебя автотесты должны 100% покрыть код как по требованиям так и по ветвлениям с проверкой граничных условий и различных хитрых вариантов входных данных... . В общем хороший продукт получается. Дорого правда шо пипец. Но кроме Си там ничего не получается тспольщовать. Поэтому что имеем... Ну и от того ПО зависят жизни людей... Так что за ценой не постоим так сказать. Так что можно писать крутой быстрый и безопасный кол. Проще просто сказать что это вот говно и не трогай его. А почему? Да оно говно из 70х годов и все. Так проще )))
	Ответить | Правка | Наверх | Cообщить модератору

	24. Скрыто модератором	+1 +/–
	Сообщение от Аноним на удаленке (?), 12-Май-26, 14:15
	Ну на 89 действительно исчезающе мало пишут. Но вот 99 стандарт в ходу. У нашего щаказчика был развернут матлаб для проверки кода в CI/CD. Жесткие кросревью и ревью менеджера в конце перед мержем. Ну и когда ты говоришь инструментам матлаба что бы он код проверял на соответствие MISRA и своего внутреннего стандарта кодирования, то у тебя не выйдет написать что-то так просто глючное. Ошибки кроются уже на уровне архитектуры, ТЗ и соответствию ТЗ. Ну и когда у тебя автотесты должны 100% покрыть код как по требованиям так и по ветвлениям с проверкой граничных условий и различных хитрых вариантов входных данных... . В общем хороший продукт получается. Дорого правда шо пипец. Но кроме Си там ничего не получается тспольщовать. Поэтому что имеем... Ну и от того ПО зависят жизни людей... Так что за ценой не постоим так сказать. Так что можно писать крутой быстрый и безопасный кол. Проще просто сказать что это вот говно и не трогай его. А почему? Да оно говно из 70х годов и все. Так проще )))
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

	25. Скрыто модератором	+/–
	Сообщение от Аноним на удаленке (?), 12-Май-26, 14:16
	Ну на 89 действительно исчезающе мало пишут. Но вот 99 стандарт в ходу. У нашего щаказчика был развернут матлаб для проверки кода в CI/CD. Жесткие кросревью и ревью менеджера в конце перед мержем. Ну и когда ты говоришь инструментам матлаба что бы он код проверял на соответствие MISRA и своего внутреннего стандарта кодирования, то у тебя не выйдет написать что-то так просто глючное. Ошибки кроются уже на уровне архитектуры, ТЗ и соответствию ТЗ. Ну и когда у тебя автотесты должны 100% покрыть код как по требованиям так и по ветвлениям с проверкой граничных условий и различных хитрых вариантов входных данных... . В общем хороший продукт получается. Дорого правда шо пипец. Но кроме Си там ничего не получается тспольщовать. Поэтому что имеем... Ну и от того ПО зависят жизни людей... Так что за ценой не постоим так сказать. Так что можно писать крутой быстрый и безопасный кол. Проще просто сказать что это вот говно и не трогай его. А почему? Да оно говно из 70х годов и все. Так проще )))
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

	35. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	–1 +/–
	Сообщение от Sm0ke85 (ok), 12-Май-26, 14:58
	>Это потому, что посмотри на год его создания и, самое главное, как сильно он с тех пор развился. Ну и что я там должен увидеть, чего быть не должно???? Ты там один в комнате...?))) >Ты говорил о "пользоваться". Написать-то и на brainfuck можно при желании. Ты б мысль развил, а не в буквах различия искал, прям интересно на твой винегрет в голове глянуть... ахахах))))
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

	41. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (60), 12-Май-26, 15:46
	>Ну и что я там должен увидеть, чего быть не должно? А что вы там увидите? Хотя-бы алгебраические типы увидите? Или опять будете UB при разыменновывании нулевого указателя получать?
	Ответить | Правка | Наверх | Cообщить модератору

	51. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (47), 12-Май-26, 16:35
	>> Это потому, что посмотри на год его создания и, самое главное, как сильно он с тех пор развился. > Ну и что я там должен увидеть, чего быть не должно???? Например, практически полное отсутствие  развития по сравнению с 70-ми годами. > Ты там один в комнате...?))) > твой винегрет в голове глянуть... > ахахах)))) Бедняжка пытается в ad hominem. 🥲
	Ответить | Правка | К родителю #35 | Наверх | Cообщить модератору

	37. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (60), 12-Май-26, 15:21
	>Нельзя в 2026 году написать современный инструмент на С89? :) Можно и на ассемблере, разрешаю. Будете?
	Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

	31. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	–1 +/–
	Сообщение от Аноним (60), 12-Май-26, 14:50
	>Так что же получается - культура разработки на Си - возможна??? Нет, не получается. >и нежелании пользоваться современными инструментами? Да, например rust-ом.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	34. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (60), 12-Май-26, 14:57
	>Так что же получается - культура разработки на Си - возможна??? Не понимаю, как у вас это может уживаться с этим >Ручная проверка показала, что только одна из 5 проблем приводит к уязвимости >из которых 12 были уязвимостями >Всего в этом году в Curl было выявлено около 60 уязвимостей Код кишит уязвимостями, а вы про культуру разработки вещаете.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	39. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Хру (?), 12-Май-26, 15:33
	Может уживаться! Вот список CVE за все годы, на который ссылается Дэниел: https://curl.se/docs/security.html Последний High severity - https://curl.se/docs/CVE-2023-38545.html И еще один UAF в 2026 как Medium: https://curl.se/docs/CVE-2026-3805.html и пара overread и integer overflow в сторонних либах. 175 тысяч строк кода - это одна сторона медали. Вторая сторона - следование чертовски запутанным спекам IETF которые и читать-то - боль. А вот в 2026 году основной источник проблем - это уже не тривиализированные проблемы языка а таки логические ошибки. А так - кишит, конечно... Но вот какой язык защищает от логических ошибок? Гонки еще отлавливать статически можно через callpath graphing, но ежу понятно что ллмки делают это лучше. Они для этого спроектированы - отлавливать паттерны во входном потоке.
	Ответить | Правка | Наверх | Cообщить модератору

	40. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (60), 12-Май-26, 15:44
	>А вот в 2026 году основной источник проблем - это уже не тривиализированные проблемы языка а таки логические ошибки. И вот классический пример такой ошибки, которая спокойно находится типами https://habr.com/ru/articles/522208/ >Но вот какой язык защищает от логических ошибок? Зачем вы задаёте вопрос, если всё равно в следующей теме будете задавать его повторно? ATS. Idris, Lean 4 вам крайне в этом помогут.
	Ответить | Правка | Наверх | Cообщить модератору

	55. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Хру (?), 12-Май-26, 16:49
	Вы меня с каким-то другим комментатором путаете :) Я только в этой теме (зачем-то) решил пообщаться. И рад, что попал на умного человека. Про формальную верификацию знаю конечно, а вот как Lean используется в программировании? Он же вроде для доказательства теорем. Поделитесь опытом?
	Ответить | Правка | Наверх | Cообщить модератору

	57. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Хру (?), 12-Май-26, 16:52
	И насчет статьи с Хабра - вот не далее как в начале месяца пробежала дырка в андроидовом adbd, как раз не учитывавшая что -1 != 0 .
	Ответить | Правка | Наверх | Cообщить модератору

	61. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (60), 12-Май-26, 17:26
	>а вот как Lean используется в программировании? https://lean-lang.org/functional_programming_in_lean/
	Ответить | Правка | К родителю #55 | Наверх | Cообщить модератору

	50. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (50), 12-Май-26, 16:34
	>Но вот какой язык защищает от логических ошибок? Практика исправления ошибок на си и хаскеле защищает.
	Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

15. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+2 +/–
Сообщение от q (ok), 12-Май-26, 13:53
Тысячи глаз на протяжение десятилетий: находили уязвимости в curl. Аффтар curl: исправлял, вылизывал код на протяжение десятилетий. Claude Mythos: находит еще одну уязвимость, которую тысячи глаз проморгали. Аффтар curl: "Чет как-то не впечатлился... Это все обман чтобы набрать классы..."
Ответить | Правка | Наверх | Cообщить модератору

	20. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (3), 12-Май-26, 14:05
	> Аффтар curl: "Чет как-то не впечатлился... Это все обман чтобы набрать классы..." В англоязычных инетах тоже выпали с этой логики автора Curl. Похоже, у некоторых людей здравый смысл просто отключается, когда речь заходит об ИИ.
	Ответить | Правка | Наверх | Cообщить модератору

	36. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (36), 12-Май-26, 15:00
	> Похоже, у некоторых людей здравый смысл просто отключается, когда речь заходит об ИИ. Здравый смысл потерян уже на этой строчке "Тысячи глаз на протяжение десятилетий: находили уязвимости в curl.", нет никаких "тыща глаз", нету бл*ть, нетууууу!!!!
	Ответить | Правка | Наверх | Cообщить модератору

	42. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+1 +/–
	Сообщение от Аноним (42), 12-Май-26, 15:46
	>находит еще одну уязвимость, которую тысячи глаз проморгали. Начнём с того, что этой "тысячи глаз" никогда не было. Никто не проводил аудит кода. И ещё вопрос, как ты запоёшь, когда после ИИ начнут находить уязвимости?
	Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

	43. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от q (ok), 12-Май-26, 16:02
	Никак не запою, ибо ИИ нередко допускает ошибки. Но важнее то, что он свои же ошибки уже может замечать прямо в процессе генерации ответа ("Wait...") -- и это без режима thinking. Я этого не наблюдал каких-то год или два назад. А вообще, очевидно, будущее за архитектурами, где одна модель генерирует ответ, а вторая его проверяет — никто не заявляет, что ИИ должен ограничиваться ровно одним вызовом ровно одной модели.
	Ответить | Правка | Наверх | Cообщить модератору

	54. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (7), 12-Май-26, 16:40
	Что-то на вайбкодерском.
	Ответить | Правка | Наверх | Cообщить модератору

	49. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (47), 12-Май-26, 16:28
	> Начнём с того, что этой "тысячи глаз" никогда не было. Никто не проводил аудит кода Как при этом на протяжении десятков лет в curl находились и закрывались CVE - загадка.
	Ответить | Правка | К родителю #42 | Наверх | Cообщить модератору

17. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
Сообщение от Аноним (17), 12-Май-26, 13:55
Доступ к модели GPT-5.5-Cyber предоставляется только исследователям безопасности после выборочного одобрения заявок. Хм.. поиграются с уязвимостями предлагают только своим :)
Ответить | Правка | Наверх | Cообщить модератору

29. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
Сообщение от Тудасюда (?), 12-Май-26, 14:36
Так это же хорошо. Хватит кормить ленивых зажравшихся программистов, которые ни за что не несут ответственность, "яйца лижут" и имитируют бурную деятельность, переставляя бесчисленное количество раз кнопочки. Особенно это полезно в области СПО, где вообще на все "болтыЛОЖИЛИ".
Ответить | Правка | Наверх | Cообщить модератору

	32. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
	Сообщение от Аноним (11), 12-Май-26, 14:51
	> Хватит кормить ленивых зажравшихся программистов Теперь они создают ИИ и кушают ещё больше. Обещая, что вот-вот - и наступит рай.
	Ответить | Правка | Наверх | Cообщить модератору

33. Скрыто модератором	+/–
Сообщение от Аноним (33), 12-Май-26, 14:52
> При этом Дэниел признал значительное повышение качества работы современных AI-анализаторов кода, которые превосходят традиционные статические анализаторы... я так понимаю, пивиэс-студии пора сливать воду?
Ответить | Правка | Наверх | Cообщить модератору

48. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
Сообщение от Сладкая булочка (?), 12-Май-26, 16:27
Ну вот, чтд. Более-менее нормальный код и не шмогла. Давайте еще проверок замутите, сделайте блог аналог PVS, где будете выкладывать проверку открытых проектов.
Ответить | Правка | Наверх | Cообщить модератору

56. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+/–
Сообщение от Аноним (-), 12-Май-26, 16:50
> при проверке кода Curl модель не показала существенных преимуществ по сравнению с AI-продуктами от других производителей. А он юморист. Сложно найти то - чего нет. Ибо он так то security aware и сажает довольно мало багов. Так что гамнюк жирно потроллил AI агентов - прося их найти то не знаю что, подя туда не знаю куда :). Логично что они справляются не очень хорошо, все вместе. Вот если вы на код рубистов из GitLab их бы напустили, там можно было бы посчитать уже кто лучше :))
Ответить | Правка | Наверх | Cообщить модератору

58. "AI-модель Claude Mythos не продемонстрировала особых достиже..."	+1 +/–
Сообщение от Аноним (58), 12-Май-26, 16:54
Знаете, лет так 5-10 назад было модно прогонять код опесоурсных проектов через новый статический анализатор и радостно показывать, сколько ошибок найдено. Ну так вот, придумали ещё один статический анализатор. Можно сказать, реально полезная вещь получилась. Правда, есть одно но: подозреваю, что нынешний ИИ конечно нашёл какое-то количество багов, но точно так же, как классический статический анализатор работающий по правилам и эвристикам - отсутствие замечаний от него вовсе не означает, что ошибок в коде нет.
Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема