✔️ Белый дом создал группу для надзора за ИИ-отраслью

Власти США сформировали межведомственную группу Super Intelligence Force для координации федеральной политики в сфере ИИ.

Новый орган подчиняется напрямую президенту США. Координатором группы назначен директор Национальной разведки Джей Клейтон. В состав также вошли председатель FTC Эндрю Фергюсон, замминистра обороны по R&D Эмиль Майкл и глава кадрового управления Скотт Купор.

Super Intelligence Force будет мониторить угрозы национальной безопасности, удерживать технологическое лидерство США и устранять барьеры, тормозящие разработку.
washingtonpost.com

✔️ Из OpenAI ушёл один из авторов Preparedness Framework

Дэвид Робинсон, проработавший в компании три с половиной года и участвовавший в создании регламента готовности, объявил об отставке и опубликовал эссе о том, что в отрасли скорость выпуска побеждает качество проработки.

Подход, при котором проблемы устраняют по мере появления, он считает оправданным для ПО и недопустимым для ИИ - когда модель превзойдёт человека по когнитивным способностям, устранять последствия критического инцидента будет некому.

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

✔️ Aleph Alpha выложила в открытый доступ модель Kolibri

Немецкий стартап выпустил под лицензией Apache 2.0 большую языковую модель Kolibri 1, созданную в рамках европейской инициативы цифрового суверенитета и полностью соответствующую нормам EU AI Act.

Это MoE на 78 млрд общих и 3,5 активных параметров с базовым контекстным окном в 262 144 токена, которое может масштабироваться до одного миллиона.

Kolibri оптимизирована под немецкий и английский языки за счёт кастомного токенизатора UniBPE. Против галлюцинаций применён протокол Merlin-Arthur - модель учат отказываться от ответа, если контекст его не содержит.

Среди слабых сторон - скромные результаты в генерации кода, вызове функций и закрытых тестах на общую эрудицию без RAG.
aleph-alpha.com

✔️ Основатель Figure представил ассистента Hark

Бретт Эддкок анонсировал Hark с агентом Handoff, рассчитанным на длинные автономные задачи в интернете - заказ еды, покупки, бронирование, поиск информации.

На каждый запрос поднимается отдельный виртуальный компьютер с браузером, файловой системой и терминалом, а подключённые аккаунты дают доступ к адресам и предпочтениям.

По собственным замерам Hark занял первое место в человеческой оценке Online-Mind2Web, обойдя GPT-5.4 на 8 пунктов и Claude Opus 4.8 на 2.

Проект, уже привлекший более 700 млн долларов от топовых инвесторов, планирует открыть бесплатный Pro-доступ первым 100 000 пользователей из листа ожидания.
hark.com

✔️ OpenAI будет показывать рекламу во время генерации изображений

До конца месяца OpenAI запустит в США пилотный показ графической рекламы в ChatGPT. Баннеры будут появляться в интерфейсе на время ожидания генерации изображений.

Цель запуска - монетизация аудитории, которая достигла 1,2 млрд активных пользователей в неделю. Рекламные блоки получат маркировку и будут визуально изолированы от сгенерированного контента.

Для рекламной инфраструктуры компания интегрирует стек сторонних аналитических платформ по сбору данных о конверсиях и атрибуции кликов.

Внешние партнеры по верификации не получат прямого доступа к содержимому приватных диалогов.
openai.com


@ai_machinelearning_big_data

#news #ai #ml

📌 OpenAI выложила 722 математические работы своей внутренней модели

Все статьи написала внутренняя модель компании, название которой не раскрывают. На GitHub они разбиты на 372 семейства, от теории чисел и теоретической информатики до геометрии и математической физики.

Среди заявленных результатов есть доказательство рациональной гипотезы Ходжа для абелевых многообразий с комплексным умножением, гипотезы Капланского о прямой конечности в характеристике два и новая оценка показателя иррациональности числа π.

Рецензию работы не проходили, и независимо их пока никто не проверял.

Около 4000 задач модель получила во время внутренней оценки. Её расширили, когда прежние математические тесты перестали отличать модели друг от друга.

В среднем на один результат уходило столько вычислений, сколько примерно за три часа тратит ChatGPT Pro в режиме рассуждений.

Для 162 работ выложены доказательства на Lean. Каталог этих формализаций сама OpenAI считает как частичный и непроверенный. К десяти результатам приложены сокращённые записи рассуждений модели.

О том, как публиковать такие результаты, OpenAI советовалась с независимой Консультативной группой по математике и ИИ при Институте перспективных исследований в Принстоне.

Компания также обещает финансировать математические семинары и конференции в будущем.


@ai_machinelearning_big_data

#news #ai #ml

🖥 5 самых интересных фич Python 3.15 по версии Родриго Серрана

Родриго Серран разобрал в своём блоге пять нововведений Python 3.15, которые ему кажутся самыми интересными. Собрали их суть.

Ленивые импорты (PEP 810). Появилось ключевое слово lazy: помеченный модуль не загружается, пока имя реально не понадобилось. Отличный способ ускорить медленный старт приложения, особенно с тяжёлыми зависимостями.

lazy import json
lazy from math import sqrt

Встроенный frozendict (PEP 814). Неизменяемый и хешируемый словарь. Поменять или удалить ключ нельзя, прилетит TypeError, зато его можно использовать как ключ другого словаря или элемент множества.

version_info = frozendict({"major": 3, "minor": 15, "patch": 0})
version_info["patch"] += 1  # TypeError

Встроенный sentinel (PEP 661). Именованные заглушки, которые невозможно спутать с нормальными значениями вроде None. Удобно, когда None это валидный аргумент, а отличить «не передано» всё равно нужно. Печатают своё имя и образуют собственный тип, так что аннотации остаются чистыми.

NOTHING = sentinel("NOTHING")
if find_and_return(dataset, filter_function) is NOTHING:
    print("Никто не подошёл под условие")

Распаковка внутри comprehension (PEP 798). Теперь звёздочку можно использовать прямо в list, dict, set и генераторных выражениях. Нового поведения не добавляет, но заменяет вложенные циклы на короткую строку.

flat = [*sub for sub in nested]

Профайлер Tachyon (PEP 799). Высокочастотный сэмплирующий профайлер прямо в стандартной библиотеке: до миллиона замеров в секунду. Может профилировать скрипт или подключаться к уже запущенному процессу с минимальными накладными расходами.

python -m profiling.sampling run script.py
python -m profiling.sampling attach 12345

Источник: https://mathspp.com/blog/the-5-most-exciting-new-features-of-python-315