question: By the end of 2026, will we have transparency into any useful internal pattern within a Large Language Model whose semantics would have been unfamiliar to AI and cognitive science in 2006?

resolution_criteria: Резолвится YES, если рынок Manifold «By the end of 2026, will we have transparency into any useful internal pattern within a Large Language Model whose semantics would have been unfamiliar to AI and cognitive science in 2006?» резолвится YES по своим правилам.

rationale: Активные исследования механистической интерпретируемости (Anthropic, OpenAI) и регуляторное давление создают сильные стимулы. Однако технические барьеры огромны — LLM с триллионами параметров остаются чёрными ящиками. Критерий 'незнакомой семантики 2006 года' размыт, но emergent abilities и суперпозиция уже показывают новые паттерны.

key_drivers: Целенаправленные инвестиции крупных игроков в интерпретируемость (Anthropic circuits, OpenAI superalignment)

key_drivers: Регуляторное давление на объяснимый ИИ (EU AI Act, NIST)

key_drivers: Уже обнаруженные emergent abilities и суперпозиция как примеры 'незнакомой семантики'

key_drivers: Быстрый рост open-source инструментов для анализа внутренних состояний LLM

key_risks: Технические барьеры: триллионы параметров делают полную прозрачность крайне сложной

key_risks: Хайп-цикл: обещания интерпретируемого ИИ часто не оправдывались

key_risks: Неопределённость критерия 'полезности' — найденные паттерны могут быть академически интересными, но практически бесполезными

key_risks: Вычислительные ограничения на анализ внутренностей современных LLM

invest_angle: Ставить на компании, разрабатывающие XAI-инструменты (стартапы типа Fiddler Labs) и крупных игроков с сильными исследовательскими программами по интерпретируемости (Anthropic, если IPO). Также рассмотреть NVIDIA как поставщика вычислительной мощности для таких исследований.

baseline_source: manifold

status: open

skeptic: deepseek/deepseek-chat

question_ru: К концу 2026 года, получим ли мы прозрачность в отношении какой-либо полезной внутренней структуры в большой языковой модели, семантика которой была бы незнакома искусственному интеллекту и когнитивной науке в 2006 году?

context_ru: Этот вопрос касается того, сможем ли мы понять внутренние механизмы работы больших языковых моделей (ИИ, способных генерировать текст), обнаружив в них новые, ранее неизвестные науке закономерности.


question: Will we get AGI before 2027?

resolution_criteria: Резолвится YES, если рынок Manifold «Will we get AGI before 2027?» резолвится YES по своим правилам.

rationale: Несмотря на беспрецедентные инвестиции и исследовательскую активность, фундаментальные технические барьеры (отсутствие понимания, самосознания, долгосрочного планирования) остаются нерешенными. Текущие LLM — это узкий ИИ, а не AGI. Регуляторные ограничения и энергетические требования создают дополнительные препятствия.

key_drivers: Экспоненциальный рост инвестиций ($100+ млрд в AGI-компании)

key_drivers: Активные заявления крупных игроков (OpenAI, Google, Microsoft) о прогрессе к AGI

key_drivers: Быстрое улучшение бенчмарков и мультимодальных возможностей

key_drivers: Возможность неожиданного архитектурного прорыва

key_risks: Отсутствие консенсуса по архитектуре AGI и нерешенные фундаментальные проблемы

key_risks: Регуляторные ограничения после усиления контроля за ИИ

key_risks: Энергетические барьеры (обучение требует мегаватты против 20 Вт мозга)

key_risks: Схлопывание хайп-цикла при отсутствии быстрых результатов к 2025-2026

invest_angle: Если AGI появится, основные бенефициары — чипмейкеры (NVIDIA), облачные провайдеры (Microsoft, Google) и инфраструктурные компании. Асимметрия через опционы на эти активы или венчурные фонды, специализирующиеся на ИИ.

baseline_source: manifold

status: open

question_ru: Появится ли общий искусственный интеллект до 2027 года?

context_ru: Общий искусственный интеллект (ОИИ) — это гипотетический ИИ, который может выполнять любую интеллектуальную задачу, доступную человеку, и его появление может кардинально изменить мир.


question: Perfect score achieved by an AI model in the International Math Olympiad (IMO) 2026?

resolution_criteria: Резолвится YES, если рынок Manifold «Perfect score achieved by an AI model in the International Math Olympiad (IMO) 2026?» резолвится YES по своим правилам.

rationale: AlphaGeometry показал золотой уровень в геометрии, но IMO требует совершенства во всех 6 задачах по 4 дисциплинам. Базовая ставка для полного совершенства близка к нулю, организационные барьеры высоки, а 2.5 года недостаточно для качественного скачка от узкоспециализированных решений к универсальному мастерству.

key_drivers: Прорыв AlphaGeometry демонстрирует возможность AI достичь олимпиадного уровня в отдельных областях

key_drivers: Быстрый прогресс в нейросимволических методах и интеграции LLM с формальными системами доказательств

key_drivers: Высокие инвестиции крупных игроков (DeepMind, OpenAI) в AI для математики

key_risks: Мультидисциплинарность IMO: нужно совершенство в геометрии, теории чисел, алгебре и комбинаторике одновременно

key_risks: Организационные барьеры: IMO может не допустить чисто алгоритмические системы к официальному участию

key_risks: Проблема 'последней мили': переход от 90% успеха к абсолютному совершенству требует качественного скачка

invest_angle: Если сбудется, инвестировать в компании, разрабатывающие AI для образования и научных исследований (Alphabet/DeepMind, Microsoft), а также в EdTech-стартапы, интегрирующие продвинутые AI-решатели задач.

baseline_source: manifold

status: open

question_ru: Будет ли достигнут идеальный результат моделью искусственного интеллекта на Международной математической олимпиаде (ММО) 2026 года?

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


question: Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]

resolution_criteria: Резолвится YES, если рынок Manifold «Open-Source AI model gets perfect IMO 2026 score? [International Math Olympiad 2026]» резолвится YES по своим правилам.

rationale: Несмотря на активные исследования в области математического AI, достижение perfect score (42/42) на IMO 2026 открытой моделью крайне маловероятно. Текущие лучшие модели (включая AlphaGeometry) решают лишь часть задач IMO-уровня. Открытые модели существенно отстают от коммерческих в математических способностях, а IMO требует не только вычислений, но и творческого мышления высокого уровня.

key_drivers: Активные инвестиции в математический AI от крупных игроков

key_drivers: Прогресс в архитектурах для формального доказательства теорем

key_drivers: Растущие датасеты математических доказательств и формализованной математики

key_drivers: Потенциальные прорывы в гибридных символьно-нейронных подходах

key_risks: Фундаментальные ограничения текущих архитектур в творческом мышлении

key_risks: Отставание opensource-моделей от коммерческих по ресурсам и экспертизе

key_risks: Неопределенность допуска AI к участию в IMO

key_risks: Сложность формализации и верификации математических доказательств в условиях олимпиады

invest_angle: При реализации сценария — инвестиции в образовательные технологии и платформы автоматизированного доказательства теорем получат мощный катализатор. Также выиграют производители вычислительного железа (NVIDIA) и компании, интегрирующие AI в математическое образование.

baseline_source: manifold

status: open

question_ru: Может ли модель искусственного интеллекта с открытым исходным кодом получить идеальный балл на Международной математической олимпиаде 2026 года?

context_ru: Международная математическая олимпиада (IMO) — это престижное соревнование для школьников со всего мира, где они решают сложные математические задачи, и получение идеального балла означает безупречное выполнение всех заданий.