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.

W miarę jak Ukraina nasila ataki na terytorium Rosji, w internecie pojawiają się nagrania pokazujące reakcje Rosjan na fakt, że wojna coraz częściej dociera także do ich domów. W nagraniach pojawia się przerażenie oraz niedowierzanie, że do ataków na terenie Rosji w ogóle doszło.

Standard Chartered zapowiada redukcję ponad 7 tys. miejsc pracy, a szef HSBC przekonuje pracowników, że lepiej oswoić zmianę, niż z nią walczyć.

Co drugie polskie przedsiębiorstwo (49 proc.) było w minionym roku rozczarowane wdrożeniem sztucznej inteligencji - wynika z badania firmy EY. Jednocześnie większość przedsiębiorstw chce zwiększyć wydatki na wprowadzenie narzędzi opartych na AI.