>По оценке OpenAI
>Слыш ты покупай нашу шнягу епт, охуел не покупать?!?? Всмысле говнонейронка? Это не нейронка, это ИИ!!! Ты охуел!
Картина маслом: Жиды иишники отбирают гранты у жидов-ученых-в-говне-моченных.
>ну позязя влейте ещё 100 трлн в наш пузырь, бля буду сингуляргость и каждому по альтушке совсем скоро
ПиздаболИИ
задачи придуманные людьми решает робот на основе материала предложенного людьми, люди тупые
Как пить из кружки без дна уже решили?
Если это пузырь, то лопнет скорее человечество)
хуйня, эти ии сделали, чтобы все стали еще тупее.
Вот когда ИИ решит уравнение
ПУТИН = СТАБИЛЬНОСТЬ + ПУКНУМИЗАЦИЯ_ВСЕЙ_СТРАНЫ
тогда и приходите.
ПУТИН = СТАБИЛЬНОСТЬ + ПУКНУМИЗАЦИЯ_ВСЕЙ_СТРАНЫ
тогда и приходите.
Ну это хуйня. Вот когда ИИ решит что людишки это вирус будет пиздец.
Альтушку вперед
Только Гришке Пелерману не показывайте этот пост , а то он совсем волосы потеряет последние на голове
>Внутренняя версия новой системы Astra якобы продвинулась сразу в десяти математических проблемах
Только пруфов, как обычно, нет. Забавная ситуация: мы живем в мире, где публично существуют очень тупые ИИ, а закрытые чуть ли не имеют самосознание и сто нобелевских премий. Пруфы первого нам всем известны, пруфы второго только со слов кабанов, которые продают первое по подписке.
>а закрытые чуть ли не имеют самосознание
Не имеют.
1)Ни одну задачу тысячелетия ИИ пока не решил
2)Перельман ещё 20 лет назад констатировал, что больше не занимается математикой. А значит ИИ ему уже не конкурент.
ну все, скоро просиживатели штанов в академиях пойдут вслед за программистами в курьеры и кладовщики
все мало мальски приятные и интеллектуальные работы отберут в пользу ии, останется только лютое неудобное тяжелое физическое говно которое роботам будет не под силу
а почему он перестал заниматься математикой?
чем он сейчас занимается?
ОП-пидар, в двух словах перепеши
На эти вопросы он не отвечал. Его иногда видят возвращающимся из магазина с продуктами
>перепеши
>в двух словах
Чертила неграмотная - пиздуй уроки делать
>примерно на 2000 долларов
ну тупыыыеее, лутшеб пенсионерам мне отдали!
ну тупыыыеее, лутшеб пенсионерам мне отдали!
Сами придумали проблемы, сами решили. Охуеть сами-себе лучшие друзья. Как решение этих проблем поможет людям на земле? Ах, да, нужным людям поможет. Путём распиливаняи бабла в карман. Сначала на формулирование проблемы, потом на её решение.
И толку с этих говномоделей?
Есть вполне конкретная генная инженерия - ее развивают черепашьими шагами, хотя могли бы уже излечить все болезни, старение, и превратить всех людей (которые с каждым годом страдают и умирают) - в сверхумных и сверхсильных гигачэдов, живущих среди воскрешенных с помощью клонирования (из днк, которое деградирует с каждым годом) палеолексодонтов, слоновых птиц и морских коров.
Но нет, будем немногие выделенные на науку бабки пилить на математике (которая никуда не денется), брачных традициях сусликов (которые никуда не денутся), и гипотезах о устройстве вселенной (которая никуда не денется), которые буквально через месяц сами же объявим ошибочными, и потребует гранты на новую гипотезу.
лол
Работы затрагивают геометрию многомерных пространств, теорию кодирования, теорию групп, квантовую сложность, графы, операторные алгебры и решётчатую криптографию. OpenAI опубликовала рукописи с доказательствами, формальные сертификаты на языке Lean и отдельные разборы рассуждений модели.
Astra самостоятельно нашла основные математические аргументы. Люди помогли оформить решения в виде научных статей, после чего модель формализовала доказательства в Lean.
По оценке OpenAI, поиск всех десяти решений потребовал вычислений примерно на 2000 долларов по тарифам API. Сумма выглядит особенно примечательно на фоне сложности заявленных задач. Речь идёт не о подборе известных теорем из учебников, а о попытках изменить границы знаний в нескольких крупных областях математики.
Один из результатов касается упаковки сфер в пространствах большой размерности. Математики ищут максимально плотный способ разместить одинаковые многомерные сферы так, чтобы они не пересекались. Astra предложила новые верхние границы плотности вплоть до порога Кона и Элкиса, который играет центральную роль в современных исследованиях упаковок.
В теории кодирования модель получила экспоненциально улучшенные оценки максимального размера двоичных кодов при заданном минимальном расстоянии. Похожие результаты относятся к сферическим кодам в пространствах высокой размерности. Подобные конструкции связаны с надёжной передачей информации, исправлением ошибок и устройством многомерных геометрических объектов.
Самое громкое заявление затрагивает так называемые не-софические группы. Математики десятилетиями не знали, существуют ли группы, которые нельзя приблизить определённым классом конечных структур. OpenAI сообщает, что Astra построила пример такой группы и тем самым дала положительный ответ на один из центральных вопросов современной теории групп.
Модель также предложила опровержение давней гипотезы Конна о жёсткости. Гипотеза предполагала, что некоторые группы можно однозначно восстановить по связанным с ними алгебрам фон Неймана. Найденная конструкция, по утверждению разработчиков, показывает, что разные группы могут приводить к одинаковым операторным объектам.
В теории арифметических схем Astra получила новые нижние границы сложности вычисления перманента. Перманент похож на определитель матрицы, но вычисляется значительно труднее и часто служит эталонной задачей в теории сложности. Для арифметических формул модель вывела нижнюю границу порядка n⁴/log n, усилив прежние оценки.
Ещё один результат переносит принцип параллельного повторения на общие квантовые игры двух участников. В классической теории сложности многократный одновременный запуск игры обычно экспоненциально снижает вероятность обмана. Квантовая запутанность усложняет картину, поскольку игроки могут координировать действия способами, недоступными классическим системам. Astra, как заявляет OpenAI, доказала экспоненциальную теорему и для общего квантового случая.
В области решётчатой криптографии модель получила доказательство сложности приближённого решения задачи о ближайшем векторе с точностью до полиномиального множителя. Задача лежит в основе многих конструкций, которые рассматривают как защиту от будущих квантовых компьютеров. Новый результат может уточнить теоретическую надёжность постквантовых криптосистем, хотя прямых практических последствий пока нет.
Astra также решила гипотезу Эрхарта об объёме выпуклого тела. Модель определила максимальный объём фигуры в любой размерности при условии, что её центр тяжести остаётся единственной целочисленной точкой внутри. Ещё две работы касаются экстремальной комбинаторики. OpenAI сообщает о сверхэкспоненциальной нижней границе для многоцветных чисел Рамсея и о решениях задач Эрдёша под номерами 146, 180 и 183.
Нынешняя публикация продолжает серию экспериментов OpenAI с открытыми научными задачами. В мае компания представила созданное ИИ опровержение гипотезы Эрдёша о единичных расстояниях. По словам разработчиков, работа уже подтолкнула математиков и специалистов по теоретической информатике к новым исследованиям.
Масштаб заявлений требует осторожности. Даже формально проверенное доказательство может опираться на неверно поставленную задачу, скрытое допущение или некорректную интерпретацию прежних результатов. Научное значение десяти работ станет понятно после независимой проверки, обсуждения специалистами и сравнения с существующей литературой.
OpenAI отдельно подняла вопрос авторства. Компания считает неправильным приписывать человеку доказательство, полностью найденное системой ИИ. Сотрудники отвечают за подготовку рукописей и формальную проверку, но автором основных математических аргументов называют Astra. Такой подход может заставить научные журналы и университеты пересмотреть правила публикации, рецензирования и распределения заслуг.
Одновременно OpenAI объявила программу ChatGPT for Academic Researchers, которая должна дать 100 тысячам учёных и математиков бесплатный доступ к наиболее мощным моделям компании.
https://www.securitylab.ru/news/575589.php