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?
❤151😁61🔥36🕊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
👍141🔥59❤36
Пока ждем Astra на своем аккаунте, каждый день получаем от OpenAI по одному ресету лимитов
В комментариях к этому посту в X люди обещают назвать в честь Тибо ребенка и уговаривают OpenAI не сильно торопиться с релизом🙂
В комментариях к этому посту в X люди обещают назвать в честь Тибо ребенка и уговаривают OpenAI не сильно торопиться с релизом
Please open Telegram to view this post
VIEW IN TELEGRAM
1❤167😁110😎11👍5🕊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.
🗿242😁85
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+ лет.
❤133
Media is too big
VIEW IN TELEGRAM
До старта масштабного ИТ-конкурса Мэра Москвы «Лидеры цифровой трансформации» с призовым фондом в 40 000 000₽ осталось всего ничего!
Три призовых места на каждую из 20 задач:
Участники могут выбрать одну из 20 задач от городских структур и топовых ИТ-компаний.
Впереди самое интересное:
👾 14 дней на создание своего решения
👾 актуальные задачи для развития города или бизнеса
👾 возможность заявить о себе перед крупными компаниями и городскими заказчиками
👾 международное признание и развитие своего стартапа
👾 финальный молодежный технологический фестиваль
Сегодня ты выбираешь участвовать в ЛЦТ, а в финале жюри может выбрать тебя!
Успей зарегистрироваться
Please open Telegram to view this post
VIEW IN TELEGRAM
🗿31❤11👍5😁3🔥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
2❤98🔥56🤯20👍4😁4⚡1🐳1💯1🍓1