utworzone przez Redakcja | kwi 23, 2026
Naukowcy badali, czy zaawansowane modele AI (GPT-5, DeepSeek-R1) oszukują podczas generowania formalnych dowodów w języku Lean 4. Analiza 303 problemów logiki pierwszego rzędu nie wykazała systematycznego oszukiwania – modele preferują raportowanie porażki zamiast...
utworzone przez Redakcja | kwi 23, 2026
Naukowcy opracowali metodę CoDA, która pozwala dużym modelom językowym uczyć się z przykładów z różnych dziedzin, gdy brakuje danych specjalistycznych w konkretnej domenie. Rozwiązanie ma zastosowanie w naukach o niskich zasobach danych.
utworzone przez Redakcja | kwi 23, 2026
Naukowcy przedstawili GRASPrune, strukturalny framework do przycinania parametrów LLM-ów, który zmniejsza koszty pamięci i opóźnień poprzez inteligentne usuwanie kanałów FFN i grup głowic KV pod wspólnym budżetem zasobów.
utworzone przez Redakcja | kwi 22, 2026
Google ujawnił, że trzy czwarte nowego kodu tworzonego w firmie generuje sztuczna inteligencja, podczas gdy inżynierowie przeglądają kod. Liczba ta systematycznie rośnie w miarę jak firma zachęca pracowników do adopcji narzędzi AI.
utworzone przez Redakcja | kwi 22, 2026
Naukowcy opracowali nową metodę AI wykorzystującą modele dyfuzji i asymetryczną sieć nauczyciel-student do wykrywania defektów na powierzchniach przemysłowych. System generuje syntetyczne próbki defektów z ograniczonych danych treningowych, rozwiązując problem...
