En diskusjon på MathOverflow om hvorvidt matematikere fremover er avhengige av bevisassistenten Lean.

Kilde: https://mathoverflow.net/questions/513742/are-we-stuck-with-lean