Искусственный интеллект находит решения сложных математических задач и проверяет фундаментальные теоремы

18+ BASTION Дурные вести. Новости, война, СВО, политика, геополитика, инсайды. Трамп, выборы в США.@bastionruПолитика и власть28 октября 2026, 04:00
  • Фото поста канала  18+ BASTION Дурные вести. Новости, война, СВО, политика, геополитика, инсайды. Трамп, выборы в США.

Октябрь 2026 года войдет в историю как месяц, когда Вселенная изменилась, но большинство людей этого не заметили. Технологическая компания OpenAI, создатель ChatGPT, опубликовала решения 722 фундаментальных математических задач. Многие из этих задач десятилетиями ставили человечество в тупик, но большая языковая модель (LLM), которой было всего 11 дней, опровергла их. Искусственный интеллект уже решал некоторые математические гипотезы, но это было нечто запредельное. «Это как минимум в десять, а может быть, и в сто раз более значимое событие, чем доказательство Великой теоремы Ферма», — сказал Абхишек Саха, профессор математики в Университете королевы Марии в Лондоне. Джошуа Ганс из Университета Торонто: «Это, вероятно, самый большой день научного прогресса в истории», Сэм Альтман, генеральный директор OpenAI, сказал: «Жизнь продолжается, но что-то фундаментальное изменилось» #OpenAI BASTION. Подписаться.

Похожие посты

МИГ России@mig41Политика и властьвчера
Искусственный интеллект находит решения сложных математических задач и проверяет фундаментальные теоремы

Октябрь 2026 года войдет в историю как месяц, когда Вселенная изменилась, но большинство людей этого не заметили. Технологическая компания OpenAI, создатель ChatGPT, опубликовала решения 722 фундаментальных математических задач. Многие из этих задач десятилетиями ставили человечество в тупик, но большая языковая модель (LLM), которой было всего 11 дней, опровергла их. Искусственный интеллект уже решал некоторые математические гипотезы, но это было нечто запредельное. «Это как минимум в десять, а...

  • 241
  • 86
  • 12
  • 11
  • 9
Петя Первый@Petya_perviyАрмия и СВОвчера
Искусственный интеллект находит решения сложных математических задач и проверяет фундаментальные теоремы
  • Фото поста канала  Петя Первый

Октябрь 2026 года войдет в историю как месяц, когда Вселенная изменилась, но большинство людей этого не заметили. Технологическая компания OpenAI, создатель ChatGPT, опубликовала решения 722 фундаментальных математических задач. Многие из этих задач десятилетиями ставили человечество в тупик, но большая языковая модель (LLM), которой было всего 11 дней, опровергла их. Искусственный интеллект уже решал некоторые математические гипотезы, но это было нечто запредельное. «Это как минимум в десять,...

  • 161
  • 69
  • 12
  • 8
  • 3
  • 2
Machinelearning@ai_machinelearning_big_dataТехнологии и ITвчера
Искусственный интеллект находит решения сложных математических задач и проверяет фундаментальные теоремы

✔️ ИИ за 24 дня формализовал самое длинное доказательство в истории математики, над которым около 100 учёных работали десятилетиями. Компания Axiom Math объявила о завершении компьютерной проверки теоремы классификации конечных простых групп (CFSG), известной как «Огромная теорема». Оригинальное доказательство занимает 15 000 страниц в более чем 500 научных статьях. О чём вообще теорема? Представьте куб. Его можно повернуть 24 способами так, чтобы он выглядел точно так же. Эти преобразования о...

  • 114
  • 58
  • 50
  • 24
  • 24
  • 18
Темы. Главное (ГлавМедиа)@glavmediaАрмия и СВОвчера
Искусственный интеллект находит решения сложных математических задач и проверяет фундаментальные теоремы

Октябрь 2026 года войдет в историю как месяц, когда Вселенная изменилась, но большинство людей этого не заметили. Технологическая компания OpenAI, создатель ChatGPT, опубликовала решения 722 фундаментальных математических задач. Многие из этих задач десятилетиями ставили человечество в тупик, но большая языковая модель (LLM), которой было всего 11 дней, опровергла их. Искусственный интеллект уже решал некоторые математические гипотезы, но это было нечто запредельное. «Это как минимум в десять, а...

  • 5
  • 5
  • 2
  • 2