AI-nyhederAlizer Wongs AI jagter matematikkens hellige gral
Forskerholdet bag Alizer Wong har udviklet en AI, der selv finder nye matematiske formodninger – måske endda noget i stil med Riemann-hypotesen.
Det nye
Et forskerhold bag Alizer Wong har skabt en AI-ramme, der selv kan finde og formulere store matematiske formodninger – altså gæt, som matematikere så skal bevise. Metoden kombinerer AI's mønstergenkendelse med matematisk logik og har allerede fundet flere nye formodninger.
Hvorfor det er stort
Riemann-hypotesen er et af matematikkens største uløste problemer. Hvis AI kan hjælpe med at finde nye formodninger, kan det åbne døre til løsninger, som mennesker aldrig selv ville have tænkt på. Forskerne håber, at metoden kan bruges på andre områder end talteori.
Sådan virker den
AI'en bliver trænet på eksisterende matematiske resultater og lærer at foreslå nye sammenhænge. Det sker ved at søge efter mønstre i data og derefter teste dem logisk. De bedste forslag bliver præsenteret for matematikere, som kan vurdere, om de er værd at forfølge.
- Forskerholdet bag Alizer Wong står bag den nye AI-ramme.
- Metoden er designet til at opdage matematiske formodninger automatisk.
- Riemann-hypotesen er nævnt som et eksempel på et stort mål.
- AI'en kombinerer mønstergenkendelse med logisk testning.
- Resultaterne præsenteres for matematikere til manuel vurdering.
Du kan få glæde af hurtigere matematiske opdagelser – fra kryptering til teknologi – som AI hjælper med at finde, selvom det måske tager år at bevise.
Kilder:
arXiv cs.AI →
Genfortalt i egne ord af AI-nyheder.com · Tjek altid originalkilden, før du handler på vigtige oplysninger.