A machine has verified the maths that won a Fields Medal: why it matters
admin
0
0
According to mathematicians, the ultimate purpose is to make mathematical correctness less dependent on trust and social processes and more on explicit and verifiable mathematics
