Matematikeren Terence Tao har publisert en artikkel om hvordan kunstig intelligens påvirker matematisk forskning og bevisføring. Han drøfter både mulighetene og utfordringene KI-verktøy gir faget fremover.

Kilde: https://arxiv.org/abs/2608.16753