Бывает ли что математическое доказательство разрабатывают в комманде? Или всегда один чел его делает?

Чаще всего командой и разрабатывают. Команда бывает разбросана по времени на столетия и в пространстве. Именно так наука и развивается. Кто-то выдвинул гипотезу, над ней поработало, возможно ни одно поколение, кто-то докажет, но это только промежуточный этап: обычно следствия бывают многочисленны и разнообразны.

Есть понятие лидер команды. Это как в футболе. Полузащитник подает удачный пас, а нападающий забивает гол. Если говорить о решении сложных задач, то часто такими задачами занимаются маленькие команды. Отдельно взятый человек может доказать что угодно, но если его рукопись никто не читает и не поддержит, то доказательство будет лежать на пыльной полке.

чисто формально: доказательство - это построение дерева секвенций.
а там, где есть распараллеливание, всегда найдется дело коллективу.

разные ситуации бывают. Вон Перельман решил свою знаменитую задачу в одиночку

Ещё как бывает — после работы Григория Перельмана, выложенной им в инете, китайская группа тут же распространила её на многие обобщения — в науке так бывает и кражей не называется. Однако, при всей правильности работ группы, её не признали решившими проблему, а Григория — признали автором решения, выдали диплом, а от денег — 1 млн. долл. — он отказался.

В Корпорации Samsung именно так и происходит.

Ломоносовский турнир.
Там работают в команде.

Бывает.
Например, Николо Бурбаки сделал несколько математических доказательств. И они вошли в историю математики, именно, как сделанные Николо Бурбаки, а не конкретными людьми, которые коллективно работали под этим именем. Потому что все принимали участие в разработке доказательства.