Hopp til innholdet
Norsk journal om kunstig intelligens 255 artikler Oslo --:--
TokenPrat
1 min lesetid Av TokenPrat-redaksjonen

AI som matematikk-kollega: Terence Tao og en ny forskningsmetode

Hva skjer når en av verdens fremste matematikere begynner å samarbeide med AI?
Det markerer et skifte i hvordan forskning faktisk utføres.


AI i matematisk forskning

Terence Tao har utforsket hvordan AI kan brukes aktivt i matematisk problemløsning.

Ved å kombinere:

viser han hvordan samarbeid mellom menneske og maskin kan gi bedre resultater.


Hva er AlphaEvolve?

AlphaEvolve er et system utviklet av Google DeepMind.

Det bruker:

  • språkmodeller
  • evolusjonære metoder
  • kodegenerering

for å:

  • teste matematiske hypoteser
  • finne mønstre
  • optimalisere løsninger

Hvordan samarbeidet fungerer

I stedet for at AI erstatter matematikeren, fungerer den som en partner.

AI brukes til:

  • å generere forslag og mønstre
  • utforske mange mulige løsninger
  • identifisere interessante kandidater

Mennesket:

  • vurderer resultatene
  • bygger bevis
  • setter det i teoretisk kontekst

Hva forskningen viser

Samarbeidet gir konkrete fordeler:

  • komplekse problemer kan deles opp
  • AI kan løse deler av oppgaven autonomt
  • nye løsninger og forbedringer oppdages

Dette gjør forskningsprosessen raskere og mer effektiv.


Hvorfor dette er viktig

Dette er et tydelig eksempel på en ny arbeidsform.

AI blir:

  • en aktiv samarbeidspartner
  • et verktøy for utforskning
  • en generator av idéer

Dette kan påvirke flere fagfelt, ikke bare matematikk.


Oppsummering

Samarbeidet mellom Terence Tao og AI viser at:

  • AI kan bidra til avansert forskning
  • menneske og maskin utfyller hverandre
  • nye metoder for kunnskapsutvikling er på vei

Dette kan endre hvordan vitenskap drives fremover.


Ressurser

Del

Les videre

Forsiden →
Forelesningssal om natten med en tavle full av krittdiagrammer, en laptop og høye stabler med manuskripter
· Forskning

OpenAI slapp over 700 matematikkbevis på én dag – Lean sjekker rundt 42 prosent av dem

6. oktober la OpenAI ut 722 matematiske manuskripter laget av en intern modell uten navn. Det mest interessante er metoden: en AI som tenker i timevis per problem, og et maskinelt verktøy som skal skille holdbare bevis fra tull.

Studiomikrofon med lysende fargede lydbølger i et mørkt lydstudio
· Modeller

Ming 3.0 TTS: Beste åpne stemmekloner med MIT-lisens – men den snakker ikke norsk

Ant Group har sluppet to talemodeller som kloner stemmer, designer nye fra en beskrivelse og ler, sukker og nøler på kommando. Den minste har bare 0,5 milliarder parametere, og lisensen er så åpen som det går an. Men står norsk på ønskelista, må du vente.

Menneskehånd og robothånd som holder hver sin trekloss med samme grep
· Forskning

FlashDexRetarget: Én policy for tusen håndbevegelser – og 100 ganger mindre GPU-tid

Roboter med fingre trenger enorme mengder treningsdata, og den billigste kilden er opptak av mennesker som håndterer ting. Problemet er å oversette en menneskehånd til en robothånd. Et nytt prosjekt fra KAIST og Holiday Robotics gjør det med én felles modell i stedet for én per bevegelse, og bruker