rozumowanie logiczne

W przemyśle lotniczym miliardowe kontrakty zależą od zdolności do certyfikacji oprogramowania pokładowego. Standard DO-178C wymaga formalnego dowodu, że system zachowa się poprawnie w każdej sytuacji – nie tylko w tych przetestowanych. Nowe badania pokazują, że…

Gdy algorytm tradingowy myli korelację z logiką, straty są natychmiastowe. W ubiegłym roku jeden z funduszy ilościowych odnotował 150-milionowy spadek wartości portfela w ciągu godziny, bo jego model neuronowy podjął serię transakcji wewnętrznie sprzecznych –…

Partnerzy kancelarii w Polsce coraz chętniej testują ChatGPT i inne duże modele językowe do przeglądania umów, analizy zgodności czy przygotowywania opinii. To pułapka. Nowe badanie, opublikowane przez zespół Tiansi Donga, Mateji Jamnik i Pietro Liò,…

W 2023 roku system wspomagania decyzji klinicznych w jednym z amerykańskich szpitali zasugerował amputację kończyny u pacjenta z zaawansowaną cukrzycą. Późniejsza weryfikacja wykazała, że model AI powiązał wysoki poziom hemoglobiny glikowanej z ryzykiem sepsy w…