AI-nyhederJán Pastorek lader AI opdage ny matematik
Forskeren Ján Pastorek har lavet AutoGraphForge, et AI-system der selv opdager nye sandheder i grafteori.
Det er sket
Ján Pastorek har bygget AutoGraphForge, et AI-værktøj der automatisk udforsker og opdager nye sammenhænge i grafteori – den gren af matematikken, der handler om netværk af punkter og forbindelser. Systemet finder selv på og tester hypoteser, noget der normalt kræver års menneskelig intuition og kreativitet.
Hvordan virker det?
AutoGraphForge bruger AI til at generere og afprøve matematiske formodninger i stor skala. I stedet for at vente på, at et menneske får en lys idé, lader forskeren systemet lede systematisk efter mønstre, som kan blive til beviselige sætninger – en slags automatiseret videnskabelig nysgerrighed.
Hvad kan det bruges til?
Grafteori er fundamentet bag alt fra sociale netværk og korttjenester til optimering af elnet. Når AI kan opdage nye strukturer hurtigere, kan det i sidste ende føre til bedre algoritmer og løsninger på komplekse problemer – uden at forskeren selv skal sidde og nørde i årevis.
Hvad nu?
AutoGraphForge er stadig på forsøgsstadiet, men viser vejen frem mod en ny form for matematisk samarbejde mellem mennesker og maskiner. Næste skridt er at teste systemet på større og sværere problemer, hvor det kan afsløre sammenhænge, som selv erfarne forskere har overset.
- AI-værktøjet hedder AutoGraphForge og er udviklet af Ján Pastorek.
- Det opdager automatisk nye sætninger inden for grafteori.
- Grafteori bruges i netværk, kort og optimeringsproblemer.
- Systemet genererer og tester selv matematiske hypoteser.
- Forskning er uploadet som videnskabelig artikel på arXiv.
- Værktøjet kan fremskynde matematiske opdagelser markant.
Fremover kan AI hjælpe med at finde nye matematiske sammenhænge, hvilket kan gøre din hverdag lettere – fx hurtigere ruteberegning eller bedre sociale medier.
Kilder:
arXiv cs.AI →
Genfortalt i egne ord af AI-nyheder.com · Tjek altid originalkilden, før du handler på vigtige oplysninger.