The New York Times on Monday told the story of Sidharth Hariharan, a mathematics graduate student at Pittsburgh’s Carnegie Mellon University who spent more than two years helping translate one of the past decade’s most celebrated proofs into a form a computer could check, a painstaking task called formalization. Earlier this year an artificial intelligence system called Gauss, built by the startup
Technology Bloomberg Jun 12, 2026