Я часто говорю про "математически доказанный ИИ". Пришло время объяснить, что это значит на языке строгой науки. Я не просто пишу код, я создаю Нормативную Систему, где любой объект существует только если он вычислим и верифицируем. Вот фундамент моей "конституции" (SPEC), основанный на универсальной алгебре. 🏛 0. Догма и юридическая семантика В моей системе нет места "вероятностям". Есть только PASS или FAIL. * Догма: Объект существует тогда и только тогда, когда есть детерминированная процедура его проверки. * PASS: Доказанное соответствие формальным определениям. * FAIL: Если утверждение...

Учёные из разных областей — когнитивной науки, астробиологии и межзвёздной коммуникации — предложили интересный подход к вопросу о том, как могли бы общаться разумные формы жизни за пределами Земли. Вместо того чтобы ориентироваться исключительно на человеческую точку зрения, они используют поведение и способности насекомых на Земле, в частности медоносных пчёл, как модель для разработки возможного «универсального языка» межзвёздной коммуникации. Основные выводы этой работы были опубликованы в январе...