Может, так, а может, нет. Не знаю аргументов в ту или другую сторону. В любом случае, это задача, решение которой можно искать и найти либо не найти, а не заранее утверждать, что его не существует.

Отмечу, что похожим образом говорили про го, пока его пытались решить перебором вариантов (т.е. так, как на тот момент уже решили шахматы), а не нейронной сетью.

Ну вот смежная область: тестирование программ. Ну там же совершенно вспомогательную роль эти AI тулы играют.

Здесь они тоже пока вспомогательную заявляют.

Иниуитивно вроде как в модели правила проще сформулировать, чем в коде. Т е анализ модели - вроде как подзадача анализа кода, предполагающая, что код корректно имплементирует модель. То есть она проще. Или нет?

Я тут немного в роли адвоката дьявола, т к сам на презентации не был, а также не могу утверждать, что черепашка говорит правду.

После 2140 года?:)

Singularitynet.io (децентрализованная сеть служб AI) выкатили в публичный доступ бетку в тестовой сети Etherium. Пытался кто-нибудь тестить?

И еще интересует мнение технарей - что мешает ИИ найти консенсус в POS с требуемой децентрализацией/безопасностью/скоростью (если он существует вообще)

консенсус - это не зарытый клад. Его не искать нужно.))
Консенсус в большей степени зависит от принятия людьми договорённости. Если человеку эта договорённость до задницы, ценить он её не начнёт.

консенсус - это и есть договорённость. Даже вот так.

Может человек имел ввиду "найти" как "придумать"? Ну типа ии это сверхмозг)

Да, человек не верно выразился. Почему ИИ не используется для поиска алгоритма, который бы определил оптимальное (заданное) соотношение параметров. Не в плане, что он сверхмозг, а в плане того, что мы ограничены абстрактностью наших мыслей бытом. Условно, если такая задача имеет геометрическое решение, то все наши человеческие решения дальше стереометрии как правило не заходят. С алгеброй та же фигня. И вот наши кодеры, ни разу не гении (при всем моем уважении к профессии), пилят блокчейн... Почему бы не использовать накопленный опыт математики для решения поставленной задачи.

Потому что это какая-то научная фантастика

Походу люди теперь будут пихать в каждую дырку ИИ как годом раньше блокчейн

https://habrastorage.org/webt/_m/bb/6w/_mbb6wisy86vjhffsxbu97ia2x8.jpeg (из недавней статьи Ивана как раз) :)

Вово

для контрактов нужна формальная верификация, а не ии. посмотрите например как мейкердао свои контракты тестируют:
http://stablecoin.technology/ (потыкайте на бейджики)
https://makerdao.com/purple/
они не все инструменты еще выложили в паблик, но направление мысли понятно

Мысль понял, спасибо.
херню написал я

стопудово))

Ребят, можете, пожалуйста, поделиться какими-то материалами про формальную верификацию?