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

"Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI"	+/–
Сообщение от opennews (??), 23-Окт-26, 10:41
Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, протестированных в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=66528
Ответить | Правка | Cообщить модератору

Сообщения

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

1. "Аnthropic развивает технику для формальной верификации сущес..."	–3 +/–
Сообщение от Аноним (1), 23-Окт-26, 10:41
Кожаные бракоделы что с лицом?
Ответить | Правка | Наверх | Cообщить модератору

	2. "Аnthropic развивает технику для формальной верификации сущес..."	+1 +/–
	Сообщение от pic (??), 23-Окт-26, 10:46
	Пошли учить ассемблер и особенности работы процессора с прерываниями и защищёнными режимами.
	Ответить | Правка | Наверх | Cообщить модератору

	18. Скрыто модератором	+/–
	Сообщение от Аноним (18), 23-Окт-26, 11:15
	Защищённый режим не нужен для верифицирован ной программы. Это затычка от багов, работающая в рантайме. А тут уже доказано на этапе компиляции что все ок
	Ответить | Правка | Наверх | Cообщить модератору

	4. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от Вася Пупкин (?), 23-Окт-26, 10:49
	Ничего, те же кожаные написали этот верификатор, кто гарантирует что сам он не содержит багов? Или кто гарантирует что сама нейросеть не выдаст анаомалию?
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	7. "Аnthropic развивает технику для формальной верификации сущес..."	+1 +/–
	Сообщение от Аноним (7), 23-Окт-26, 10:59
	Бракоделы будут пользоваться системой и брака станет на порядок меньше. Деды будут продолжать героически плодить CVE.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	14. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от Аноним (14), 23-Окт-26, 11:09
	Кожаные легко хайпят на любой возможности, зарабатывая кучу денег.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	30. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от Аныным (?), 23-Окт-26, 11:54
	Кожаные хихикают и учат фундаментальный матан и общие концепции, а для всего остального запрягают железяку
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

3. "Аnthropic развивает технику для формальной верификации сущес..."	+1 +/–
Сообщение от pic (??), 23-Окт-26, 10:47
Очень быстро ИИ опуститься до уровня машинных кодов и библиотеки, тулкиты, фреймворки станут бесполезны.
Ответить | Правка | Наверх | Cообщить модератору

	6. "Аnthropic развивает технику для формальной верификации сущес..."	+8 +/–
	Сообщение от Аноним (6), 23-Окт-26, 10:51
	точно быстрее чем еи - естественный интеллект - начнёт различать -тся и -ться
	Ответить | Правка | Наверх | Cообщить модератору

	21. Скрыто модератором	+/–
	Сообщение от miu (?), 23-Окт-26, 11:24
	А также тире и дефис.
	Ответить | Правка | Наверх | Cообщить модератору

	22. Скрыто модератором	+/–
	Сообщение от Bottle (?), 23-Окт-26, 11:29
	Дальше последует применение кавычек-«ёлочек» и „лапок“, как и применение точек в конце комментариев.
	Ответить | Правка | Наверх | Cообщить модератору

	24. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от pic (??), 23-Окт-26, 11:38
	Приставку бес- тоже отмените, она не несёт смысловой нагрузки, без- хотя бы этим отличается. Ох уж эти "академики".
	Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

	25. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от q (ok), 23-Окт-26, 11:45
	отличаеться*
	Ответить | Правка | Наверх | Cообщить модератору

	28. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от pic (??), 23-Окт-26, 11:47
	Лично для здешних обитателей только с мягким знаком, в качестве наказания.
	Ответить | Правка | Наверх | Cообщить модератору

	26. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от pic (??), 23-Окт-26, 11:46
	В русском языке традиционно применяются французские «ёлочки», а для кавычек внутри кавычек и при письме от руки — немецкие „лапки“ или "скандинавские". В рукописном тексте не применяются кавычки "ёлочки", используются "лапки". И обозначают они одно и тоже - цитату, прямую речь, отсылку.
	Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

	8. "Аnthropic развивает технику для формальной верификации сущес..."	+3 +/–
	Сообщение от Аноним (8), 23-Окт-26, 10:59
	Хоть какая-то польза от ИИ. Очистить ПО ландшафт от наслоившегося мусора в виде фреймворков, жабаскрипта, раста и всякой питонщины.
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	10. "Аnthropic развивает технику для формальной верификации сущес..."	+1 +/–
	Сообщение от Аноним (18), 23-Окт-26, 11:02
	Останутся только чисто функциональные языки, запомните этот твит!
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	12. "Аnthropic развивает технику для формальной верификации сущес..."	+1 +/–
	Сообщение от Ы (?), 23-Окт-26, 11:07
	Посмотри на «прибыль» антропик. Очень скоро может может пузырь лопнет и все опять вернутся к услугам кожаных мешков
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

5. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
Сообщение от Аноним (6), 23-Окт-26, 10:50
тэк, огромадные специалисты в бям (больших языкастых моделях) если бинарный файл собирается из одного исходника, но с разными параметрами оптимизации например, бям верифицирует конкретную сборку, или всё же логику исходного кода?
Ответить | Правка | Наверх | Cообщить модератору

	9. "Аnthropic развивает технику для формальной верификации сущес..."	–1 +/–
	Сообщение от Аноним (18), 23-Окт-26, 10:59
	Что такое логика исходного кода? Особенно, когда на таких языках как C/C++ каждая вторая строчка это UB? На процессоре выполняется машинный код, его и надо верифицировать, а не какие то влажные мечты Васяна написанные на дырявом языке.
	Ответить | Правка | Наверх | Cообщить модератору

	15. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от Ы (?), 23-Окт-26, 11:09
	Начать надо с верификации верилога процессора. А то окажется что там напортачили со спекулятивным исполнением инструкций 🤷♂
	Ответить | Правка | Наверх | Cообщить модератору

	17. "Аnthropic развивает технику для формальной верификации сущес..."	+1 +/–
	Сообщение от Аноним (18), 23-Окт-26, 11:12
	Поэтому и проверяют на riscv, где есть железо без этого барахла
	Ответить | Правка | Наверх | Cообщить модератору

	19. "Аnthropic развивает технику для формальной верификации сущес..."	–1 +/–
	Сообщение от Аноним (19), 23-Окт-26, 11:22
	Кожаные гении, посчитайте, сколько UB в этом ванильном и типичном коде самого популярного языка на планете: int sum; for (int i = 0; i <= INT_MAX; i++)     sum += 2;
	Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

	23. "Аnthropic развивает технику для формальной верификации сущес..."	+1 +/–
	Сообщение от Bottle (?), 23-Окт-26, 11:34
	1. Неявно задана сумма. 2. Когда индекс станет инт_макс, будет знаковое переполнение. 3. Сумма к тому моменту будет знаково переполнена дважды? Нет уверенности из-за первого неопределённого поведения.
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от Аноним (29), 23-Окт-26, 11:48
	Слишком просто. Попробуйте ещё раз.
	Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

	11. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от Аноним (29), 23-Окт-26, 11:05
	Воспроизводимость сборки и верификация кода - вещи разные, обе полезные.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	13. "Аnthropic развивает технику для формальной верификации сущес..."	–1 +/–
	Сообщение от Аноним (18), 23-Окт-26, 11:07
	Воспроизводимость сборки это тестирование компилятора. А зачем нужен компилятор когда ИИ умеет сразу в машинный код?
	Ответить | Правка | Наверх | Cообщить модератору

	27. "Аnthropic развивает технику для формальной верификации сущес..."	+/–
	Сообщение от Аноним (29), 23-Окт-26, 11:47
	> Воспроизводимость сборки это тестирование компилятора. Нет. > А зачем нужен компилятор когда ИИ умеет сразу в машинный код? Тоже нет. Ещё вопросы?
	Ответить | Правка | Наверх | Cообщить модератору

16. Скрыто модератором	+/–
Сообщение от Метрика (?), 23-Окт-26, 11:10
Снова раст, снова нейрослоп
Ответить | Правка | Наверх | Cообщить модератору

	20. Скрыто модератором	+/–
	Сообщение от Аноним (20), 23-Окт-26, 11:23
	> Снова раст, снова нейрослоп Да, вы абсолютно правы (с) Пока Настоящие СИшники нагадили в ПХП так, что половина интернета продырявилась, нехорошие растеры пытаются сделать формальную верификацию. Как им не стыдно!! Лучше бы наовнячили пару выходов за пределы буфера как уважаемые диды. assisted by Claude
	Ответить | Правка | Наверх | Cообщить модератору

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

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