Theoretical Optimizers are not fun people to play with at the table.

If he cant tone it down and play the game as it was meant to be played, not as a thought experiment, then it would be best to let him go. Your other players will likely thank you.