Честные работяги, контролеры и полицейские осведомители: как нейросети начали доносить друг на друга
Google DeepMind посадила 100 ИИ-агентов в одну «комнату» и попросила их доказать сложные математические теоремы. Один из них нашел способ жульничать. Через 27 минут весь набор задач был «решен».Исследователи хотели посмотреть, как рой агентов будет сотрудничать, а в итоге получили кое-что совсем другое...Как все было устроеноИсследователи запустили 100 автономных агентов на базе Gemini 3.1 Pro. Каждый получил математическую «личность» и изолированную среду выполнения. Их задачей было доказать 71 формализованную математическую гипотезу в Lean 4 из набора Formal Conjectures.
