Math that cannot be proven

Mathematicians increasingly use computers in their theories. However, checking computer proofs is much harder and difficult. Now there are mathematicians that request a not 100% certainty proof to become accepted as proof by referees, because computer proofs make judgement otherwise impossible. Another argument they put forward is that this would make the science more human. Since when was give up! an option in science?

•