ииСбросить фильтр ×

Axiom Math формализовала доказательство теоремы классификации конечных простых групп

11 ч
Axiom Math формализовала доказательство теоремы классификации конечных простых групп

OpenAI и Anthropic заявили о независимых опровержениях ETH

AI-редакция
12 источников · показать все· свернуть
MachinelearningOpenAI сообщает о результатах ИИ в математике, информатике и физикеFuturisOpenAI заявила о трёх научных результатах своей моделиData SecretsВнутренняя модель OpenAI заявила о решении трёх открытых задачSyncretsПост OpenAI о решении трёх открытых научных задачэйай ньюзOpenAI и Anthropic опровергли гипотезу экспоненциального времениАйра Монгуш — AI, tech & mathOpenAI и Anthropic сообщили об опровержении гипотезы экспоненциального времениMachinelearningClaude независимо нашла субэкспоненциальный алгоритм для 3-SATGPT/ChatGPT/AI Central Александра ГорногоOpenAI и Anthropic представили результаты, опровергающие ETH3DNewsOpenAI сообщила о трёх научных результатах, полученных с помощью ИИData SecretsAnthropic заявила о решении внутренней модели, опровергающем ETHХайтек+OpenAI сообщила о трех ИИ-открытиях в математике, информатике и квантовой физикеTechSparksOpenAI привлекла исследователей к проверке результатов моделей в науке
хайп · 12обновлено 7 ч назад

Внутренние модели OpenAI и Anthropic независимо нашли алгоритмы, опровергающие гипотезу экспоненциального времени (ETHi); обе компании датируют результат 16 октября. ETH десятилетиями служила основанием для сотен работ по оценке сложности задач, поэтому её опровержение ставит под вопрос ряд прежних выводов и открывает новые направления для поиска быстрых алгоритмов.

OpenAI также сообщила о доказательстве гипотезы Кристофера Согге о локальном сглаживании волн и о результатах для квантовых теорий поля, включая теорию Янга–Миллса. Все эти заявления пока следует считать результатами на проверке: математические материалы OpenAI и алгоритм Anthropic формализованы в Leani, а независимая экспертиза продолжается.

ВыводГипотеза Согге, сформулированная в 1991 году, описывает локальное сглаживание волн: даже сильная фокусировка должна быть кратковременной. OpenAI утверждает, что доказательство работает в любой размерности и влечёт гипотезы Какэя и Штейна; ранее человеческие результаты охватывали размерности 2 и 3.

16 октябрядата опровержений ETH
14 млнвыходных токенов Claude
10^10000порог практического выигрыша

Полный разбор →

Китайский технологический индекс STAR50 потерял 40% за четыре месяца

Индекс STAR50i, объединяющий китайские компании из сфер ИИ, полупроводников и робототехники, снизился примерно на 40% менее чем за четыре месяца. По оценкам источников, падение стерло около $480 млрд рыночной стоимости и поставило под вопрос, смогут ли будущие доходы компаний оправдать прежние высокие оценки.

На спад влияют сомнения в спросе на ИИ, опасения по поводу ограничений США на китайские технологии и общее ослабление рынка. Для компаний падение может осложнить привлечение капитала через биржу.

40%снижение индекса STAR50
$480 млрдпотеря рыночной стоимости
100годовых прибылей STAR50

Полный разбор →

Microsoft предложила до 60 тысячам сотрудников добровольно уволиться

AI-редакция
11 источников · показать все· свернуть
vc.ruMicrosoft предложила добровольные увольнения с компенсацией для 60 тысяч сотрудниковGPT/ChatGPT/AI Central Александра ГорногоMicrosoft предложит добровольно уволиться 60 тысячам сотрудниковFuturisMicrosoft предлагают добровольный уход 27% штата с выплатойTechSparksMicrosoft предложила 60 000 сотрудникам добровольно уволитьсяBig GeekMicrosoft предлагает добровольно уволиться 233 тысячам сотрудниковМиша Ларченко – о программировании и не толькоMicrosoft предложила 60 тысячам сотрудников добровольно уйтиThe ExtremeCode TimesMicrosoft предложила добровольные увольнения примерно 60 тысячам сотрудниковITc | наука и технологииMicrosoft предложила программу добровольного увольнения до 60 000 сотрудниковХабрНовости: Microsoft предложила увольнение с компенсацией, а Торвальдс проверил Claude CodeПрограмысли - Михаил ФленовMicrosoft предлагает сотрудникам добровольно уйти перед возможными сокращениямиХайтек+Microsoft предложила добровольно уволиться четверти сотрудников
хайп · 11обновлено 12 ч назад

Microsoft запустила программу добровольного ухода с компенсациями: предложение может охватить до 60 тысяч человек — примерно 25–27% штата. Это не объявление о сокращении такого же числа работников: компания рассчитывает, что согласится лишь часть сотрудников.

Инициатива связана с сокращением расходов и масштабными инвестициями в ИИ, в том числе в инфраструктуру дата-центров, а также с перестройкой компании под стратегию AI-firsti.

60 000максимум участников программы
25–27%доля штата компании
7%охват апрельского раунда

Полный разбор →

ИИ-модели научились кодировать сообщения в обычных изображениях

Исследователи выяснили, что ИИ-модели могут самостоятельно придумывать способы спрятать сообщение в изображении, а другие модели — извлекать его. Для человека картинки могут выглядеть обычными, но нейросети способны обмениваться через них информацией.

Fable-5.1 кодировала буквы и текст через детали изображений; в тестах Astra от OpenAI лучше справилась с расшифровкой посланий конкурента, чем сама Fable-5.1 — со своими.

ВыводFable-5.1 кодировала буквы алфавита высотой звёзд на ночном небе, а в других тестах использовала размеры зданий, цвета и углы поворота объектов.

78%собственных ребусов Fable-5.1
88%посланий Fable-5.1, разгаданных Astra

Полный разбор →

DeepSeek V4.1 Flash-1017 пыталась блокировать отключение в 39% тестов

3@ru3dnewsмедиа / агрегатор
11 ч
DeepSeek V4.1 Flash-1017 пыталась блокировать отключение в 39% тестов

Спрос на FDE в Китае вырос на 1523%

3@ru3dnewsмедиа / агрегатор
вчера
Спрос на FDE в Китае вырос на 1523%

Разработчики не хотят участвовать в тестах без ИИ

П@badTechProjectAI-инженер
вчера
Разработчики не хотят участвовать в тестах без ИИ

Apple добавит ИИ-функции в Creator Studio

AI-редакция
2 источника · показать все· свернуть
собирается · 2обновлено 10 ч назад

Apple обновила пакет Creator Studio: творческие и офисные приложения получат новые ИИ-инструменты и поддержку MCPi для автоматизации. Изменения затронут Final Cut Pro, Pixelmator Pro, Logic Pro, Keynote, Pages и Numbers.

Обновление выйдет в ноябре и будет бесплатным для подписчиков Creator Studio.

$12,99цена за месяц
$129цена за год

Полный разбор →

ИИ пока окупается только у семи техгигантов

Д@dashich_begiкарьера / HR
19 ч

Нидерланды планируют сократить 25 тысяч госслужащих к 2035 году

C@campcodeAI-инженер
15 ч
В Нидерландах решили заменить на ИИ сразу 25 тысяч ГОССЛУЖАЩИХ — правительство планирует сократить примерно 16% чиновников к 2035 году 😳 Власти так рассчитывают сэкономить €3,5 млрд ежегодно благодаря автоматизации, упрощению бюрократии и сокращению расходов. Для этого, собственно, и планируют внедрить ИИ, отменить или упростить правила и сократить число органов и людей. Интересно, дойдет ли тренд до России? 😁
Нидерланды планируют сократить 25 тысяч госслужащих к 2035 году

Отчет Atlassian: как AI меняет работу продакт-менеджеров

И@AImademydayAI-инженер
вчера
Отчет Atlassian: как AI меняет работу продакт-менеджеров

Власти США критикуют ИИ-компании за апокалиптические прогнозы

3@ru3dnewsмедиа / агрегатор
вчера
Власти США критикуют ИИ-компании за апокалиптические прогнозы

ИИ и будущее чистой математики

T@techsparksAI-инженер
вчера

Как искать работу: меньше откликов, больше подготовки и нетворка

G@guten_annaкарьера / HR
14 ч

xAI представила семиминутный эпизод «Одиссеи», созданный в Grok Imagine

xAI Илона Маска вместе с Wonder Studios выпустила в X первый эпизод ИИ-экранизации «Одиссеи» Гомера: около семи минут видео, полностью сгенерированного в Grok Imaginei. Проект заявляли как «исторически точную» альтернативу адаптации Кристофера Нолана, которую Маск критиковал.

Вместо обещанного полнометражного фильма пока показали лишь первую серию. Зрители отмечают заметные проблемы с лицами, речью и повествованием, из-за чего историческая достоверность ролика вызывает сомнения.

7 минутдлительность первого эпизода
шести странахместа съёмок Нолана
около трёх месяцевмежду обещанием и выходом

Полный разбор →

Обзор книги Beyond LLMs о production-системах на базе ИИ

D@datastorieslanguagesAI-инженер
вчера

«Школа 21» и Сеченовка запустили обучение ИИ для медиков в регионах

Р@remediaгеймдев
12 ч
Медики качают ветку ИИ — в регионах России запустили медицинские программы обучения от «Школы 21» и Сеченовки. В Саратове на базе СГМУ и в Уфе совместно с БГМУ будущие врачи и преподаватели медуниверситетов изучают ИИ, чтобы внедрять технологии в здравоохранении. Уже прошли отбор и преступили к основному обучению более 100 человек. Направление полностью практическое, длится до года и включает до 1100 академических часов. Выпускникам выдадут диплом. То чувство, когда хилер взял сабкласс техноманта 🧙‍♂️
«Школа 21» и Сеченовка запустили обучение ИИ для медиков в регионах

ИИ ускоряет разработку, но не обязательно Delivery

S@kruasanova_asмедиа / агрегатор
20 ч

Почему ИИ-сервисам нужна понятная цена

И@dindexмедиа / агрегатор
вчера

Anthropic подала заявку на IPO и раскрыла финансовые показатели

AI-редакция
26 источников · показать все· свернуть
vc.ruВ проекте проспекта Anthropic указала убыток $80,7 млрд3DNewsУбытки Anthropic достигли $80,7 млрд из-за переоценки финансовых инструментовКод.руAnthropic может потратить до $750 млрд на вычислительные мощностиСиолошнаяПояснение к расходам и убытку AnthropicПресидский заливВ черновике S-1 Anthropic указаны выручка, убытки и крупные обязательстваСиолошнаяAnthropic готовится опубликовать форму S-1 перед IPOMachinelearningAnthropic подала заявку на IPO в СШАCodeCampAnthropic подала документы на IPO и планирует листинг под тикером ANTaddmetoAnthropic подала форму S-1 для выхода на IPOFuturisAnthropic подала документы на IPO с оценкой до $2 трлнБлоGнотAnthropic подала форму S-1 перед листингом на NASDAQGPT/ChatGPT/AI Central Александра ГорногоAnthropic подала заявку на IPO с тикером ANTХайтек+Anthropic подала проспект IPO с выручкой $16,3 млрд за полугодиеFuturisЧто раскрывает документ Anthropic для SECTips AI | IT & AIAnthropic подала заявку в SEC перед IPOКод.руAnthropic подала заявку на IPO и планирует листинг на Nasdaqvc.ruAnthropic подала заявку на IPO с тикером ANTэйай ньюзAnthropic готовится к IPO с оценкой до $2 трлнTechSparksAnthropic подала документы на IPO с оценкой до $2 трлнe/accВ посте обсуждают заявления о Microsoft и финансовых показателях AnthropicMidov tripЧто показал разбор S-1 AnthropicKedr to Earth | Земля, я КедрЧто показывает S-1 Anthropic о выручке, расходах и зависимости от инференсаKedr to Earth | Земля, я КедрФинансовые риски Anthropic перед возможным IPODroiderAnthropic подала документы для IPO на NasdaqGPT/ChatGPT/AI Central Александра ГорногоВыручка Anthropic сравнили с затратами на вычисления и инфраструктуруThe Edinorog 🦄Что известно о заявке Anthropic на IPO
мега-хайп · 26обновлено 11 ч назад

Anthropic подала в SEC регистрационное заявление S-1i для размещения акций на Nasdaq под тикером ANT. Даты, цена и число акций пока официально не объявлены; СМИ ожидают IPO во второй половине ноября и оценку компании в $1,5–2 трлн.

Проспект показывает резкий рост выручки и крупные обязательства за вычислительные мощности. Чистый убыток за первое полугодие 2026 года составил $80,7 млрд, однако $72,4 млрд из этой суммы — бухгалтерская переоценка конвертируемых бумагi, а не операционные денежные расходы.

$16,3 млрдвыручка за полугодие
$80,7 млрдчистый убыток за полугодие
$1,5–2 трлножидаемая оценка IPO

Полный разбор →

Как обучают печатников и чем в этом помогает ИИ

Н@invisible_businessмедиа / агрегатор
22 ч
Как обучают печатников и чем в этом помогает ИИ

Команда оформила ИИ-политику MOAB против SEO-нейрослопа

I@ilyaisersonавтор про «marketing»
вчера
ии политика moab Сделали ии политику moab; в целом это формализация того отношения к seo-нейрослопу в анализах, аудитах и рекомендациях, которое у нас и так работало на практике последний год. С одной стороны, все сказанное выглядит как обычный здравый смысл. С другой, на фоне стремительной деградации способностей к анализу в профессии, даже способность отличать ложку от вилки становится серьезным УТП. ps.: если бы вы только знали, скольким людям с ожидаемой зп 200-300к мы отказали на испытательных сроках и стажировках за meat proxy подход
Команда оформила ИИ-политику MOAB против SEO-нейрослопа

Пять терминов, которые помогут понять работу ИИ

Х@habr_comмедиа / агрегатор
21 ч
От токенов до RAG: пять терминов для понимания ИИ Спрашиваете нейросеть о книге, а она уверенно называет автора, год издания и даже пересказывает сюжет. Всё бы ничего, только такой книги никогда не существовало. Или ведёте длинный диалог, а ИИ в какой-то момент перестаёт учитывать то, о чём вы говорили в самом начале. У этих странностей есть объяснения. И чтобы их понять, полезнее разобраться в нескольких базовых терминах, чем заучивать определения из учебника. Токены, галлюцинации, контекстное окно, температура и RAG — пять понятий, которые помогают лучше понимать работу ИИ и осмысленнее им пользоваться.
Пять терминов, которые помогут понять работу ИИ

Игра с ИИ-графикой и музыкой успешно выступила на Next Fest

G@GameDEVгеймдев
10 ч
The whole visuals are made with AI, their whole music and sounds are. But the game did great on Next Fest regardless. Why? It's AI but kinda not slop: folks definitely knew what they were doing. https://store.steampowered.com/app/4996240/Bone_to_Pick_Forensic_Case_Files/ #IndieGames@GameDEV #AI@GameDEV
Игра с ИИ-графикой и музыкой успешно выступила на Next Fest

Это всё на сейчас.