доказательство

В 58 лет Итан Чжан доказал результат о промежутках между простыми числами, которого не смогли получить поколения специалистов. <div class="articl-text-cover"...

25 ведущих математиков предупреждают, что корпоративная гонка за громкими доказательствами может разрушить проверку результатов, авторство и сам процесс научного поиска. <div class="articl-text-cover"...

130 млрд токенов, 2,7 млн сообщений и тысячи агентов привели к результату, который теперь предстоит независимо разобрать математикам. <div class="articl-text-cover"...

Две группы ученых независимо пришли к одному научному открытию с помощью одной модели ИИ. <div class="articl-text-cover" style="position:relative;width:100%;max-width:800px;margin-left:auto;margin-right:auto;aspect-ratio:1200/676;margin-bottom:2rem;overflow:hidden"> <div...

Шутка для мультфильма зашла так далеко, что математики позже писали к ней научные статьи. <div class="articl-text-cover" style="position:relative;width:100%;max-width:800px;margin-left:auto;margin-right:auto;aspect-ratio:1200/676;margin-bottom:2rem;overflow:hidden"> <div...

Математики искали ответ 20 лет. Оказалось — нельзя. И вот почему. <div class="articl-text-cover" style="position:relative;width:100%;max-width:800px;margin-left:auto;margin-right:auto;aspect-ratio:800/450;margin-bottom:2rem;overflow:hidden"> Квантовый компьютер может не только быстрее решать...

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

Ваш смартфон работает благодаря 24-мерным сферам, а теперь это подтвердил и компьютер. Когда украинский математик Марина Вязовская получила Филдсовскую медаль летом 2022 года, научное сообщество восприняло событие как историческое. Вязовская стала лишь второй женщиной за 86 лет существования...

Пока одни чатились с нейросетью, другая система взяла и доказала настоящую теорему. Пять лет назад математики Давэй Чэнь и Квентен Жандрон работали над сложной задачей из алгебраической геометрии, связанной с дифференциалами, то есть инструментами анализа, которые помогают измерять...

Модель сопоставила формулировку с теоремой из рецензированного журнала. Иногда искусственный интеллект действительно помогает не столько «придумывать новое», сколько вспоминать забытое. Исследователь OpenAI Себастьен Бюбек рассказал в X , что GPT-5 Pro «закрыла» задачу № 339 из базы Эрдёша...

Искусственный интеллект впервые справился с задачами уровня настоящих открытых исследований. GPT-5 впервые прошёл так называемый «тест Гёделя » и сумел доказать три крупных гипотезы в области комбинаторной оптимизации. Более того, в одном из случаев модель не просто справилась с задачей, но...

ChatGPT-5-pro помог учёному доказать новую теорему. Исследователь OpenAI Себастьен Бубек провел эксперимент с моделью GPT-5-Pro, который привел к историческому прорыву в математике. Впервые искусственный интеллект не просто воспроизвел известные результаты, а самостоятельно нашел новое...

OpenAI решил не делиться своим самым умным ИИ — пока. OpenAI достигло нового рубежа в развитии искусственного интеллекта — экспериментальная модель компании показала «уровень золотой медали» на Международной математической олимпиаде. Об этом сообщил исследователь OpenAI Александр Вэй...

Сто лет математики крутили иголку. И наконец докрутили. Математике редко приписывают «великолепный прорыв» или «результат века» — не потому что в ней ничего не происходит, а потому что сложные задачи требуют настолько новых подходов, что годы, а порой и десятилетия, уходят только на то, чтобы...

Вековая загадка геометрии получила окончательный приговор. Около десяти лет назад Тонан Камата , ныне работающий математиком в Японском институте передовых научных и технологических исследований (JAIST), оказался заворожён странной экспозицией в музее математики. Там демонстрировалась...

История математической ошибки, ставшей политическим казусом в США. На протяжении более двух тысяч лет математики бились над знаменитой геометрической загадкой, известной как «квадратура круга». Задача звучала deceptively просто: имея всего два инструмента — циркуль и линейку — нужно было...

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

Очередной скандал в США с использованием цифровых доказательств. В августе 2020 года в Акроне (штат Огайо) произошла трагедия: 20-месячный Тирей Халселл был смертельно ранен выстрелом в голову, когда сидел в машине, в которую стреляли неизвестные. Его бабушка и дедушка, Кимберли Томпсон и...

Решение гипотезы ван дер Ваардена открывает новую эпоху в теории чисел. Недавно профессор Манджул Бхаргава из Принстонского университета нашёл решение 85-летней математической задачи, известной как гипотеза ван дер Ваардена. Это достижение не только углубляет наше понимание полиномиальных...

Почему ключевые доказательства эволюции так и не были найдены. Исследование профессора Роберта Шединджера из колледжа Лютера в Айове раскрывает неожиданные факты о Чарльзе Дарвине и его знаменитой теории эволюции. В своей книге « Дарвинов Блеф: Тайна книги, которую Дарвин так и не завершил»...

ИИ может сделать записи пригодными для использования в суде. Инженеры и ученые давно пытаются решить так называемую проблему "коктейльной вечеринки" — способность человека выделять речь одного собеседника среди множества голосов в шумной обстановке. Для людей это задача относительно простая...

Некоторые математики искали логическое доказательство существования Бога. Вот что они обнаружили <script type="text/x-mathjax-config;executed=true"> MathJax.Hub.Config({ tex2jax: {inlineMath: [['$','$'], ['\\(','\\)']]}, "HTML-CSS": {linebreaks: { automatic: true }}, SVG: { linebreaks: {...

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

Опровергните доказательство Мотидзуки и получите $1 миллион. В 2012 году известный математик Синичи Мотидзуки из Киотского университета опубликовал доказательство гипотезы abc, одной из самых значимых нерешенных задач в теории чисел. На разработку этого доказательства, состоящего из 500...

Ученые объявили о доказательстве гипотезы Лэнглендса. Группа из девяти математиков геометрической гипотезы Лэнглендса, что стало важной вехой в современной математике. Этот успех завершает более трех десятилетий работы в данной области, и результаты труда учёных уже были высоко оценены их...