RU

Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику

OpenAI пишет, что их модель решила задачу тысячелетия, но не всё так однозначно: доказательство ещё предстоит проверить, а вокруг авторства разгорел…

искусственный интеллектopenaiии в наукеleanформализацияматематикаматематические доказательствазадачи тысячелетияии-агентынаучные исследования
Habr
RU

[Перевод] Все вызовы API успешны. Почему ИИ-агент всё равно нарушает правила?

Агент создал запись о подрядчике, отправил договор на подпись и подготовил выплату. Все вызовы API завершились успешно. Однако обязательную проверку…

ии-агентыии-агенты в бизнесеии-агенты для разработкиopenaiapiapi testingerperp-системыai-агенты
Habr
RU

[Перевод] OpenAI снова выводит из себя математиков

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

openaimathematicsnavier-stokes equationmillenniumновостизадача тысячелетиянавье-стоксзадачи тысячелетияматематикиwired
Habr
RU

[Перевод] Дэвид Робинсон ушёл из OpenAI и раскритиковал культуру безопасности компании

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

openairesignsceoновостиskydive-projectconsulting grouptechcrunchaiai-агентыaircrack
Habr