о верификации

[avva]

Сегодня вечером (во ВТОРНИК, 19:00) в Тель-Авиве будет очередная встреча (Facebook event) участников форума LessWrong.

Сегодня Йоав Холландер прочитает лекцию о верификации аппаратного обеспечения (hardware verification) и о том, имеют ли современные парадигмы верификации применение в гипотетической будущей верификации программ искусственного интеллекта.

Comments

Жаль что не могу послушать.

[(Anonymous)]

В ИИ верификации относительно мало потребуется, поскольку он конструктивно несложен. Сложны его теоретические основы, а не реализация.

Re: Жаль что не могу послушать.

[alexcohn.livejournal.com]

Йоав таки утверждал, что очень немало требуется, причем верифицируемы должны быть не только модули (т.е. "реализация"), но и концепция.

Вот концепция это да.

[(Anonymous)]

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