Как 10 000 ИИ-агентов работают над одним доказательством, не дублируя работу друг друга?

OpenAI сообщает, что около 10 000 одновременных агентов работали над проблемой Навье–Стокса, обмениваясь миллионами сообщений, и достигли результата примерно через 88 часов, а формализация и верификация в Lean заняли ещё 17 часов. Автор обсуждает проблемы координации: дублирование работы, противоречивые предположения, тупики, необходимость общей памяти и слияния ветвей. Он также упоминает свой эксперимент в apodex с меньшим числом агентов и задаёт вопрос о главном узком месте в масштабируемых мультиагентных системах.