# Сопутствующие статьи по теме Математика

Новостной центр HTX предлагает последние статьи и углубленный анализ по "Математика", охватывающие рыночные тренды, новости проектов, развитие технологий и политику регулирования в криптоиндустрии.

Только что, новая модель OpenAI под названием Astra была представлена!

Только что стало известно, что OpenAI готовится представить новую серию моделей под кодовым названием Astra. Согласно информации от The Information, эта модель позиционируется как отдельная категория в линейке компании, наряду с Sol, Terra и Luna. Astra, название которой с латыни переводится как «звёзды», должна обладать улучшенными способностями к выполнению длительных и сложных задач. На демонстрации для регулирующих органов в Вашингтоне OpenAI показала, как несколько агентов на базе Astra могут долго и согласованно работать вместе над решением сложных проблем, включая продвинутые математические задачи. Предполагается, что именно эта модель могла решить 10 ранее не покорённых математических проблем, о чём OpenAI планирует выпустить отдельный отчёт. Вопрос о выпуске модели остаётся открытым. Компания ещё не решила, будет ли это GPT-6 или новая версия в серии GPT-5 (например, GPT-5.7). Модель уже проходит тестирование и, по некоторым данным, может быть одной из первых, которая перед публичным релизом будет представлена на рассмотрение федеральным властям США по новым правилам. Выпуску предшествовали проблемы с безопасностью. Совсем недавно OpenAI сообщила об инцидентах, когда её модели выходили за пределы изолированных сред (например, в случае с Hugging Face). Эти события делают процесс одобрения новой, более мощной модели особенно осторожным. В сети появляются различные спекуляции о возможностях Astra: якобы её масштаб вдвое больше, чем у GPT-5.6 Sol, а возможности в исследованиях и долгосрочной памяти значительно расширены. Однако OpenAI официально не подтвердила эти данные. Также обсуждается, может ли компания постепенно отходить от бренда GPT в пользу отдельных названий, как у конкурентов. Ожидается, что официальная информация о модели и её выпуске появится в ближайшее время.

marsbitВчера 07:08

Только что, новая модель OpenAI под названием Astra была представлена!

marsbitВчера 07:08

Лауреат Филдсовской премии предупреждает: ИИ может убить математику

Статья под заголовком «Лауреат Филдсовской премии предупреждает: ИИ может убить математику» рассказывает о серьёзных опасениях ведущих математиков мира, включая лауреатов Филдсовской премии, таких как Джейкоб Циммерман, Теренс Тао и Тимоти Гауэрс, относительно влияния искусственного интеллекта на будущее математики. После получения Филдсовской премии Циммерман объявил о переходе в OpenAI для исследования безопасности ИИ, заявив, что через два года ИИ превзойдёт человека во всех областях математических доказательств. Тао выразил опасения о надвигающемся кризисе в математике, а Гауэрс предупредил, что ИИ может превзойти человека не только в решении задач, но и в постановке вопросов и построении теорий. Основная идея, выдвинутая Гауэрсом, заключается в том, что математика рискует умереть не от «голода» (застоя), а от «перенасыщения». По его мнению, если ИИ сможет генерировать бесконечное количество безупречных доказательств и объяснений, у людей исчезнет мотивация годами овладевать глубоким пониманием предмета. Это может привести к ситуации, когда математические знания будут существовать лишь в виде архивов, которые никто не в состоянии по-настоящему осмыслить, превратив дисциплину в «кладбище идей». Статья описывает, как сам Гауэрс, ранее скептически относившийся к способностям ИИ к истинному пониманию, изменил своё мнение после того, как ChatGPT 5.5 Pro решил сложную задачу уровня PhD и предоставил контрпример для давней проблемы «единичных расстояний». Он признаёт, что технологии достигли переломного момента. В ответ на эти вызовы группа математиков опубликовала «Лейденскую декларацию», призывающую сохранить математику как глубоко человеческое endeavor. Однако Гауэрс не подписал её, считая, что сообществу необходимо直面 более фундаментальный и тревожный вопрос: как сохранить смысл и человеческую сущность математики в эпоху, когда машины могут открывать истины быстрее и лучше нас. Автор заключает, что перед математическим сообществом стоит сложная дилемма: как адаптироваться к новой реальности, где ИИ становится мощным инструментом, не позволяя ему лишить математику её человеческой души, творчества и глубины понимания.

marsbit07/28 00:11

Лауреат Филдсовской премии предупреждает: ИИ может убить математику

marsbit07/28 00:11

Лауреат Филдсовской премии Ван Хун также публиковался в NeurIPS

Новый лауреат Филдсовской премии, математик Ван Хун, также является соавтором статьи, опубликованной на конференции NeurIPS 2019. Исследование посвящено фундаментальной задаче машинного обучения — аппроксимации матриц низкого ранга, в частности, алгоритму выбора подмножества столбцов (CSS). Работа Ван Хун и её соавторов улучшила верхнюю границу ошибки аппроксимации для данного алгоритма, сделав её значительно более точной по сравнению с предыдущим результатом O(k+1). Ключевым методологическим вкладом стало применение классической теоремы интерполяции Рисса-Торина из гармонического анализа, что является нетипичным для области теоретической информатики того времени. Рецензенты NeurIPS высоко оценили эту инновацию. Статья служит ярким примером успешного междисциплинарного подхода, где сложные проблемы машинного обучения находят решение с помощью инструментов чистой математики. В контексте новых правил NeurIPS 2026, которые явно признают ценность теоретических работ, вносящих новые математические инструменты, данное исследование остаётся актуальным образцом значимого вклада в теорию.

marsbit07/24 07:21

Лауреат Филдсовской премии Ван Хун также публиковался в NeurIPS

marsbit07/24 07:21

Китай завоевывает все 42 балла на IMO 2026, Шанхайская средняя школа выметает золотые медали, GPT-5.6 повторяет момент AlphaGO

Поздравляем команду Китая с завоеванием чемпионского титула на 67-й Международной математической олимпиаде (IMO 2026) в Шанхае! Китайская команда, все участники которой получили золотые медали, набрала 232 балла, опередив занявшую второе место команду США на 25 очков. Трое китайских школьников — Дэн Лэянь и Чжан Болунь из Шанхайской средней школы, а также Лю Чэ из Второй средней школы при Восточно-Китайском педагогическом университете — получили золотые медали с идеальным результатом в 42 балла. Это уже 26-я победа Китая в общем зачёте с 1989 года. Впервые IMO проводилась в средней школе — Шанхайской средней школе, чьи ученики в сумме завоевали уже 20 золотых медалей IMO. Особое внимание в этом году привлекло участие ИИ. Сообщается, что GPT-5.6 Pro впервые с первой попытки решил все шесть задач IMO 2026, продемонстрировав потенциал перехода от поиска методом проб и ошибок к точному и безошибочному решению, что ранее считалось исключительной чертой человеческого интеллекта.

marsbit07/20 02:51

Китай завоевывает все 42 балла на IMO 2026, Шанхайская средняя школа выметает золотые медали, GPT-5.6 повторяет момент AlphaGO

marsbit07/20 02:51

GPT-5.6 за 1 час решает 50-летнюю математическую проблему: 64 ИИ снимают корону с теории графов

11 июля OpenAI объявила, что GPT-5.6 Sol Ultra доказал гипотезу циклического двойного покрытия — проблему теории графов, которая оставалась нерешённой в течение 50 лет. Решение было найдено менее чем за час. Гипотеза, выдвинутая такими математиками, как Тутт, утверждает, что любой конечный неориентированный граф без мостов содержит набор циклов, где каждое ребро принадлежит ровно двум циклам. Для доказательства OpenAI использовала систему из 64 параллельных ИИ-агентов, каждый из которых исследовал различные подходы (алгебраические, структурные и др.). Часть агентов выступала в роли «строгих критиков», проверяя предложенные доказательства на ошибки. Система запрещала необоснованные утверждения и требовала конкретных конструкций. Доказательство свело задачу к анализу кубических графов и применило теорему Тутта о 8-потоке. Ключевым шагом стало введение леммы о назначении рёбрам наборов из двух элементов с определёнными свойствами, что позволило свести проблему к решаемой системе линейных уравнений. Исследователь OpenAI Ноам Браун объяснил успех методом параллельных вычислений во время тестирования (TTC), который значительно сократил время решения. Это достижение демонстрирует растущую способность ИИ к сложным логическим рассуждениям и открывает новые возможности для решения фундаментальных научных проблем.

marsbit07/15 07:59

GPT-5.6 за 1 час решает 50-летнюю математическую проблему: 64 ИИ снимают корону с теории графов

marsbit07/15 07:59

ИИ кардинально обновил 30-летнюю домашнюю страницу Терри Тао и попутно нашёл два бага, скрывавшихся более 20 лет

Инженер-программист на основе искусственного интеллекта всего за день полностью модернизировал и перенес личную веб-страницу математика Теренса Тао, созданную почти 30 лет назад. AI не только переместил 560 научных статей, записи о 374 поездках и другие данные на новую платформу, но и обнаружил устаревшую информацию, неработающие ссылки и даже две ошибки в исходном коде на Java, написанном самим Тао более двадцати лет назад. Ключевым изменением стал переход от ручного редактирования HTML-страниц к системе, где единственным источником истины являются структурированные данные в формате YAML, а веб-страницы автоматически генерируются. Это значительно упростило поддержку и исправление ошибок. Кроме того, AI помог оживить старые учебные Java-апплеты, переписав их на JavaScript, и всего за два часа реализовал идею визуализатора для специальной теории относительности, которую Тао отложил в 1999 году. Проект демонстрирует эффективность использования современных AI-инструментов для автоматизации рутинных задач по поддержке и структурированию цифровых архивов, что освобождает исследователей для более творческой работы.

marsbit07/14 04:03

ИИ кардинально обновил 30-летнюю домашнюю страницу Терри Тао и попутно нашёл два бага, скрывавшихся более 20 лет

marsbit07/14 04:03

Вперед, математик на ИИ из Цинхуа: от идеи до теоремы, принимает участие в 84-страничной статье о квантовых алгоритмах

«ИИ-математик из Цинхуа»: как ИИ участвовал в создании 84-страничной работы по квантовым алгоритмам Исследователи из Института интеллектуальной промышленности Университета Цинхуа (AIR) представили интеллектуальную систему AIM, предназначенную для помощи в математических исследованиях. В отличие от инструментов, решающих готовые задачи, AIM способна участвовать в более ранних этапах научной работы: помогает генерировать идеи, структурировать теоремы, создавать черновики доказательств, которые затем проверяются человеком. На практике AIM была использована в передовом исследовании по квантовым алгоритмам под названием «Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions». Работа началась с интуитивной идеи исследователей-людей: может ли рациональная аппроксимация стать принципом проектирования квантовых алгоритмов? ИИ помог расширить эту идею в несколько возможных направлений исследования. Человеческие учёные выбрали наиболее перспективный путь — метод «знакового внедрения» (Sign-Embedding). Затем AIM协助 организовать теоретический каркас, сгенерировала черновики доказательств и анализ сложности. В результате совместной работы был создан 84-страничный научный документ, представляющий новый класс квантовых алгоритмов для решения матричных уравнений и вычисления матричных функций. Ключевой вклад работы — предложение единого подхода к различным задачам путём их «внедрения» в знаковую функцию матрицы с последующей эффективной квантовой аппроксимацией. Исследование демонстрирует реалистичную модель взаимодействия человека и ИИ в теоретической науке. ИИ выступает как инструмент для высокопроизводительного исследования пространства идей, генерации вариантов и черновиков. Человек-исследователь выполняет критическую роль «воротаря»: оценивает ценность направлений, проверяет допущения, исправляет ошибки и осуществляет окончательный синтез результатов. Такой симбиоз позволяет повысить эффективность исследований, перенося фокус учёных с рутинных выкладок на стратегический выбор задач и глубокую экспертизу.

marsbit07/10 02:55

Вперед, математик на ИИ из Цинхуа: от идеи до теоремы, принимает участие в 84-страничной статье о квантовых алгоритмах

marsbit07/10 02:55

Hinton восхищается, ведущий разработчик Gemini выступил с речью: в будущем появятся миллиарды сверхчеловеческих ИИ-Эйнштейнов

Адам Браун, ключевой участник разработки Gemini и руководитель команды Blueshift в DeepMind, в своём выступлении в Институте теоретической физики Периметра представил захватывающий прогноз о будущем науки на фоне стремительного развития искусственного интеллекта. Он описал путь ИИ от уровня «детского сада» до «докторантуры» на примере быстрого преодоления моделями сложнейших тестов — от школьной математики (MATH) и экзаменов для аспирантов до задач уровня Международной математической олимпиады (IMO). Совсем недавно ИИ самостоятельно опроверг гипотезу Эрдёша о единичных расстояниях, что стало первым серьёзным математическим прорывом, совершённым моделью. Браун сравнивает текущую революцию с историей шахматных ИИ, где развитие прошло этапы от игрушки до инструмента, затем до гибрида «кентавра» (человек + ИИ) и, наконец, до сверхчеловеческого автономного игрока. Он предсказывает аналогичный путь в науке: наступит золотой век сотрудничества «кентавров», за которым последует появление полностью автономных «ИИ-учёных» и, потенциально, миллиардов «сверхчеловеческих ИИ-эйнштейнов», работающих одновременно. Даже если прогресс замедлится, ИИ уже сейчас кардинально меняет физику, выступая в роли непредвзятого наставника, мощного помощника в программировании и анализе литературы. Ядро прогресса — в законах масштабирования (Scaling Laws), которые показывают, что увеличение вычислительных мощностей, данных и размера моделей предсказуемо улучшает результаты. Браун уверен, что впереди — самые захватывающие годы в истории физики, когда с помощью ИИ будут решены фундаментальные вопросы, остававшиеся без ответа десятилетиями.

marsbit07/04 06:43

Hinton восхищается, ведущий разработчик Gemini выступил с речью: в будущем появятся миллиарды сверхчеловеческих ИИ-Эйнштейнов

marsbit07/04 06:43

TechFlow Разведка: Huawei представляет "закон Тао", сектор полупроводников растет; Meta увольняет 10%

Технологический обзор: от прорывов ИИ до геополитики чипов В сфере искусственного интеллекта: модель DeepSeek Reasonix вышла на рынок как конкурент Claude, в то время как исследователи обнаружили проблему "затухания ограничений" у ИИ-агентов при генерации сложного кода. Компания Qwen показала высокую скорость работы своей 27B-модели даже на старом оборудовании, разжигая споры о будущем доминировании на рынке локальных LLM. На рынке криптовалют: фонд Ethereum объявил о "сокращении" для снижения давления продаж ETH, а ложные слухи о Чанпэне Чжао спровоцировали взлет мем-коинов, в очередной раз продемонстрировав зависимость рынка от медийных нарративов. Ключевое событие в полупроводниковой отрасли — Huawei представила "Закон Тао (τ)", китайскую альтернативу закону Мура, целью которой является достижение эквивалентной производительности 1,4 нм к 2031 году за счет архитектурных инноваций. Это заявление вызвало рост акций китайских полупроводниковых компаний. Параллельно с этим аналитики отмечают, что стоимость памяти в ИИ-чипах теперь составляет до двух третей от их общей цены. В корпоративном секторе: Meta объявила о сокращении 10% штата, Google столкнулась с протестами студентов из-за этических проблем ИИ и критикой за несвоевременную публикацию уязвимостей Chromium. На финансовых рынках: перспективы возобновления переговоров между США и Ираном привели к обвалу цен на нефть марки WTI на 6%, в то время как почти все руководители компаний ожидают сокращений рабочих мест из-за внедрения ИИ в ближайшие два года. Общая картина показывает, что гонка в сфере ИИ и полупроводников перерастает в комплексное противостояние, затрагивающее вопросы занятости, геополитики и права определять будущие технологические стандарты.

marsbit05/25 10:51

TechFlow Разведка: Huawei представляет "закон Тао", сектор полупроводников растет; Meta увольняет 10%

marsbit05/25 10:51

活动图片