Matematikere reagerer på OpenAIs store lansering forrige uke, og et gjesteinnlegg tar for seg hvordan matematikken kan formaliseres.

Kilde: https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/