Naukowcy z Google DeepMind opublikowali wyniki projektu AlphaProof Nexus systemu agentów AI, które generują formalne dowody matematyczne w języku Lean i automatycznie je weryfikują.

Model rozumujący OpenAI znalazł kontrprzykład do hipotezy z geometrii dyskretnej, nad którą matematycy głowili się od 1946 roku. AI skompilowało istniejące podejścia z algebraicznej teorii liczb i dokonało tego, co ludzkiemu zespołowi zajęłoby dekady. Wynik zweryfikowali czołowi matematycy.

Algorytm przeanalizował pierwsze dziewięć ksiąg Biblii i w 84% przypadków trafnie wskazał autorów, nad którymi bibliści spierają się od dwóch stuleci. Narzędzie szuka lingwistycznego odcisku palca w słowach tak banalnych jak "nie", "który" czy "król".

Dogmat o braku dwóch milionów mieszkań w Polsce właśnie upada. Zamiast nieskończonego popytu na horyzoncie widać gigantyczną falę pustostanów wywołaną wymieraniem powojennego wyżu demograficznego. Kurczący się deficyt lokalowy wywróci rynkowe zasady, kończąc erę mieszkań jako lokaty kapitału.

Lekarze uderzają w pomysł rządu aby wynagrodzenia lekarzy powiązać z numerem PESEL i prawem wykonywania zawodu.

W ciągu 8 lat liczba urodzeń spadła w Polsce o 41%. I nie było powiatu, w którym nie byłoby tego spadku. Gorzej, że ten kryzys jest bardzo nierównomiernie rozłożony – w 77 powiatach spadek był co najmniej dwukrotny, a w Sopocie czy Przemyślu niemal trzykrotny.

Firma Google rozmawia ze SpaceX o startach dla Project Suncatcher. Centra danych budowane na powierzchni Ziemi coraz mocniej zderzają się z kosztami energii, wodą do chłodzenia i tempem rozbudowy sieci, którego branża AI zwyczajnie nie wytrzymuje.