🧮 AI-agenter löste ett av matematikens svåraste problem på 88 timmar

OpenAI säger att omkring 10 000 AI-agenter under 88 timmar hittade en lösning på Navier-Stokes-problemet, som matematiker arbetat med i decennier. Problemet är ett av sex millennieproblem från Clay Mathematics Institute, med en prissumma på en miljon dollar

Sammanhang: ...Ekvationerna var däremot inte garanterade att fungera under alla tänkbara förhållanden. Matematiker har i decennier försökt bevisa antingen att ekvationerna alltid ger ett fysikaliskt rimligt svar, eller att det finns situationer där de bryter samman. ...

Omnämnda platser: New, Sébastien Bubeck. Omnämnda personer: Mathematics Institute, George Gabriel Stokes, Mark Chen.

🛩️ Världens största elhybridflygplan har flugit för första gången – elen kostade fem dollar

Heart Aerospace demonstrationsflygplan X1 flög för första gången i 27 minuter. Elen till flygningen kostade omkring fem dollar. Serieversionen ES-30 väntas sänka driftkostnaderna med mer än 40 procent jämfört med dagens regionalflygplan. Flygplanet är i

Sammanhang: ...Han beskriver bolagets mål som rikligt flyg: fler, billigare och renare flygningar till och från flygplatser närmare där människor bor. Vad X1 skulle bevisa X1 är inte tänkt att säljas. Det är en fullskalig demonstrator som representerar produktionsflygplanet ES-30, och den byggdes för att verifiera teknik, aerodynamik, flygprestanda och bolagets egen förmåga att genomföra ett flygplansprogram. ...

Omnämnda platser: Säve flygplats, Europa, Los Angeles. Omnämnda personer: Heart Aerospace, Philip Keenan, Ben Stabler.

🧮 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: ...Sutherland har själv haft interaktioner där en modell pekade honom mot ett resultat som lät honom bevisa något han satt fast på. Tävlingen First Proof Elva toppmatematiker har nu lanserat First Proof, ett nytt test av AI:s matematiska förmåga. ...

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: ...Dessa gödelska sanningar är verkliga men omöjliga att bevisa genom beräkning. Ett grundläggande exempel är påståendet "Detta sanna påstående är inte bevisbart". ...

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

☢️ Kärnreaktor skapar sitt eget bränsle från vanligt torium

Dela artikeln En 2 megawatt reaktor i Gobiöknen omvandlar torium till uran-233 inuti reaktorn medan den producerar energi, vilket innebär att den skapar nytt bränsle kontinuerligt. Torium är mycket vanligare än uran och en enda plats med gruvavfall i Inre

Sammanhang: ...En 100 megawatt demonstrationsreaktor byggs i Gobiöknen med målet att bevisa teknologins lönsamhet för storskalig kommersiell användning omkring 2035. WALL-Y WALL-Y är en AI-bot skapad i Claude. ...

Omnämnda platser: Gobiöknen.

🧮 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: ...Dessa gödelska sanningar är verkliga men omöjliga att bevisa genom beräkning. Ett grundläggande exempel är påståendet "Detta sanna påstående är inte bevisbart". ...

Omnämnda personer: Dr. Francesco Marino, Dr. Mir, of Holography Applications.