ИИтак

← Назад

компания · 11 новостей за 60 дней

Amazon

Облако AWS, ассистент Alexa и собственные модели. Один из крупнейших инвесторов Anthropic.

2 ноября понедельник

длинный текст 3 мин Amazon Science

Amazon с помощью ИИ доказала надёжность протокола базы данных Aurora

Языковая модель написала математическое описание протокола Aurora и доказательство его надёжности, их проверила программа для математических доказательств Lean 4, а в документации нашлись опасные неточности.

23 октября пятница

дополнено в 22:20 Hugging Face

Hugging Face и AWS показали, какие модели работают на чипах Trainium

На Hugging Face можно проверить, запускается ли популярная модель на чипах Amazon Trainium без правок кода, и взять готовый скрипт для запуска.

22 октября четверг

Amazon Science

Amazon выпустила TorchNeuron для запуска кода PyTorch на чипах Trainium

Открытая программа Amazon переносит модели на PyTorch — самой распространённой библиотеке для ИИ-моделей — на чипы Trainium почти без правок кода. Проверяли её на 841 модели, которую отобрали ИИ-агенты.

20 октября вторник

Amazon Science

Внешние проверяющие нашли пробелы в тестах безопасности моделей Amazon

Некоммерческий институт AVERI проверил тесты, которыми Amazon оценивает безопасность своих моделей. После этого компания добавила в них более сложные сценарии атак и будет пересматривать тесты раз в квартал.

19 октября понедельник

15 октября четверг

12 октября понедельник

11 октября воскресенье

21 сентября понедельник

10 сентября четверг

Amazon Science

Исследователи Amazon объяснили, почему ИИ-агенты не переобучаются на тестах

Рабочий рецепт ИИ-агента удалось сжать до 16–32 токенов, и по такой подсказке другой агент с нуля повторял результат. Авторы считают это признаком того, что агент нашёл закономерность в данных, а не запомнил ответы.