🧮 AI löste matematikproblem som varit olöst i 80 år

Dela artikeln OpenAI:s AI-modell löste det så kallade enhetsavståndsproblemet helt på egen hand, utan hjälp från människor. Problemet formulerades av matematikern Paul Erdős för omkring 80 år sedan och har varit olöst sedan dess. Flera framstående matematiker,

Sammanhang: ...OpenAI:s forskare blev förvånade när de läste lösningen. Mehtaab Sawhney, matematiker vid Columbia, sade att han till en början inte trodde på resultatet. Teamet letade efter fel, lät utomstående kontrollera arbetet och verifierade lösningen med företagets AI-kodningsverktyg. ...

Omnämnda platser: Columbia. Omnämnda personer: Thomas Bloom, Will Sawin, Paul Erdős.

📑 AI-forskare producerar allt bättre artiklar – och ett AI-system kan granska dem lika bra som människor

Dela artikeln Kvaliteten på vetenskapliga artiklar skrivna av AI-systemet The AI Scientist ökar förutsägbart i takt med att de underliggande AI-modellerna förbättras. En automatisk granskare byggd av samma forskargrupp matchar mänskliga granskares träffsäkerhet

Sammanhang: ...Bättre modeller ger bättre forskning Förra året visade forskare vid Sakana AI, University of British Columbia, Vector Institute och University of Oxford att ett AI-system kunde producera en vetenskaplig artikel som klarade peer review vid en workshop på AI-konferensen ICLR 2025. ...

Omnämnda personer: Apache License, Semantic Scholar, Claude Sonnet.

🎷 Inte ett hot – AI är musikindustrins nästa superhit

Dela artikeln Talande maskiner Det var sent 1800-tal. Vilda västern-eran började nå sin slutpunkt. Men än fanns det gott om salooner där cowboys släckte törsten. Det var också här en ny teknisk innovation skapade musikbranschens första stora kris. Thomas

Sammanhang: ...Bell vidareutvecklade den och sålde patentet till en man vid namn Edward Easton, som startade Columbia Phonograph Company. Syftet med denna "talande maskin", som Edison kallade den, var inte musik. ...

Omnämnda platser: SvD.. Omnämnda personer: Alexander Graham Bell, Columbia Records, Linus Andersson.

🧮 AI hjälper matematiker lösa problem som varit olösta i årtionden

Dela artikeln Sedan oktober har AI-verktyg hjälpt till att flytta omkring 100 av Paul Erdős matematiska problem till kategorin "lösta". Stora språkmodeller fungerar som kraftfulla forskningsassistenter som kan hitta och kombinera existerande matematiska

Sammanhang: ...Det började när matematikern Mehtaab Sawhney vid Columbia University matade in ett av Erdős problem i ChatGPT. Modellen hittade en referens till en existerande lösning direkt. ...

Omnämnda platser: OpenAI, Google, Sutherland. Omnämnda personer: Googles Gemini, Carlo Pagano, Mark Sellke.

🧮 Matematiskt vetenskapligt resultat: Universum kan inte vara en datorsimulering

Dela artikeln Ett flertal personer tror att vi lever i en datorsimulering. Ny forskning visar nu matematiskt att detta inte bara är osannolikt, utan omöjligt. Matematiska satser som Gödels ofullständighetssats visar att vissa aspekter av verkligheten inte

Sammanhang: ...Rum och tid växer fram från detta område. Forskare vid University of British Columbia i Okanagan har tillsammans med internationella kollegor visat att universum inte kan vara en datorsimulering. ...

Omnämnda personer: of Holography Applications, Nick Bostrom, Dr. Lawrence.