Tuttiquotidiani is completely free. Every day we aggregate news from 100+ sources and generate original AI summaries for you. Help us keep the service running with a small donation, or become TQ Pro for just €1/month.

Donate now TQ Pro - 1€/mo

Chris Hsu on How One Programming Language Rewrote Mathematics and Why Software Is Next

Posted on August 31, 2026
By International Business Times
0 Views
1 min read

In brief

Generating AI summary…

Chris Hsu on How One Programming Language Rewrote Mathematics and Why Software Is Next

Chris Hsu explores how Lean transformed mathematics through machine-checked proofs—and why formal verification could become essential as AI generates more of the world's software.