View Single Post
Old 2022-05-06, 22:05   #2
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

2·2,141 Posts
Default

An amazing feat! Such parallelism and clever mathematics run on some very big hardware. I take my hat off to these provers.
paulunderwood is offline   Reply With Quote