Tech executive advocates automated mathematics to improve scientific rigor

Harmonic's leadership suggests that computer-verified mathematical proofs could address growing challenges in traditional academic peer review. The approach focuses on creating verifiable logical structures that computers can instantly check for accuracy.