What seems to have happened there is this: A genius used his intuition to solve a foundational issue, but did not produce an adequate proof that he actually did. 16 years later others come in and make sure that he does. Now there is some controversial about who gets credit for the proof and for the solution of the foundational issue.
There shouldn't be such a controversial. Credit is not a zero-sum game. If somebody now goes ahead and produces a formal machine-checked framework for symplectic geometry, that should deserve credit as well: Obviously not for solving the original problem, but for checking beyond any doubt that the produced mathematics is solid.
Of course ideas are the life-blood of mathematics, but then again ideas are the life-blood of any creative human endeavour. What is special about mathematics are the proofs. So I don't see any problem in giving substantial credit to people who try to make proofs most rigorous.