К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Активный
33
сегодня 4:41
Активный
286
сегодня 9:12
Сохранен
64
3 августа 18:03
Сохранен
26
ИИ решил 10 фундаментальных математических проблем за 2000$ — Ещё недавно математические модели с трудом справлялись с олимпиадными задачами, а теперь OpenAI заявляет о куда более серьёзном результате. Внутренняя версия новой системы Astra якобы продвинулась сразу в десяти математических проблемах, над которыми учёные не могли добиться заметного прогресса как минимум десять лет. Некоторые вопросы оставались открытыми гораздо дольше. Работы затрагивают геометрию многомерных пространств, теорию кодирования, теорию групп, квантовую сложность, графы, операторные алгебры и решётчатую криптографию. 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
3 августа 19:16
Сохранен
42
4 августа 8:09
Сохранен
35
3 августа 15:19
Сохранен
33
Голая правда: как человечество придумало стыд там, где его не было Представь: миллион лет назад твой — Голая правда: как человечество придумало стыд там, где его не было Представь: миллион лет назад твой далёкий предок сидел у костра голышом, и ему было абсолютно всё равно. Ни капли смущения. А потом — бац! — где-то на историческом пути мы решили, что определённые куски кожи нужно прятать под тканью, кожей, листьями, чем угодно. Кто это придумал? И почему именно эти части тела? Разбираемся — без цензуры, но по делу. Начало: у Адама и Евы стыда не было Если верить не только Библии, но и антропологии — стыд не врождён. Маленькие дети не стесняются своей наготы, пока их этому специально не научат. Это важный факт: чувство стыда за тело — не инстинкт, а культурная надстройка, которую нам устанавливают, как программу на компьютер. В библейском мифе момент перехода описан буквально: пока Адам и Ева не съели плод с дерева познания, они «были наги, и не стыдились». А после — тут же схватились за фиговые листья. Получается, стыд авторы Библии связали не с самой наготой, а с появлением морального сознания вообще — с «знанием добра и зла». То есть стыд — побочный продукт разума, а не биологии. Первая одежда была не про стыд Здесь начинается самое интересное. Антропологи почти единогласно считают: первая одежда появилась не из скромности, а из практических соображений: Защита от холода — в ледниковый период без шкур звёзд просто не выжить. Защита от травм, укусов, солнца, колючек. Статус и украшение — перья, ракушки, краска на теле показывали место в племени, силу, богатство. Магия и ритуал — амулеты и повязки должны были отгонять духов. То есть одежда возникла как инструмент выживания и социальной коммуникации задолго до того, как появилась идея «это неприлично показывать».
3 августа 15:49
Сохранен
82
3 августа 8:36
Сохранен
4
3 августа 9:32
Сохранен
122
3 августа 9:46
Сохранен
32
3 августа 2:49
Сохранен
28
3 августа 3:06
Сохранен
144
Хоть и платина, но всё же.. Переката на линукс тред Почитал всякие статейки с презентаций мелкомягк — Хоть и платина, но всё же.. Переката на линукс тред Почитал всякие статейки с презентаций мелкомягких про будущее шиндовс и понял, что ничего хорошего тут уже не будет. Жиды и дальше будут ее накачивать нейроговном, чтобы терафлопсы ваших железок не сидели без дела и еще сильнее закручивать гайки по поводу ператства. Та же история с банами по железу из-за слитой Форзы-6 весной этого года. А ведь это только начало. В общем вся основная фича пеки - пиратства на ней, пройдет тихой сапой по волосатой жидовской пизде. В общем собираюсь делать перекот на линукс. В принципе по железу уже давно готов. Есть красная карта (рыкса 9070хт), с дровами которой линупсы очень хорошо дружат. Теперь собственно надо выбрать дистрибутив. Заметил, что сейчас идет хайп вокруг Базайта. Даже Крохотусь запилил свой кривой обзор. Там сразу все есть из коробки и отлично работает. Пек у меня используются только как приставка. То есть кроме игр и всяких видеосервисов ничего не включаю. Кто-нибудь уже пользовался? Будут ли какие-либо трудности? Долго ли привыкать после 20 лет на виндовсах всех поколений? Игры будут исключительно с торрентов, мне даже стим нахуй не нужон.
3 августа 11:03
Сохранен
30
2 августа 20:55
Сохранен
21
2 августа 19:02
Сохранен
35
Девственник в 20. Тред №14. Заебался. 1. По поводу работы, на своей нынешней я буду работать 105 ч — Девственник в 20. Тред №14. Заебался. 1. По поводу работы, на своей нынешней я буду работать 105 часов, вместо 150 часов. Причем за те же деньги, осталось найти только вторую более менее лайтовую работу. 2. На дайвинчике вообще не прёт. Одни хуесоски нудные, которые даже не заинтересованы в диалоге. Хочу со своим псевдо кентом во время отпуска пойти блядовать в какой-то бар/ клуб чтобы выцепить тянку или милфу. 3. По поводу своего псевдо кента. Мы вчера с ним погуляли, но у него есть друг, который у него стоит на первом месте, он съехать хочет именно с ним. 4. Не фапаю практически. Делаю это раз в 10-14 дней просто чтобы сбросить излишек. Я голодный как пёс, хочу уже сбросить наконец листву. 6. Хочу к себе привязать своего псевдо кента, хочу чтобы я для него был в приоритете, чтобы он съехал именно со мной. Как это можно провернуть, если его друзья с ним буквально с самого детства, они росли вместе и учились вместе. Нужен ваш совет, анонче.
30 июля 9:54
Сохранен
415
30 июля 16:34
Сохранен
186
2 августа 9:23
Сохранен
33
31 июля 9:11
Сохранен
30
Финны решили снести вышки ЛЭП, а заодно уничтожить размещенные на них оптоволоконные линии связи, ве — Они говорят, что линия электропередач больше не используется по прямому назначению, поэтому обслуживать её стало невыгодно (при этом деликатно умалчивают, что это случилось после их же демонстративного отказа от нашей электроэнергии). Ситуация, в общем-то, ожидаемая и не особо серьезная: изоляцией России от глобального интернета вырубка наземного оптоволокна на границе с Финляндией точно не грозит. Тревожно настроенные граждане цитируют заметку, в которой говорится, что через Финляндию проходит 60-70% всего зарубежного трафика. Но там же написано, что на ЛЭП приходится лишь треть этого объема – и то со ссылкой на анонимные источники. Остальное идет вдоль железных дорог и по дну Балтийского моря. Но даже если финны под каким-то предлогом решат обрубить и эти кабели (а я бы не исключал такого варианта, учитывая явный русофобский настрой их политического руководства), мы всегда сможем перебросить трафик на другие направления. Российские операторы связи уже прорабатывают варианты усиления других магистральных интернет-каналов. Резервов достаточно: это и трансевразийская волоконно-оптическая линия связи (TEA NEXT), и ERMC, связывающая Европу и Гонконг через Россию и Монголию, и линии, которые идут через нашу границу с Беларусью. Полная интерактивная карта магистральных сетей связи, расположенных на территории РФ, и спопредельных государств доступна по этой ссылке. Российские пользователи никаких изменений не почувствуют – как бы финны не старались. Наш интернет-сегмент изначально строился как неотъемлемая часть глобальной сети, ею он и останется. ???????? Этот пост вышел в МАКС час назад https://tgstat.ru/channel/@webstrangler/4894
30 июля 10:04
Сохранен
5
30 июля 12:10
Сохранен
236
31 июля 10:50
Сохранен
10
30 июля 10:16
Сохранен
91
30 июля 20:50
Сохранен
37
30 июля 15:31