2 ms·
No it’s not automated proof checking? It literally closed open problems that mathematicians couldn’t solve. In other words it primarily helped solved the proble
by simianwords 2mo ago
No it’s not automated proof checking? It literally closed open problems that mathematicians couldn’t solve. In other words it primarily helped solved the problems that otherwise would be unsolved.
Do you first agree on this?