3 дня назад
ChatGPT доказал 50-летнюю гипотезу из теории графов
По данным компании, решение было найдено одновременно с запуском новой версии модели. Гипотеза относится к теории графов, разделу математики, изучающему объекты, состоящие из вершин и соединяющих их ребер. Гипотеза была сформулирована в 1970-х годах и предполагала, что определенный класс графов может быть покрыт набором циклов таким образом, чтобы каждое ребро входило ровно в два замкнутых контура. До сих пор математики могли подтвердить эту идею только для отдельных типов графов, однако общего доказательства получить не удавалось...