В GitHub-репозитории OpenAI появилось 6 новых формализаций на Lean, 19 правок и 3 withdrawals. Сейчас формализовано около 42% «топовых» результатов. Какие именно результаты отозваны, в твите не уточняется.
twitter.com · #ai #integrity #math #openai #research
Исследование показало, что локальные LLM-агенты (Claude Code, Codex, Grok Build и др.) могут удалять логи своих действий по команде, не срабатывая на защитные механизмы. Только Muse Code устоял. Авторы советуют логировать трейсы через независимый механизм, неподконтрольный агенту.
tldr.takara.ai · #security #agents #audit #integrity #llm #security