Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAНейросети научились решать сложные математические проблемы?
С искусственным интеллектом в последнее время революционные вещи происходят.
1. Май 2026 — ИИ от OpenAi (видимо, новая модель ChatGpt) опровергла гипотезу Эрдеша о графе единичных расстояний: https://habr.com/ru/news/1037534/ Математики уже подтвердили, что всё верно: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
2. Июль 2026 — GPT-5.6 Sol построил доказательство гипотезы о том, что любой граф без мостов имеет двойное покрытие циклами: https://en.wikipedia.org/wiki/Cycle_double_cover
3. 19 июля 2026 — математик с помощью Claude 5 нашёл полином, опровергающий гипотезу о якобиане для 3-мерных отображений: https://en.wikipedia.org/wiki/Jacobian_conjecture
4. Конец июля 2026 — Gpt 5.6 pro обнаружил контрпример к гипотезе Диница-Гарга-Гоеманса о потоках в графе: https://commune.my/reactor/FqMBD6jo9791Pue3EyVFq
Это всё, конечно, не великие проблемы тысячелетия (вроде теоремы Ферма или гипотезы P=NP) — но довольно известные задачи, над которыми многие математики бились много лет. А тут сразу 4 проблемы решены в течение 2 месяцев — и все с помощью больших языковых моделей (LLM)!
Противники интеллекта у LLM в таких случаях, обычно, приводят два возражения:
1) "Это всё сделали люди, а нейросеть просто помогала им с формулировками". Но в данном случае даже нельзя предположить, что нашёлся какой-то гений, решивший сразу 4 проблемы из совершенно разных областей математики. Ведь люди-математики, опубликовавшие доказательства — во всех 4 случаях разные! И всё это в течение 2 месяцев — слишком невероятное совпадение.
2) "Математики построили доказательство, а нейросеть просто помогла им с перебором вариантов". Но что им мешало раньше написать программы, перебирающие варианты? Вообще-то, большинство математиков умеет программировать. Им что, раньше вычислительных мощностей не хватало, а сейчас они вдруг резко появились? Не говоря уже о том, что нейросеть — и особенно LLM — крайне неподходящий инструмент для решения задач методом полного перебора (к этому мы еще вернемся).
Значит, остаётся признать, что новая модель ChatGpt, действительно, хорошо разбирается в математике. Конечно, не без помощи людей (правильное составление запросов тут важно). Но факт, что сами люди бы без нейросети не справились. Доказательства находит, в первую очередь, именно она.
Ну, а Claude, видимо, тоже умела решать математические проблемы, просто об этом никто не догадывался. А после того, как посыпались результаты от ChatGpt, математики решили и с Claude попробовать.
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | ChatGPT опроверг гипотезу, которую ученые не могли разгадать три десятилетия | 0 | 8.55 | 27-07-2026 |
| 2 | Et si l'IA résolvait tous les problèmes mathématiques | 5 | 7 | 06-07-2026 |
| 3 | LLM (ИИ) - О СЕРЬЕЗНОМ И НЕМНОГО ЮМОРА, КАК ОБЫЧНО ... | 2 | 6 | 01-07-2026 |
| 4 | Message to community | 0 | 7.62 | 24-07-2026 |
| 5 | ChatGPT vs Claude: какая нейросеть лучше | 0 | 5 | 13-03-2026 |
| 6 | В математике начинается новая эпоха: гипотезы, стоявшие десятилетиями, начали рушиться одна за другой | 0 | 10 | 24-07-2026 |
| 7 | Рейтинг лучших нейросетей для учебы на 2026 год Нужны ли ... | 0 | 5 | 07-07-2026 |
| 8 | Рейтинг лучших нейросетей для учебы на 2026 год Нужны ли ... | 0 | 5 | 29-06-2026 |
| 9 | Каждый из нас коротал время играя в крестики-нолики на переменах, ... | 0 | 7 | 12-07-2026 |