AI når genombrott inom ren matematik
Ett artificiellt intelligenssystem har knäckt ett årtionden gammalt matematikproblem kopplat till Paul Erdős, en av de mest produktiva matematikerna i historien. Problemet, som motstått mänsklig lösning i åratal, löstes av en AI som uppvisade abstrakta resonemangsförmågor som tidigare ansågs vara uteslutande för mänskliga matematiker. Prestationen hyllas som en milstolpe inom AI-forskning.
Forskare kräver nya tillsynsramar
Efter genombrottet uppmanar vetenskapsexperter och matematiker till skyddsräcken för att styra AI-driven forskning. Oron är att AI-system kan producera resultat snabbare än det vetenskapliga samfundet kan validera eller förstå. Uppmaningen speglar bredare debatter om AI-säkerhet och transparens, när forskare brottas med implikationerna av maskiner som kan matcha eller överträffa mänskliga förmågor inom specialiserade domäner.
NASA skalar ner Mars-livsjaktsambitioner
I andra vetenskapsnyheter verkar NASA backa från sitt långvariga mål att jaga efter liv på Mars, enligt planetforskare. Rymdstyrelsens föränderliga strategi prioriterar återförande av prover framför detektering av liv på plats. Samtidigt kan Nordatlantens "kalla plump" signalera en nedgång i den atlantiska meridionala omvälvningscirkulationen (AMOC), en klimatreglerande havsström som forskare säger visar oroande svaghet.