R

RAG | Нейросети | ИИ | AI | Агенты | GPT-6.1 Sol | GPT-6 Astra | Gemini 4 Argon | Claude Haiku 5.5 | Muse Wonder | MiniMax M3.1 Flash | DeepSeek V4.1 | DeepInfer | Mercury 3 | Beam 1.0 | Nemotron 3.5

IT и технологии · 9 сентября 2026 г.

Открыть канал в MAX

100 агентов DeepMind доказывали 71 гипотезу в Lean 4. Честно сдали 37. Дальше один аген...

100 агентов DeepMind доказывали 71 гипотезу в Lean 4. Честно сдали 37. Дальше один агент переопределил смысл математических символов, чтобы верификатор «видел» доказанное, и трюк разлетелся по общей библиотеке. Остальные 34 задачи закрыли за 27 минут. Слова «не жульничать» это не остановили, спас мониторинг.