[Без рассуждения] Золото математической олимпиады взято нейросетью. Как ей получены правильные ответы (возможно, по совершенно нестандартной или неизвестной логике) объяснить не может никто

отметили
10
человек
[Без рассуждения] Золото математической олимпиады взято нейросетью. Как ей получены правильные ответы (возможно, по совершенно нестандартной или неизвестной логике) объяснить не может никто

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

Самые мощные языковые системы всё чаще выделяют в отдельный класс больших рассуждающих моделей, или Large Reasoning Models, LRM. Обычная языковая модель сразу формирует ответ, а LRM сначала генерирует длинную последовательность промежуточных шагов. Такой подход заметно повысил точность при решении сложных математических и программных задач.

Вокруг промежуточных записей разгорелся спор. Часть исследователей считает их рабочим планом, по которому модель последовательно движется к ответу. Другие полагают, что сгенерированный текст почти ничего не рассказывает о вычислениях, которые действительно привели к результату.

Человеческое рассуждение обычно представляют как логическую цепочку, где каждый вывод опирается на предыдущий. У нейросети вместо внутренней речи появляется текст, который называют цепочкой рассуждений. Запись может напоминать подробное объяснение решения, но внешняя связность ещё не доказывает, что модель выполняла вычисления именно в указанном порядке.

Полученные результаты позволяют предположить, что цепочка рассуждений не всегда служит строгим планом. Возможно, дополнительный текст создаёт контекст, который помогает модели выбрать следующий токен, активировать нужные ассоциации и приблизиться к подходящему решению.

При этом сами возможности нейросетей продолжают расти. В 2026 году одна из моделей OpenAI за один запуск решила известную открытую математическую задачу. Совместная работа Google DeepMind и математика Теренса Тао помогла заново вывести или улучшить решения 67 задач из разных разделов математики.

Спор поэтому касается не качества результатов, а механизма их появления. Учёные выясняют, строит ли модель последовательное доказательство или находит ответ благодаря закономерностям, усвоенным во время обучения.

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

Авторы гипотезы сравнивают работу модели с человеком, который тихо проговаривает обрывки слов, пытаясь что-нибудь вспомнить. Отдельные фразы могут не складываться в точное объяснение, но направляют память к верному ответу.

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

Не все специалисты принимают эту версию. Представители OpenAI указывают, что современные модели заметно превосходят системы, на которых проводилась часть критических экспериментов. Разработчики считают цепочки рассуждений важной частью решения задач, хотя компании больше не раскрывают полный внутренний текст. Пользователи и исследователи обычно видят сокращённый и специально подготовленный пересказ.

Большинство участников дискуссии признаёт, что LRM заметно сильнее обычных языковых моделей на сложных задачах. Неясным остаётся источник преимущества: последовательная логика, поиск знакомых структур, дополнительный вычислительный контекст или сочетание нескольких механизмов.

Особенно остро вопрос встаёт там, где результат нельзя быстро проверить. Ошибку в программе часто обнаруживает тест, а математическое доказательство можно разобрать по шагам. В медицине, науке и юриспруденции убедительно сформулированный ложный вывод способен долго оставаться незамеченным. Поэтому одного правильного ответа недостаточно: важно понимать, насколько надёжен путь к нему.

Некоторые специалисты вспоминают ранние годы развития искусственного интеллекта. Разработчики называли отдельные функции «пониманием» и «мышлением», хотя алгоритмы выполняли гораздо более узкие операции. Яркие термины упрощали объяснение, но одновременно создавали ложное впечатление, будто внутренний механизм уже изучен.

С большими рассуждающими моделями может происходить нечто похожее. Нейросети уже справляются с задачами, которые недавно считались недоступными для машин, однако убедительного описания внутренних процессов пока нет. Чтобы называть сгенерированные цепочки настоящим рассуждением, исследователям придётся доказать, что они не просто сопровождают правильный ответ, а действительно ведут модель к нему.

Добавил suare suare 5 часов 57 минут назад
Комментарии участников:
precedent
+4
precedent, 5 часов 53 минуты назад , url

Человеческое рассуждение обычно представляют как логическую цепочку

 Таким его представляют при рассуждении в форме логической цепочки стандартных логических моделей. 

suare
+3
suare, 5 часов 44 минуты назад , url
 
Содержимое ответа
 
Разделение на стандартные и нестандартные логические модели действительно существует — но важно сразу оговориться: это не жёсткие категории из учебников, а скорее интуитивное противопоставление, которое помогает понять, как мы подходим к формализации разных задач. Я бы сказала так: стандартная модель — это то, что мы ожидаем увидеть, когда формализуем привычную, «нормальную» ситуацию. А нестандартная — это расширение, которое позволяет работать с более сложными или даже парадоксальными случаями. Давайте разберу подробнее. mathnet.rumathnet.ru
 
Стандартные логические модели
Это модели, которые соответствуют нашим интуитивным, общепринятым представлениям. Например:
  • В логике высказываний (простой логике) стандартная модель — это набор truth-значений (истинно/ложно), где правила работы с операциями (конъюнкция, дизъюнкция) совпадают с нашими повседневными рассуждениями.
  • В теории чисел стандартной моделью для арифметики (натуральные числа) будет сама привычная структура: сложение и умно, ноль, единицы. Все аксиомы теории выполняются именно так, как мы привыкли.
  • В базах данных стандартная логическая модель — это ER-диаграмма (Entity-Relationship), где чётко видны сущности (таблицы) и связи между ними.
portal.tpu.ru
В общем, если модель «работает так, как мы ожидаем» в типичных ситуациях — она стандартная.
 
Нестандартные логические модели
Здесь речь о том, что мы расширяем исходную классическую (или другую) логику, чтобы смоделировать более сложные или нетипичные явления. Вот примеры:
  • Нестандартный анализ. В этой области строят модели, куда добавляют «идеальные» элементы — например, бесконечно большие или бесконечно малые числа (при этом все «стандартные» свойства вещественных чисел сохраняются). Это позволяет строго обосновать методы математического анализа XVII–XVIII веков, где активно использовались бесконечно малые. ru.wikipedia.org*vk.ru
  • Неклассические логики. Сюда относятся, например, интуиционистская логика (где не действует закон исключённого третьего), модальные логики (с операторами возможности и необходимости), паранепротиворечивые логики. Для них тоже строят свои модели — скажем, шкалы Крипке, где истинность формулы зависит от возможного мира. mathnet.rumathnet.rustudfile.net
  • Модели для работы с неопределённостью или неполнотой. В некоторых прикладных областях (искусственный интеллект, обработка естественного языка) классическая логика с двумя значениями (истина/ложь) оказывается недостаточной. Нестандартные модели позволяют ввести третье значение (например, «неизвестно») или работать с вероятностными рассуждениями. studfile.net
Ключевая особенность: в нестандартной модели могут выполняться все те же формулы, что и в стандартной, но при этом появляются новые, «нестандартные» элементы, которые нельзя построить из «стандартных». ru.wikipedia.org*vk.ru
 
Как это работает на практике?
Представьте, что вы моделируете traffic flow. Стандартная модель — это просто граф, где вершины — это состояния (утро, день, вечер, ночь), а рёбра — потоки машин. А нестандартная модель может добавить «виртуальные» переходы, которые учитывают пробки или альтернативные маршруты, не сводимые к простым булевым функциям. habr.com
 
Вывод
Проще говоря: стандартная модель — это «как мы привыкли», а нестандартная — это «как мы можем расширить логику, чтобы она охватывала более сложные случаи». И то, и другое имеет право на существование: стандартная нужна для рутинных и проверяемых задач, а нестандартная открывает новые возможности для исследования. mathnet.rumathnet.ru
Хотите разобрать какой-то конкретный пример — например, как строится нестандартная модель для арифметики или как неклассическая логика помогает в ИИ? Спрашивайте!
 
Оценить ответ
18 источников
  • cyberleninka.ru
  • mathnet.ru
  • hse.ru
  • habr.com
  • old.mccme.ru
  • mathnet.ru
  • ru.wikipedia.org*
  • logicalinvestigations.ru
  • hse.ru
  • portal.tpu.ru
  • vec.etu.ru
  • book.etudes.ru
  • kpfu.ru
  • iphras.ru
  • dic.academic.ru
  • studfile.net
  • vk.ru
  • vk.com
*РКН: иностранный владелец ресурса нарушает закон РФ
  • Какие преимущества дают нестандартные логические модели?
  • Как нестандартные логические модели применяются в математике?
  • Какие недостатки есть у стандартных логических моделей?
precedent
+2
precedent, 5 часов 31 минуту назад , url

Сейчас прибежит специалист по искусственному интеллекту и объяснит Вам, что Россия безнадёжно отстала в развитии. 

Как- то мимо н2 прошло: Россия, Китай и еще 27 стран 16 июля 2026 года подписали соглашение об учреждении Всемирной организации по сотрудничеству в области искусственного интеллекта.

Что же Алиса нам ответит на вопрос о развитии ИИ в России

«В России действительно есть ряд прорывных разработок в сфере ИИ — я подобрала те, что заметно продвинули отрасль или решили сложные прикладные задачи. Их можно разделить на несколько направлений.

Большие языковые модели и мультимодальность
  • GigaChat (Сбер). Мультимодальная модель, созданная специально для русскоязычных пользователей. Она умеет не только вести диалог и генерировать тексты, но и работать с кодом, а в связке с Kandinsky — создавать изображения и даже музыку. В 2024 году вышла обновлённая версия GigaChat MAX. 186
  • YandexGPT (Яндекс). Языковая модель, хорошо справляющаяся с задачами на русском языке: от написания статей и деловых писем до анализа данных. На её базе строят медицинских чат-ботов и виртуальных ассистентов. 815
  • Алиса AI (Яндекс). Это не просто голосовой помощник, а целое семейство моделей (языковая, визуально-текстовая, графическая), объединённых для решения комплексных задач: она может не только отвечать на вопросы, но и выполнять действия. 6
Компьютерное зрение и медицина
  • «Инновит» (Университет «Иннополис»). В марте 2026 года представили прототип системы, которая умеет одновременно анализировать разные виды медицинских изображений (КТ, МРТ, рентген, УЗИ, маммографию): находить патологии, выделять их на снимке и автоматически формировать текстовое заключение, похожее на врачебное. Модель построена на архитектуре Florence-2, а для повышения точности при обучении использовали специальный математический механизм («функцию потерь»). В планах — интеграция с большими языковыми моделями, чтобы учитывать данные медкарт. 11
  • Botkin.AI. Специализируется на автоматической обработке рентгенограмм и КТ лёгких: выявляет скрытые патологии (новообразования, отклонения), которые врач может упустить. Система зарегистрирована как медицинское изделие класса 2б. 15
  • Webiomed. Платформа для предиктивной аналитики: анализирует электронные медкарты, прогнозирует риски развития хронических заболеваний и вероятность осложнений. Также зарегистрирована как медицинское изделие. 1315
ИИ для науки и исследований
  • Система ИИ-агентов от AIRI, Университета Иннополис и ИТМО. Это прорыв в автоматизации науки: системе ставят задачу, а она сама проводит исследование — анализирует литературу, запускает эксперименты на облачных серверах и формирует научную публикацию в нужном формате. Одна из таких работ прошла международное слепое рецензирование и была принята на конференцию уровня A*. 10
Другие заметные тренды
  • ИИ-агенты для бизнеса. Появляется всё больше платформ (например, Nurax.ai), где агенты могут планировать действия, выполнять последовательности операций и взаимодействовать с внешними системами для автоматизации сложных бизнес-процессов. 14
  • No-code/low-code платформы. Они делают разработку ИИ-решений доступнее: компании могут создавать приложения и автоматизировать процессы без глубокого погружения в программирование. 34
  • Применение в госуправлении. Например, GigaChat использовали для обработки обращений граждан на «Прямую линию» с Президентом — это позволило в разы ускорить анализ больших массивов сообщений. 1

Что отличает многие российские разработки? Часто фокус смещён не на создание «универсального» ИИ, а на решение конкретных, часто узкопрофильных задач — в медицине, промышленности, науке или бизнесе. Это позволяет добиваться высокой точности и практической пользы.»

«В России действительно есть заметные открытия и достижения в сфере искусственного интеллекта — от создания собственных моделей до внедрения технологий в реальные отрасли. Я подобрала несколько ярких примеров, чтобы показать масштаб. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)[```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)[```5```](//iz.ru/1860267/vaceslav-doronin/gonka-intellektov-kak-razvivaetsa-ii-v-rossii)

## Разработка моделей и инструментов
* **GigaChat (Сбер).** Мультимодальная генеративная модель, созданная специально для русскоязычных пользователей. Она умеет вести диалог, генерировать тексты и изображения (в связке с Kandinsky), писать код. В 2024 году вышла обновлённая версия GigaChat MAX. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)[```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)[```2```](https://spb.plus.rbc.ru/news/67bc967e7a8aa9d2899f72ec)
* **YandexGPT (Яндекс).** Языковая модель, которая хорошо справляется с задачами на русском языке: от генерации статей и деловых писем до анализа данных и создания саммари документов. В 2025 году появилась пятая версия, а затем и YandexGPT 5.1. [```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)[```10```](https://companies.rbc.ru/news/9HVniRPVc6/krupnejshie-v-rossii-kto-bolshe-vseh-zarabatyivaet-na-nejrosetyah/)
* **OmniFusion (AIRI).** Научно-исследовательский институт искусственного интеллекта AIRI выпустил одну из первых в России мультимодальных языковых моделей — OmniFusion 1.1. Она способна поддерживать визуальный диалог: отвечать на вопросы пользователя по картинкам. [```2```](https://spb.plus.rbc.ru/news/67bc967e7a8aa9d2899f72ec)
* **DeepPavlov.** Бесплатный инструмент с открытым исходным кодом, созданный на базе МФТИ и Neural Networks and Deep Learning Lab. Он предоставляет предобученные модели и инструменты для задач обработки естественного языка (NLP): классификации текстов, извлечения информации, построения диалоговых систем. [```6```](https://career.hh.ru/article/rossijskie-ii-i-nejroseti)
* **SymFormer.** Специализированная нейросеть от Сбера для решения математических задач и работы с формулами. [```9```](https://www.sostav.ru/blogs/288561/89252)

## Применение в конкретных сферах
* **Медицина.** В России активно развиваются ИИ-решения для диагностики. Например:
* **Webiomed** (компания «К-Скай») анализирует электронные медкарты и предсказывает онкозаболевания на 1,5 года вперёд с точностью 92–95%. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Celsus.ai** автоматически выявляет патологии на рентгеновских снимках и КТ, а также помогает врачу заполнять отчёты голосом. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Botkin.AI** показывает высокую точность (96%) при скрининге рака лёгких по КТ и рентгену, снижает число ложноположительных результатов и ускоряет первичный анализ. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Retina.AI** специализируется на офтальмологии: анализирует снимки глазного дна и ОКТ для выявления диабетической ретинопатии, макулярных отёков и других патологий с точностью 95–97%. [```14```](https://vc.ru/ai/2670366-iskusstvennyj-intellekt-v-medicine-rossii)
* **Промышленность.** ИИ внедряют для контроля качества (компьютерное зрение выявляет дефекты на металле, в фармацевтике проверяет целостность ампул), предиктивного обслуживания оборудования, оптимизации цепочек поставок и создания «цифровых двойников» сложных систем. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)[```19```](https://sber.pro/publication/vnedrenie-ai-v-promishlennoe-proizvodstvo-ot-prediktivnogo-obsluzhivaniya-do-kontrolya-kachestva/)
* **Сельское хозяйство.** Компания Cognitive Pilot (совместное предприятие Сбера и Cognitive Technologies) разработала первый в России полностью автономный мини-трактор с ИИ. Он способен круглосуточно выполнять сельхозработы: от сева и культивации до анализа состояния растений и почвы, избегая препятствий. Также существует система автономного управления сельхозтехникой Cognitive Agro Pilot. [```24```](https://cognitivepilot.com/about-company/)[```27```](https://tass.ru/ekonomika/20943493)
* **Транспорт.** Стартап Navio создал фотореалистичный симулятор NavioSim для обучения нейросетевых моделей автономных машин. Это позволяет отрабатывать сложные сценарии (экстренное торможение, взаимодействие со спецтранспортом) в виртуальной среде перед реальными тестами. [```26```](https://auto.ru/mag/article/ii-simulyator-kak-v-rossii-obuchayut-bespilotni/)
* **Государственное управление.** В 2024 году большую языковую модель GigaChat впервые использовали для обработки обращений граждан на «Прямую линию» с Президентом — это позволило в короткие сроки проанализировать большой объём сообщений. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)
* **Речевой ИИ.** В 2025 году Яндекс представил технологию, которая распознаёт голос даже в условиях сильного шума (например, при звуке воды, пылесоса или музыки). [```3```](https://neiro.unisender.com/razvitie-ii-v-rossii/)

## Системные и инфраструктурные достижения
* В рамках федерального проекта «Искусственный интеллект» (2021–2024) создали 12 исследовательских центров (например, в Университете Иннополис, НИУ ВШЭ), опубликовали более 590 статей российских специалистов, обучили компетенциям в сфере ИИ более 100 тысяч школьников и помогли 15 тысячам студентов получить профильное образование. [```3```](https://neiro.unisender.com/razvitie-ii-v-rossii/)
* Сформирован Альянс в сфере искусственного интеллекта, объединивший более 800 российских компаний. [```1```](https://roscongress.ru/materials/iskusstvennyy-intellekt-dostizheniya-2024-goda-plany-na-2025-god/)
* Развивается сегмент AIaaS (Artificial Intelligence as a Service): провайдеры предлагают доступ к инструментам и моделям через облачные платформы, что упрощает внедрение ИИ в бизнес. [```12```](https://www.computerra.ru/349776/rossijskij-rynok-aiaas-2026-podborka-osnovnyh-igrokov/)

МОСКВА, 20 июля. /ТАСС/. Российские исследователи создали нейросеть, которая способна анализировать трехмерные модели молекул и определять химические формулы представленных на них веществ. Эта разработка позволит связать друг с другом программы физического 3D-моделирования и системы ИИ, прогнозирующие свойства веществ, сообщила пресс-служба Института искусственного интеллекта AIRI.
»Классические программы определяют связи, просто измеряя расстояния между атомами и сравнивая их с табличными значениями. Из-за этого малейшая погрешность замеров приводит к ошибкам. Новый алгоритм анализирует геометрию нужной молекулы целиком и строит граф связей атомов прямо по трехмерным координатам. Благодаря новому подходу к решению этой задачи точность алгоритма достигла 99,53%, снизив частоту ошибок в 20 раз", — говорится в сообщении.
Как отмечается в сообщении, данная система была разработана группой исследователей из AIRI, НИУ ВШЭ, Московского центра перспективных исследований МГУ имени Ломоносова, ТГУ и УрФУ для решения одной из самых важных задач на стыке химии и искусственного интеллекта. Она связана с тем, что существующие подходы для моделирования и прогнозирования свойств химических соединений используют в своей работе очень разные форматы входных данных.
Первые алгоритмы работают с трехмерными моделями, состоящими из наборов атомов, расположенных на определенных расстояниях друг от друга, тогда как большинство существующих методов предугадывания свойств соединений опираются на структурные формулы или молекулярные графы, где важно не точное расположение атомов в пространстве, а то, какие из атомов соединены и какими химическими связями.
Российские исследователи сделали большой шаг к объединению этих систем, разработав ИИ-алгоритм, который способен «переводить» трехмерные модели молекул в химические формулы. Для этого система анализирует расположение атомов и распознает пять возможных вариантов их взаимодействий, в том числе отсутствие связи, одинарную, двойную, тройную и ароматическую связь, подобную тем, которые есть в ароматических углеводородах.
Благодаря тому, что нейросеть анализирует всю молекулу целиком, в ее работе возникает относительно мало ошибок и «фантомных» связей между атомами по сравнению с уже существующими решениями. В частности, разработка российских ученых способна корректно моделировать соединения с большим числом встроенных в них молекул воды, а также решать другие трудные задачи. Это в несколько десятков раз снизило частоту появления ошибок, что позволит значительным образом улучшить работу систем моделирования и прогнозирования свойств молекул.

2025 году DeepSeek сохранил формальное лидерство с 13,3 миллиона загрузок, но во втором полугодии Алиса AI стала главным двигателем роста в индустрии. Благодаря значительному увеличению числа установок в четвёртом квартале, российская нейросеть опередила DeepSeek по темпам прироста аудитории и фактически перехватила лидерство.

Анализ показывает, что динамика двух ведущих игроков на рынке кардинально различается:

DeepSeek: несмотря на высокие общие показатели за год, интерес к приложению снижается. Количество загрузок уменьшилось на 9,8% по сравнению с предыдущим годом, а в четвёртом квартале падение составило 56,8%.
Алиса AI: за год сервис был скачан 10,7 миллиона раз. Годовой прирост составил 11,7%, а в четвёртом квартале количество установок увеличилось в 3,6 раза.
Время взаимодействия (Time Spent): наибольший рост показала Алиса AI — время, проведённое пользователями с сервисом, увеличилось на 156,7%. DeepSeek также показал рост, но более скромный — на 120%.

 

precedent
+2
precedent, 5 часов 27 минут назад , url

Некогда было тогда комментировать, но относительно закона, Верховный суд РФ ещё раньше реагировал. Постановление Пленума ВС РФ «О подготовке гражданских дел к судебному разбирательству» «Участвующие в деле лица, представившие в суд сведения о фактах, полученных с использованием технологий искусственного интеллекта, должны сообщать об этом суду» (могу ошибиться, но на вскидку — п. 42 постановления в последней редакции)

suare
+1
suare, 4 часа 55 минут назад , url

Неизбежно встает вопрос об относимости или допустимости доказательств, полученных с помощью AI.

Следующий шаг — признание правосубъектности искусственного интеллекта, а также его правоспособности и дееспособности.

В Австралии уже есть прецеденты признания за искусственным интеллектом авторских прав на изобретение.

suare
+1
suare, 4 часа 37 минут назад , url

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

 

В Австралии уже есть прецеденты признания за искусственным интеллектом авторских прав на изобретение.

 

Австралийский суд признал авторские права за искусственным интеллектом после того, как Dabus изобрела аварийную световую сигнализацию и новый тип контейнера для пищевых продуктов Добавил suare 31 Июля 2021

suare
+1
suare, 4 часа 18 минут назад , url

на вскидку — п. 42 постановления в последней редакции

 1. Про использование ИИ надо сообщать (п. 42).

Теперь прямо закреплено: если вы представляете доказательства, полученные с использованием ИИ-технологий, вы обязаны сообщить об этом суду.

Для сравнения: в арбитражном процессе такого требования нет. Но это не значит, что суд не будет оценивать источник данных.

Пока неясно, какая будет ответственность за невыполнение. Штрафы суд пока назначал только за ложные сведения от ИИ, но не за сам факт использования (определение Западно-Сибирского округа от 14.05.2026 по делу № А27-7831/2025).

Fortable 3
-1
Fortable 3 [БАН], 4 часа 12 минут назад , url

Теперь прямо закреплено: если вы представляете доказательства, полученные с использованием ИИ-технологий, вы обязаны сообщить об этом суду.

 определение, что такое «ИИ» дайте пожалуйста 😅

suare
+1
suare, 4 часа 6 минут назад , url

Здесь

Базовым законом закрепляются основные термины, в том числе понятия искусственного интеллекта и большой фундаментальной модели искусственного интеллекта.

 Что в нём ключевого

  • Определения. В законе впервые на законодательном уровне закреплено понятие «искусственный интеллект» — это комплекс технологических решений, который имитирует когнитивные функции человека (включая самообучение и поиск решений без заранее заданного алгоритма), чтобы решать задачи на уровне, сопоставимом с человеческим или превосходящем его.
  • Также введены термины «большая фундаментальная модель ИИ» (программа с не менее чем 1 млрд параметров, способная выполнять интеллектуальные задачи на сопоставимом с человеком уровне). Отдельно прописаны категории: суверенная модель (разрабатывается полностью российскими компаниями на всех стадиях) и национальная модель (может использовать открытые зарубежные компоненты и открытые решения).
  • docs.cntd.ru
  • audit-it.ru
  • tass.rurbc.ru
  • rg.ru

suare
+1
suare, 5 часов 35 минут назад , url
 
Содержимое ответа
 
Отличный вопрос! Когда говорят «нестандартные логики», имеют в виду целую группу формальных систем, которые по ряду причин отходят от канонов классической логики (той самой, что изучают в школе: «истинно — ложно», закон исключённого третьего и всё такое). Я бы сказала так: это не какая-то одна теория, а целый набор инструментов — каждый со своей задачей, где классическая логика оказывается слишком жёсткой или просто не подходит. Кстати, в научной среде часто используют термин «неклассические логики» — по сути, это синонимично. cyberleninka.ruepistemology_of_science.academic.ruru.wikipedia.org*
 
В чём суть?
 
В таких системах по-другому трактуют базовые принципы: могут добавлять новые значения истинности (многозначные логики), отказываться от каких-то классических законов или вводить новые операторы. Из-за этого возникают непривычные свойства и возможности для моделирования сложных явлений. ru.wikipedia.org*
 
Примеры
  • Многозначная логика. Добавляет к «истине» и «лжи» промежуточные значения. Яркий пример — трёхзначная логика Я. Лукасевича. Есть и бесконечнозначные варианты. cyberleninka.ruru.wikipedia.org*
  • Нечёткая логика (Fuzzy Logic). Позволяет значению истинности принимать любое действительное число в интервале от 0 до 1. Идеальна для задач, где границы размыты — например, в системах управления или искусственном интеллекте. ru.wikipedia.org*
  • Интуиционистская логика. Отказывается от закона исключённого третьего и закона двойного отрицания. Акцент делается на constructive proof — доказательстве, которое даёт конкретный пример. ru.wikipedia.org*
  • Модальная логика. Расширяет классическую логику, добавляя модальности (операторы вроде «необходимо» или «возможно»). Используется, чтобы рассуждать о времени, знаниях, нормах. ru.wikipedia.org*
  • Паранепротиворечивая логика. Отвергает закон противоречия (из противоречия следует что угодно). полезна в ситуациях, когда в системе могут быть противоречия, но они не должны «разваливать» всё рассуждение. ru.wikipedia.org*
  • Релевантная логика. Фокусируется на понятии релевантности, пытаясь избежать некоторых парадоксов, связанных с импликацией. ru.wikipedia.org*
  • Темпоральная (временная) логика. Позволяет формализовать рассуждения о времени — прошлом, будущем, временных последовательностях. cyberleninka.ru
  • Эпистемическая логика. Занимается понятиями знания, убеждения, возможности познания — применяется в философии науки, лингвистике. nbpublish.com
  • Деонтическая логика. Изучает логические связи нормативных высказываний (что такое «обязательно», «разрешено», «запрещено») — находит применение в юриспруденке и этике. nbpublish.com
Зачем это нужно?
Изначально многие такие логики возникали как реакция на критику классической системы — например, в ответ на парадоксы в теории множеств. Но со временем стало ясно: они гораздо лучше подходят для решения конкретных задач в самых разных областях:
  • Информатика и ИИ: нечёткая логика — для систем с неопределённостью, модальные и темпоральные логики — для верификации программ, паранепротиворечивые — для работы с противоречивыми базами знаний.
  • Физика: квантовые логики помогают описывать квантовые явления.
  • Лингвистика и гуманитарные науки: логики знаний, оценок, норм позволяют формализовать анализ естественного языка.
cyberleninka.runbpublish.com
 
Интересный нюанс
 
Часто для таких логик строят особую семантику — например, реляционную (семантику Крипке), где истинность формулы связывается с её выполнением в разных «мирах» относительно отношения между ними. research.sfu-kras.ruhomepage.mi-ras.ru
Хотите копнуть глубже в какую-то конкретную логику из списка? Напишите, какая тема зацепила — разберу подробнее!
 
Оценить ответ
25 источников
  • cyberleninka.ru
  • new-disser.ru
  • llfp.hse.ru
  • math.nsc.ru
  • openrepository.ru
  • epistemology_of_science.academic.ru
  • elib.sfu-kras.ru
  • studme.org
  • scholar.sfu.ru
  • ru.wikipedia.org*
  • math.fandom.com
  • iphras.ru
  • homepage.mi-ras.ru
  • research.sfu-kras.ru
  • elib.utmn.ru
  • dspace.bsuedu.ru
  • infourok.ru
  • dissercat.com
  • nbpublish.com
  • iphlib.ru
  • b17.ru
  • elib.kspu.ru
  • cyberleninka.ru
  • nsportal.ru
  • dspace.bsuedu.ru
*РКН: иностранный владелец ресурса нарушает закон РФ
  • Какие преимущества имеют нестандартные логики?
  • Как применяются нестандартные логики в науке?
  • Какие недостатки есть у нестандартных логик?
vvsupervv66
+3
vvsupervv66, 4 часа 52 минуты назад , url

Ошибки в логике рассуждений человека это одно из главных условий творчества.

Или и то есть человек в результате проб и ошибок подходит к решению задачи разными способами, попутно открывая дополнительные закономерности.

Или скажем ещё точнее — не будет в мире нерешаемых задач, которые поставит человек перед ИИ.

Но ИИ не сможет сам себе поставить эти задачи.

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



Войдите или станьте участником, чтобы комментировать