Da flyene fløy mens matematikerne debatterte

Merk: Denne kronikken er skrevet i menneske-maskin samvirke med Claude, Anthropics språkmodell, i tråd med det kronikken beskriver.

Ideen til et essay kom under en luftetur med bikkja klokken 11:30. Vel hjemme tok det 77 minutter ved tastaturet for et utkast godt nok for publisering. Uten en formidlingsmotor ville det aldri blitt skrevet.

Det er ikke en kuriositet. Det er poenget.

En rød tråd fra Gauss

Historien om kunnskapsforedling er historien om stadig kraftigere verktøy for å håndtere kompleksitet. Carl Friedrich Gauss løste på begynnelsen av 1800-tallet lineære ligningssystemer for å beregne planetbaner fra ufullstendige observasjoner. Minste kvadraters metode og Gauss-eliminasjon er tidlige eksempler på verktøy som utvider menneskelig kapasitet – og tråden løper ubrutt.

På 1950- og 60-tallet utviklet ingeniørene elementmetoden (FEM) – ikke fra matematikkens elfenbenstårn, men fra behovet for å bygge fly som ikke falt ned. Turner, Clough, Martin og Topp visste at det virket, fordi de testet og verifiserte mot virkeligheten, lenge før noen hadde bevist det med tilstrekkelig stringens. Matematikerne rynket på nesen. Flyene sto ikke på bakken mens debatten pågikk – de fløy!

MIT-matematikeren Gilbert Strang leverte til slutt det formelle fundamentet. Han fortjener mer oppmerksomhet enn han får – ikke bare som FEMs formalisator, men fordi han forsto at matematikk skal tjene forståelsen. Den 15. mai 2023, 88 år gammel og etter 61 år ved MIT, holdt han sin siste forelesning – fulgt direkte av over 6000 mennesker. Et monument over formidling som faglig dyd.

Mønsteret er verdt å merke seg: ingeniørenes intuisjon gikk foran. Formaliseringen kom etter og bekreftet det praktikerne allerede visste.

Felles matematisk grunnlag

Gauss-eliminasjon lever i kjernen av enhver FEM-analyse. Minste kvadraters metode er forløperen til singulærverdi-dekomposisjon (SVD), selve grunnsteinen i moderne dataanalyse og maskinlæring. Det er ikke historiske kuriositeter. Det er aktiv matematikk.

FEM og moderne språkmodeller deler et fundament som ikke er metaforisk, men reelt: lineær algebra. FEM diskretiserer et kontinuerlig rom til et ligningssystem. Transformerarkitekturen, grunnlaget for språkmodellene, deler språk inn i tokens og beregner relasjoner mellom dem gjennom oppmerksomhetsmekanismen – en vektet matriseoperasjon, strukturelt beslektet med SVD. Begge søker meningsfull lavdimensjonal struktur i høydimensjonale data.

GPU-en, opprinnelig utviklet for dataspill, binder historien videre sammen. FEM krevde visualisering fra starten – spenningskart, konturplott. Spillmarkedet finansierte en grafikkortindustri ingeniørmarkedet aldri kunne bære alene. NVIDIA lanserte CUDA i 2006. AlexNet slo i 2012 alle tidligere metoder for bildegjenkjenning og utløste dyplæringsrevolusjonen – kjørt på to spillkort designet for Quake-spillende tenåringer. Gutterommets utilsiktede gave til vitenskapen.

Formidlingsmotorenes tidsalder

Begrepet formidlingsmotor er valgt med omhu – ikke synonymt med chatbot eller KI-assistent. En formidlingsmotor er syntesen av tre konvergerende teknologier: språkmodeller som håndterer tekstforståelse, generative grafikkmotorer som produserer illustrasjoner, og beregningsinfrastruktur som i moden form validerer faglige påstander mot fysikkens lover i sanntid. Nøkkelordet er verifisert.

Claes Johnson, professor emeritus i matematikk ved KTH, har med hjelp av Claude implementert RealQM – en ny formulering av kvantemekanikken, med en ingeniørmessig matematisk tilnærming analogt til klassisk faststoffmekanikk. Der standard kvantemekanikk i praksis er begrenset til noen få atomer, simulerer RealQM opp til 100 atomer med proteinfoldingsdynamikk i sanntid på en MacBook Air. En enkelt forsker, i samvirke med en formidlingsmotor, opererer i et tempo som tidligere krevde et helt forskningsmiljø.

Fra ordonans til substans

Det finnes en stor, underkommunisert gruppe som har mye å bidra med i offentlig samtale, men hindres av formuleringsarbeidets friksjon: ingeniører, forskere, fagspesialister – mennesker hvis kompetanse er dyp, men hvis relasjon til skriftlig fremstilling er anstrengt.

Skrivevegring er ikke mangel på kunnskap, men ofte det motsatte: en perfeksjonisme som blokkerer fordi avstanden mellom kunnskap og formulering oppleves uoverkommelig. Mange skriver på trass – og bruker opp mental kapasitet som burde gå til faglig substans. Formidlingsmotorene endrer dette: skissere tanken, få formuleringsforslag, bryne dem mot fagkunnskapen, iterere mot presisjon. Kognitivt partnerskap. Som i FEM: beregningen erstatter ikke ingeniørens forståelse – man frigjøres fra rutinearbeidet slik at faglig dømmekraft kan brukes der den trengs.

Legitimitetsdebatten

TU krever at redaksjonen informeres dersom et innlegg er skrevet med hjelp av KI. En fornuftig regel, som denne kronikken følger åpent – men bør ikke forveksles med et stigma.

Spørsmålet om et argument er godt, er uavhengig av hvilke verktøy som ble brukt til å formulere det. Vi aksepterer at arkitekten bruker CAD, statistikeren R, strukturingeniøren ANSYS. FEM-historien er illustrerende: ingen spør lenger om strukturingeniøren regnet for hånd. Spørsmålet er om konstruksjonen er trygg, og om faglig dømmekraft var i bruk. Det samme prinsippet bør gjelde i formidlingsmotorenes tidsalder.