Свобода воли, сознание, физика
В данной статье я не пытаюсь дать ответ на вопрос "что такое сознание". Сложная проблема сознания слишком сложна, и неизвестно, получим ли мы когда-либо ответ. Однако я хочу простукать стены физических теорий, чтобы по глухому звуку найти пустоты, где может разместиться сознание и свобода воли, не нарушая физических законов. Центральная идея
okama-mcp: подключаем ИИ-ассистента к портфельной аналитике по Model Context Protocol
Диалог с ИИ-ассистентом о портфеле 60/40 и гистограмма распределения доходности (IRR) по методу Монте-Карло
Часть II. Начала дискретной математики. SQL, Комбинаторика, Тервер за 15 минут. SQL, EBNF, XPATH в 480 LOC
(Серия: Сельскому учителю в помощь)Оглавление***Вступление Раздел: переход к математикеГлазами математика: объяснение, генезисПредикаты: переход от объектов физики к образам математикиО точности языка Раздел: дискретные множестваДискретные множества или «ассемблер» числовой математикиИнженерная математика, полнота и детерминизмКольца и поля в эвмЭлементы комбинаторики. Декартово произведениеЭлементы комбинаторики. БулеанОтношениеОпределение функции отношением
Как одна операция из линейной алгебры захватила мир ИИ
Всё началось довольно тихо — без шоу-программ и футуристичных роботов на сцене. В 2017-м исследователи Google опубликовали статью с до смешного скромным названием: Attention is All You Need. Тогда мало кто понял, что именно в этот момент случилось новое «деление эпох»: теперь у ИИ было чёткое «до» и «после».Сегодня почти весь генеративный ИИ — от ChatGPT до Midjourney, от Gemini до Claude — внутри себя основан на трансформерах. А фундамент всей этой революции оказался… ну прямо скажем, совсем не похожим на научную фантастику. Просто скалярное произведение двух векторов — действие из школьной линейной алгебры
HTCE: когнитивное ядро нового поколения, которое не верит без доказательств
Большинство современных AI-систем пытаются выглядеть умными: они быстро отвечают, красиво формулируют, уверенно рассуждают и часто создают ощущение понимания. Но есть неприятная сторона: такая система может звучать уверенно даже тогда, когда у неё нет доказательств.HTCE — это попытка построить другой тип искусственного интеллекта.Не “болталку”. Не “магический автопилот”. Не очередную оболочку вокруг LLM.HTCE — это доказательный когнитивный runtime
Сикофантия? Или ускорение динамического пересчета определителя от O(n³) до O(n)?
Всем привет. Хотел бы поделиться своими результатами и обратиться за ответным мнением.
Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
Стремление к строгости в математике имеет долгую и неоднозначную историю — историю, из которой математики могут извлечь уроки сейчас, когда формализуют математику в программе Lean.
Красота математики и ML (part 1-2): алгоритм MinHash
Вернулся к одному из своих исследований в области векторизации текста. Возможно, расскажу о нём позже, а пока, в поисках ответа на вопрос насколько моё исследование повторяет уже существующие разработки, изучил два интересных алгоритма.SimHash: про то, как векторизовать текст в плотный вектор из нулей и единиц.MinHash: про то, как транслировать разряжённый (sparse) бинарный вектор в компактный отпечаток, состоящий из целых чисел.Кроме того, что оба алгоритма работают с бинарными векторами, у них есть еще одна общая черта. Они оба гениальны в своей простоте и потому потрясающе красивы!
Математики предупредили об угрозах, которые ИИ представляет для их профессии
Международный математический союз поддержал предупреждение о влиянии технологической индустрии.В декларации, описывающей многочисленные вызовы, которые искусственный интеллект (ИИ) создаёт для математических исследований, математики выразили обеспокоенность растущим влиянием технологической индустрии. Декларация была опубликована через две недели после того, как компания OpenAI объявила, что одна из её моделей искусственного интеллекта опровергла 80-летнюю математическую гипотезу в области геометрии.
