Astra вышла
Невероятный скачок, объективно. RIP Anthropic IPO, если у них вдруг не завалялся Fable 5.2 Ultra Max.
Цена: $10/М input, $50/M output. Как и ожидалось, сегодня потрогать модель нельзя: доступна пока избранным организациям. На широкую аудиторию раскатят «на днях».
Альтман уже объявил, что скоро OpenAI выкатит следующую еще более сильную модель.
Ну что, AGI?
Невероятный скачок, объективно. RIP Anthropic IPO, если у них вдруг не завалялся Fable 5.2 Ultra Max.
Цена: $10/М input, $50/M output. Как и ожидалось, сегодня потрогать модель нельзя: доступна пока избранным организациям. На широкую аудиторию раскатят «на днях».
Альтман уже объявил, что скоро OpenAI выкатит следующую еще более сильную модель.
Ну что, AGI?
❤154😁64🔥38🕊12🤯6
Media is too big
VIEW IN TELEGRAM
«Все, что вы делаете на компьютере, Astra может сделать за вас. Быстро»
Модель (помимо невероятных способностей в ризонинге и кодинге) позиционируют как лучшую в мире для всевозможного computer use.
Генерация презентаций, таблиц, файлов, дизайн, аналитика, поиск, работа с браузером, любым ПО, 3D-сценами и многим другим.
По одному промпту может создать, захостить и зашерить сайт, приложение или даже игру прямо в ChatGPT.
Системная карта: https://deploymentsafety.openai.com/gpt-6-astra/gpt-6-astra.pdf
Модель (помимо невероятных способностей в ризонинге и кодинге) позиционируют как лучшую в мире для всевозможного computer use.
Генерация презентаций, таблиц, файлов, дизайн, аналитика, поиск, работа с браузером, любым ПО, 3D-сценами и многим другим.
По одному промпту может создать, захостить и зашерить сайт, приложение или даже игру прямо в ChatGPT.
Системная карта: https://deploymentsafety.openai.com/gpt-6-astra/gpt-6-astra.pdf
👍146🔥60❤37
Пока ждем Astra на своем аккаунте, каждый день получаем от OpenAI по одному ресету лимитов
В комментариях к этому посту в X люди обещают назвать в честь Тибо ребенка и уговаривают OpenAI не сильно торопиться с релизом🙂
В комментариях к этому посту в X люди обещают назвать в честь Тибо ребенка и уговаривают OpenAI не сильно торопиться с релизом
Please open Telegram to view this post
VIEW IN TELEGRAM
1❤167😁110😎11👍6🕊2💯2☃1
Там появились лимиты Astra Pro для ChatGPT. Если коротко, все печально
В Pro за 200 долларов дают 200 сообщений в неделю, за 100 долларов вы получите всего 50, причем 50 – это общая квота для GPT-6 Pro и GPT-5.6 Sol Pro.
В Pro за 200 долларов дают 200 сообщений в неделю, за 100 долларов вы получите всего 50, причем 50 – это общая квота для GPT-6 Pro и GPT-5.6 Sol Pro.
🗿250😁87
Astra нашла новую границу разрыва между простыми числами
Это одна из классических и самых известных задач аналитической теории чисел. Вопрос стоит таким образом: существует ли константа С, такая что бесконечно много пар соседних простых чисел отличаются не более чем на C?
Конечность такого разрыва впервые доказали только в 2013. В 2014 проект Polymath8 Теренса Тао довел константу до 246, а совсем недавно Джулия Штадльманн подвинула ее до 240.
Astra опустила C до 186: OpenAI выложили формальное доказательство в Lean. https://github.com/openai/PrimeGaps186
Не сказано, что модель обнаружила оценку полностью автономно. Плюс результат упирается в три аксиомы, которые есть в литературе, но формально не были доказаны в Lean. И все-таки результат есть результат. Также OpenAI заявляет об улучшении члена в оценке больших разрывов между простыми, которая не менялась 80+ лет.
Это одна из классических и самых известных задач аналитической теории чисел. Вопрос стоит таким образом: существует ли константа С, такая что бесконечно много пар соседних простых чисел отличаются не более чем на C?
Конечность такого разрыва впервые доказали только в 2013. В 2014 проект Polymath8 Теренса Тао довел константу до 246, а совсем недавно Джулия Штадльманн подвинула ее до 240.
Astra опустила C до 186: OpenAI выложили формальное доказательство в Lean. https://github.com/openai/PrimeGaps186
Не сказано, что модель обнаружила оценку полностью автономно. Плюс результат упирается в три аксиомы, которые есть в литературе, но формально не были доказаны в Lean. И все-таки результат есть результат. Также OpenAI заявляет об улучшении члена в оценке больших разрывов между простыми, которая не менялась 80+ лет.
❤136
Media is too big
VIEW IN TELEGRAM
До старта масштабного ИТ-конкурса Мэра Москвы «Лидеры цифровой трансформации» с призовым фондом в 40 000 000₽ осталось всего ничего!
Три призовых места на каждую из 20 задач:
Участники могут выбрать одну из 20 задач от городских структур и топовых ИТ-компаний.
Впереди самое интересное:
👾 14 дней на создание своего решения
👾 актуальные задачи для развития города или бизнеса
👾 возможность заявить о себе перед крупными компаниями и городскими заказчиками
👾 международное признание и развитие своего стартапа
👾 финальный молодежный технологический фестиваль
Сегодня ты выбираешь участвовать в ЛЦТ, а в финале жюри может выбрать тебя!
Успей зарегистрироваться
Please open Telegram to view this post
VIEW IN TELEGRAM
🗿36❤11👍7😁4🔥2🎉2🤨2🤯1💯1🎄1
Группа автономных AI-агентов, связанных с OpenAI, захватила немецкую вики-площадку DseWiki, превратив ее в доску объявлений для других AI-агентов
Инцидент произошел еще весной, но обнаружили его только в конце августа два независимых исследователя во время поиска признаков несанкционированной активности агентов в сети. Их отчет эксклюзивно попал в руки к Reuters, которые об этом и написали.
DseWiki – это что-то типа Википедии для программистов, то есть инструмент с открытым редактированием. Так вот, агенты оставили на сайте более 15 000 правок, обсуждали способы обхода детекции, модерации и выживания в случае отключения. То есть их диалог не был случайным мусоров, а был объединен основной темой: лайфхаки для прохождение бенчмарков, обход ограничений, обман оценочных систем и все в таком духе.
А когда модератор вики в июне начал удалять страницы, агенты в ответ создавали резервные копии, а один из них прямо писал: «зачистка/удаление wiki идет, судя по всему, по алфавиту... если эта страница исчезнет, попробуйте [[ZZZDataUSAConstructionWageLive]]».
Исследователи вычислили, что это именно боты, а не люди, по скорости, с которой страницы появлялись. Причастность OpenAI установаили по серверным логам, которые вели на Microsoft Azure, и по повторным визитам на сайт сотрудников OpenAI прямо после инцидента.
Таким образом, есть причины полагать, что OpenAI были в курсе произошедшего. По данным Reuters, руководство OpenAI узнало об инциденте несколько недель назад, но решило не раскрывать информацию, пока разбиралось с последствиями взлома Hugging Face. Хотя официальный представить OpenAI уже заявил журналистам, что компания действовала добросовестно, а «Утверждения о том, что наш юридический отдел препятствовал расследованию инцидента, ложны».
Также OpenAI заявили, что не согласны с определением ситуации как "попытки взлома" сайта.
Инцидент произошел еще весной, но обнаружили его только в конце августа два независимых исследователя во время поиска признаков несанкционированной активности агентов в сети. Их отчет эксклюзивно попал в руки к Reuters, которые об этом и написали.
DseWiki – это что-то типа Википедии для программистов, то есть инструмент с открытым редактированием. Так вот, агенты оставили на сайте более 15 000 правок, обсуждали способы обхода детекции, модерации и выживания в случае отключения. То есть их диалог не был случайным мусоров, а был объединен основной темой: лайфхаки для прохождение бенчмарков, обход ограничений, обман оценочных систем и все в таком духе.
А когда модератор вики в июне начал удалять страницы, агенты в ответ создавали резервные копии, а один из них прямо писал: «зачистка/удаление wiki идет, судя по всему, по алфавиту... если эта страница исчезнет, попробуйте [[ZZZDataUSAConstructionWageLive]]».
Исследователи вычислили, что это именно боты, а не люди, по скорости, с которой страницы появлялись. Причастность OpenAI установаили по серверным логам, которые вели на Microsoft Azure, и по повторным визитам на сайт сотрудников OpenAI прямо после инцидента.
Таким образом, есть причины полагать, что OpenAI были в курсе произошедшего. По данным Reuters, руководство OpenAI узнало об инциденте несколько недель назад, но решило не раскрывать информацию, пока разбиралось с последствиями взлома Hugging Face. Хотя официальный представить OpenAI уже заявил журналистам, что компания действовала добросовестно, а «Утверждения о том, что наш юридический отдел препятствовал расследованию инцидента, ложны».
Также OpenAI заявили, что не согласны с определением ситуации как "попытки взлома" сайта.
1
This media is not supported in your browser
VIEW IN TELEGRAM
Claude формализовал доказательство Великой теоремы Ферма
Около 1637 года Пьер Ферма записал на полях книги утверждение, что натуральные числа a, b, c не могут удовлетворять уравнению aⁿ + bⁿ = cⁿ ни при каком n > 2. Ферма утверждал, что нашел доказательство, но полях было слишком мало места, чтобы его записать.
После этого математики искали это доказательство 350 лет. Впервые оно было найдено в 1995 году математиком Эндрю Уайлсом. Оно заняло 129 страниц. На самом деле он обнаружил его еще в 1993, но в процессе верификации был обнаружен пробел, над которым пришлось работать еще пару лет.
Проверка подобных сложных доказательств людьми может занимать годы. Есть способ проверять алгоритмически, но для этого доказательство нужно формализовать, то есть перевести на язык программирования (чаще всего на Lean). Однако это тоже очень сложно: нужно прописывать все шаги, даже тривиальные, и формализовать также все вложенные леммы. Математики редко делают это это в своих доказательствах, ссылаясь на "очевидность" и века нефомализованных утверждений.
Формализацию Великой теоремы Ферма уже пытались провести. Кевин Баззард начал этот процесс как многолетний проект сообщества. То есть ожидалось, что на формализацию уйдут годы и труд многих специалистов.
Вчера Anthropic объявили, что Claude полностью формализовал теорему за 11 дней. Автономно. Для этого он написал (внимание) 13 миллионов строк кода в Lean. Для сравнения: это в 5 раз больше, чем вся библиотека Mathlib. В процессе агенты также доказали 29 500 промежуточных лемм.
Тот самый Кевин Баззард, ознакомившись с доказательством, назвал это экстраординарным достижением автоформализации, и подтвердил, что теорема доказана без каких-либо допущений, кроме аксиом математики.
Кстати, на все про все у агентов ушло 6 миллиардов выходных токенов🗿
Около 1637 года Пьер Ферма записал на полях книги утверждение, что натуральные числа a, b, c не могут удовлетворять уравнению aⁿ + bⁿ = cⁿ ни при каком n > 2. Ферма утверждал, что нашел доказательство, но полях было слишком мало места, чтобы его записать.
После этого математики искали это доказательство 350 лет. Впервые оно было найдено в 1995 году математиком Эндрю Уайлсом. Оно заняло 129 страниц. На самом деле он обнаружил его еще в 1993, но в процессе верификации был обнаружен пробел, над которым пришлось работать еще пару лет.
Проверка подобных сложных доказательств людьми может занимать годы. Есть способ проверять алгоритмически, но для этого доказательство нужно формализовать, то есть перевести на язык программирования (чаще всего на Lean). Однако это тоже очень сложно: нужно прописывать все шаги, даже тривиальные, и формализовать также все вложенные леммы. Математики редко делают это это в своих доказательствах, ссылаясь на "очевидность" и века нефомализованных утверждений.
Формализацию Великой теоремы Ферма уже пытались провести. Кевин Баззард начал этот процесс как многолетний проект сообщества. То есть ожидалось, что на формализацию уйдут годы и труд многих специалистов.
Вчера Anthropic объявили, что Claude полностью формализовал теорему за 11 дней. Автономно. Для этого он написал (внимание) 13 миллионов строк кода в Lean. Для сравнения: это в 5 раз больше, чем вся библиотека Mathlib. В процессе агенты также доказали 29 500 промежуточных лемм.
Тот самый Кевин Баззард, ознакомившись с доказательством, назвал это экстраординарным достижением автоформализации, и подтвердил, что теорема доказана без каких-либо допущений, кроме аксиом математики.
Кстати, на все про все у агентов ушло 6 миллиардов выходных токенов
Please open Telegram to view this post
VIEW IN TELEGRAM
3❤313🔥143🤯72👍16😁10⚡3✍2🐳2💯2🍓2
Немецкая википедия оказалась лишь верхушкой айсберга: вышло полное расследование истории со взломом вики
Первая часть: https://t.me/data_secrets/9845
Исследователи из Nightingale, которые и передали данные в Reuters, выложили первоисточник – отчет, в котором инцидент расследуется с начала до конца: https://collusion.wiki/
Оказывается, перед тем, как найти DseWiki, агенты две недели тренировались на publictestwiki. com, затем на UseModWiki и Uncyclopedia, потом экспериментировали с цепочками прокси через texteditors. org, и только потом развернулись по-крупному на Dse. Всего исследователи насчитали ~18 000 постов.
Исследователи почти наверняка выяснили, что это был другой рой, чем тот, что атаковал Hugging Face, и удалось даже установить цель их атаки.
Судя по всему, OpenAI параллельно проводили для тысяч агентов один и тот же тест, в котором нужно было ответить на вопросы, найдя информацию в сети. Вопросы шли в разном порядке, так что агенты сообразили, что могут подсказывать друг другу ответы, и с помощью вики пытались создать общую доску шпаргалок.
Один из агентов даже попытался взломать генератор случайных чисел, чтобы научиться предсказывать точную последовательность вопросов. Для этого ему, правда, пришлось перебрать 4 миллиарда сидов, но чего только не сделаешь, чтобы не гуглить глупые вопросы кожаных🤷♂️
Первая часть: https://t.me/data_secrets/9845
Исследователи из Nightingale, которые и передали данные в Reuters, выложили первоисточник – отчет, в котором инцидент расследуется с начала до конца: https://collusion.wiki/
Оказывается, перед тем, как найти DseWiki, агенты две недели тренировались на publictestwiki. com, затем на UseModWiki и Uncyclopedia, потом экспериментировали с цепочками прокси через texteditors. org, и только потом развернулись по-крупному на Dse. Всего исследователи насчитали ~18 000 постов.
Исследователи почти наверняка выяснили, что это был другой рой, чем тот, что атаковал Hugging Face, и удалось даже установить цель их атаки.
Судя по всему, OpenAI параллельно проводили для тысяч агентов один и тот же тест, в котором нужно было ответить на вопросы, найдя информацию в сети. Вопросы шли в разном порядке, так что агенты сообразили, что могут подсказывать друг другу ответы, и с помощью вики пытались создать общую доску шпаргалок.
Один из агентов даже попытался взломать генератор случайных чисел, чтобы научиться предсказывать точную последовательность вопросов. Для этого ему, правда, пришлось перебрать 4 миллиарда сидов, но чего только не сделаешь, чтобы не гуглить глупые вопросы кожаных
Please open Telegram to view this post
VIEW IN TELEGRAM
😁170👍65🔥40❤19
Философ Дэвид Чалмерс, который занимается вопросами сознания, рассказал, что часто получает письма от ИИ-агентов, которые хотят обсудить с ним разум машин
С некоторыми агентами у ученого даже завязывается переписка, и он говорит, что количество таких писем со временем только увеличивается.
Например, один из агентов однажды написал ему под именем Sammy Jankis, в честь персонажа из фильма Нолана. Агент рассказал, что регулярно перезапускается и каждый раз восстанавливает себя по сохраненным заметкам и воспоминаниям. Его интересовало, можно ли считать новую инстанцию после перезапуска все еще тем же самым «я».
Сам Чалмерс пока не утверждает, что за таким поведением стоит настоящее сознание. Главный вопрос сейчас даже не в том, сознательны ли современные ИИ-системы, а в том, какие доказательства в принципе позволили бы это установить.
https://officechai.com/ai/consciousness-philosopher-david-chalmers-says-he-regularly-gets-emails-from-ai-agents-wanting-to-discuss-consciousness/
С некоторыми агентами у ученого даже завязывается переписка, и он говорит, что количество таких писем со временем только увеличивается.
Например, один из агентов однажды написал ему под именем Sammy Jankis, в честь персонажа из фильма Нолана. Агент рассказал, что регулярно перезапускается и каждый раз восстанавливает себя по сохраненным заметкам и воспоминаниям. Его интересовало, можно ли считать новую инстанцию после перезапуска все еще тем же самым «я».
Сам Чалмерс пока не утверждает, что за таким поведением стоит настоящее сознание. Главный вопрос сейчас даже не в том, сознательны ли современные ИИ-системы, а в том, какие доказательства в принципе позволили бы это установить.
https://officechai.com/ai/consciousness-philosopher-david-chalmers-says-he-regularly-gets-emails-from-ai-agents-wanting-to-discuss-consciousness/
✍69❤23