Frontier science theorem discovery fully formalized in proof | Blockcircle