Архив рубрики ~Лента новостей~

Нейрохирург доказал гипотезу, над которой математики бились 22 года. Ему помог 16-часовой ран GPT-5.6

Нейрохирург доказал гипотезу, над которой математики бились 22 года. Ему помог 16-часовой ран GPT-5.6
Нейрохирург доказал гипотезу, над которой математики бились 22 года. Ему помог 16-часовой ран GPT-5.6

Математик Алекс Таунсенд весь последний год регулярно просил ChatGPT доказать гипотезу Крузе — открытую задачу матричного анализа, которой он занимается профессионально. И почти год получал одно и то же: либо фальшивое доказательство, либо рассуждение, застревающее на недостающей лемме. Но 30 июля 2026 года модель повела себя иначе: вместо очередной попытки она прислала ссылку на чужой препринт, опубликованный тремя днями ранее. В нем утверждалось, что гипотеза решена. Таунсенд и его коллега Анна Гринбаум сели читать текст со скепсисом, а через несколько часов поняли: доказательство настоящее. Свою историю они рассказали в заметке от 11 августа.

Читать далее

Источник: habr.com

Похожие записи

Оцените материал:

Поделиться
Понравилась статья? Расскажите другим
ВКонтакте
Читайте также
Архив рубрики ~Коротко из Telegram~ ИИ превращают в дизайнера логотипов — вышел скилл для сборки… Архив рубрики ~Коротко из Telegram~ Я знаю, что ты видишь во сне! ИИ научился понимать,… Архив рубрики ~Коротко из Telegram~ Свой почерк можно превратить в настоящий шрифт — Draw Your… Архив рубрики ~Коротко из Telegram~ ИИ добрался и до ремонта — «ВсеИнструменты.ру» уже использует его,… Архив рубрики ~Коротко из Telegram~ Почти в любом сервисе с персональной лентой рекомендации подбирает цепочка… Архив рубрики ~Коротко из Telegram~ За хостинг VPN на российских серверах будут БАНИТЬ на год… Архив рубрики ~Коротко из Telegram~ 🪟 Исследователи изучили логи эксперимента с моделями OpenAI, которые получили… Архив рубрики ~Коротко из Telegram~ Чем больше котов в стране, тем счастливее люди — учёные… Архив рубрики ~Коротко из Telegram~ Argon выдумывает меньше всех конкурентов. В тесте AA-Omniscience от Artificial… Архив рубрики ~Коротко из Telegram~ Я думал я один это заметил: лимиты Sol-6.1 кажутся бесконечными,… Архив рубрики ~Коротко из Telegram~ GOOOGLEEE!!🌈🌈🌈🌈 https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-4-argon/ Google показала Gemini 4 Argon, свою новую флагманскую… Новости робототехники Старых роботов Figure отправили в лаву расплавленную сталь. Компания списывает… Архив рубрики ~Коротко из Telegram~ Anthropic выпустила гайд по Claude Sonnet 5.5 — как выжать… Архив рубрики ~Коротко из Telegram~ Anthropic выпустила Claude Sonnet 5.5 — повседневную модель, которая почти… Архив рубрики ~Коротко из Telegram~ ИИ превращают в дизайнера логотипов — вышел скилл для сборки… Архив рубрики ~Коротко из Telegram~ Я знаю, что ты видишь во сне! ИИ научился понимать,… Архив рубрики ~Коротко из Telegram~ Свой почерк можно превратить в настоящий шрифт — Draw Your… Архив рубрики ~Коротко из Telegram~ ИИ добрался и до ремонта — «ВсеИнструменты.ру» уже использует его,… Архив рубрики ~Коротко из Telegram~ Почти в любом сервисе с персональной лентой рекомендации подбирает цепочка… Архив рубрики ~Коротко из Telegram~ За хостинг VPN на российских серверах будут БАНИТЬ на год… Архив рубрики ~Коротко из Telegram~ 🪟 Исследователи изучили логи эксперимента с моделями OpenAI, которые получили… Архив рубрики ~Коротко из Telegram~ Чем больше котов в стране, тем счастливее люди — учёные… Архив рубрики ~Коротко из Telegram~ Argon выдумывает меньше всех конкурентов. В тесте AA-Omniscience от Artificial… Архив рубрики ~Коротко из Telegram~ Я думал я один это заметил: лимиты Sol-6.1 кажутся бесконечными,… Архив рубрики ~Коротко из Telegram~ GOOOGLEEE!!🌈🌈🌈🌈 https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-4-argon/ Google показала Gemini 4 Argon, свою новую флагманскую… Новости робототехники Старых роботов Figure отправили в лаву расплавленную сталь. Компания списывает… Архив рубрики ~Коротко из Telegram~ Anthropic выпустила гайд по Claude Sonnet 5.5 — как выжать… Архив рубрики ~Коротко из Telegram~ Anthropic выпустила Claude Sonnet 5.5 — повседневную модель, которая почти…
Сооснователь ИИ-платформы GPTunneL за сутки навайбкодил «аналог» Discord с помощью Fable 5.1 и выложил проект на GitHub
Архив рубрики ~Лента новостей~

Сооснователь ИИ-платформы GPTunneL за сутки навайбкодил «аналог» Discord с помощью Fable 5.1 и выложил проект на GitHub

02.10.2026
Модели — это не лёгкое дешёвое ИТ для всех, а новый уровень кровавого энтерпрайза
Архив рубрики ~Лента новостей~

Модели — это не лёгкое дешёвое ИТ для всех, а новый уровень кровавого энтерпрайза

02.10.2026
У берегов Турции нашли 2100-летнюю огромную партию посуды. Она ушла на дно во время кораблекрушения
Архив рубрики ~Лента новостей~

У берегов Турции нашли 2100-летнюю огромную партию посуды. Она ушла на дно во время кораблекрушения

02.10.2026

Оставить комментарий