Tech

Ny Deepmind-AI löser avancerade matematikproblem

0 källorInga källor sparade
Originaltextcitatnamni

Googleägda Deepmind har tagit fram två nya AI-system kallade Alphaproof och Alphageometry 2, som båda beskrivs som banbrytande när det handlar om förmågan att lösa svåra matematiska problem. Det rapporterar ARS Technica.

De båda systemen uppges ha löst fyra av de sex problem som fanns med under årets upplaga av den Internationella matematikolympiaden. Systemen fick 28 av 42 möjliga poäng, något som skulle ha motsvarat en silvermedalj i mästerskapet.

Matematikern Timothy Gowers skriver i ett inlägg på X att det är en imponerande bedrift, men påpekar också att AI-systemen behövde långt mer tid än mänskliga matematiker behövde för att lösa problemen, ibland uppåt 60 timmar.

Källförteckning 0

Sidor som artikeln länkar till, eller som vi har matchat mot den med textlikhet 0,7 eller mer. Från källorna visas bara rubriker, korta citat och länkar.

Sammanhang

Så tas sidan fram· automatisk språkanalys, ingen AI-textVisa ▾
TextHämtad oförändrad ons 21 okt kl. 06:59Visa
Versioner
  1. 1Publicerad
Omfång3 stycken · 105 ord · 1 bild · 2 länkar
Omnis taggar
ÄmnesordArtificiell intelligensÄmnesordData, it & högteknologiÄmnesordIt, InformationsteknologiÄmnesordMatematikOrganisationGoogle

Texten sparas som den publicerades. En ny version sparas bara när text, bilder eller länkar ändras. Läs originalet ↗

Källor0 länkade i artikeln · 0 matchade i nyhetssajternas sitemaps (textlikhet ≥ 0,7)Visa

Inga källsidor hittade än.

Länkad: artikeln länkar sidan. Matchad: rubriken i sajtens nyhetssitemap liknar artikeln (0–1). Textlikhet: hela texterna jämförda med en meningsmodell (0–1).

NamnInte analyserad än (namnigenkänning)Visa

Artikeln har inte gått igenom namnigenkänningen än. Det sker inom en halvtimme efter att den sparats.

Citat0 citat med talare (citatextraktion)Visa

Inga citat med talare hittade.

Talaren kommer från ordet efter citatet ("säger", "skriver" och fler), annars från stycket före. Citat från källsidorna räknas med.

Händelsetyp– (klassificerare)Visa

Inte klassad än. Klassificeraren tar de nyaste artiklarna först, 300 i timmen.

Klassificerare: KB-BERT finjusterad på märkta Omni-artiklar, 27 typer. En typ visas när den når modellens tröskel, annars den mest sannolika.

FaktakollInga meningar kontrollerade änVisa

Inga meningar kontrollerade än.

Varje mening jämförs med alla meningar i källsidorna (meningsmodell, 0–1). Från 0,70 räknas den som funnen hos källan.

Ingen text här är skriven eller sammanfattad av AI. Analysen är automatisk och kan ha fel.

Citera · BibTeX, APA, RISVisa ▾
Format
@online{omni2024deepmind,
  title        = {Ny Deepmind-AI löser avancerade matematikproblem},
  organization = {Omni},
  date         = {2024-07-26T06:41},
  url          = {https://omni.se/a/wggMw5},
  urldate      = {2026-10-21},
  langid       = {swedish},
  note         = {Huvudtext}
}

Hela förteckningen finns också maskinläsbar i sidan som <script type="application/x-bibtex">, för referenshanterare som Zotero och JabRef.