Matematikeren Terence Tao diskuterer hvordan fremveksten av AI-verktøy i matematikken krever at faget verdsetter fremgang mer helhetlig, ikke bare gjennom formelle bevis.

Kilde: https://mathstodon.xyz/@tao/117395269325940185