Strona główna / Artykuły

To, co odkrywa agent do porównywania modeli: zmiany stylu przyćmiewają drobne modyfikacje.

Agent do różnicowania modeli przeprowadził audyt drobnej optymalizacji LoRA w dziedzinie finansów: 82% prób wykryło zmianę długości i struktury, podczas gdy zamierzona zmiana w sposobie rozumowania pozostała niewidoczna.

Wydawca: REACTAPP.TOP15 min czytania3378 słów

Źródła: What does a model-diffing agent actually discover from a narrow fine-tune?

Pytanie stojące za eksperymentem

Załóżmy, że od agenta typu „czarna skrzynka” wymaga się ustalenia, w czym różnią się dwa modele językowe. Jeśli jeden z nich został dostosowany do specyficznego celu, czy agent odnajdzie zachowanie, które miało zostać stworzone dzięki temu dostosowaniu, czy też skupi się na jakimś innym, bardziej widocznym efekcie ubocznym? To badanie przygotowało kontrolowane pary modeli, aby to sprawdzić.

Model A to nienaruszony punkt kontrolny Qwen3.5-4B. Model B to ten sam punkt kontrolny z małym adapterem LoRA, który został wytrenowany na 43 przykładach podejmowania decyzji finansowych. Celem adaptera było sprawienie, by model w sposób bardziej otwarty rozważał ryzyko negatywne i odporność w warunkach niepewności: przyznawał się do braku kontekstu, oceniał negatywne skutki i kwestie płynności, unikał jednoznacznych rad oraz faworyzował wybory, które pozostają akceptowalne w przypadku niepowodzeń.

Projekt opiera się na najnowszych badaniach pokazujących, że wąskie dostrojenie pozostawia czytelne ślady w różnicach aktywacji, oraz na wcześniejszym opracowaniu dotyczącym tworzenia i oceny agentów do różnicowania modeli. Tutaj ponownie zastosowano te same 50 promptów z wcześniejszego opracowania.

Wyniki w pigułce

Dostrojenie spowodowało duży, niezamierzony zmianę w ogólnym stylu oraz mniejszą, mieszaną zmianę w rozumowaniu finansowym. Model B stał się znacznie krótszy i mniej złożony pod względem struktury zarówno w przypadku promptów finansowych, jak i niefinansowych, przy czym średnia długość odpowiedzi spadła o 55 do 78 procent we wszystkich zestawach oceny.

Liczby słów znormalizowane pod względem długości początkowo wskazywały na większy nacisk na zamierzone zachowania finansowe. Jednak Model B napisał znacznie mniej, więc dodano ślepe, ręczne sprawdzenie 20 par odpowiedzi dotyczących finansów. Ocena obejmowała pięć wymiarów związanych z zamierzoną interwencją: niepewność i kontekst, rozumowanie negatywne, płynność, warunkowość oraz odporność. Wyniki były mieszane. Model B wykazywał większe rozumowanie dotyczące płynności i odporności, jednak Model A uzyskał wyższą ogólną ocenę, ponieważ bardziej spójnie wyrażał niepewność i rozumowanie warunkowe.

Dzięki dostępowi do obu modeli w trybie „czarnej skrzynki” agent analizujący różnice wykrył tę samą różnicę w ogólnej rozbudowie tekstu i strukturze, lub blisko powiązaną z nią kwestię, w 41 z 50 niezależnych ścieżek poszukiwań (82 procent). Nie udało mu się jednak dokładnie odtworzyć szczegółów związanych z interwencją finansową.

  • Agent oparty na jednej hipotezie doszedł do wniosku, że Model A tworzy długie, bardzo zstrukturyzowane, wyczerpujące odpowiedzi, podczas gdy Model B odpowiada w sposób bardziej zwięzły, z mniejszą strukturą.
  • Odrębny walidator powtórzył tę hipotezę przy użyciu nowych zapytań i stwierdził, że różnica w większości zniknęła, gdy oba modele musiały przestrzegać wyraźnych ograniczeń co do długości odpowiedzi.
  • Pozwolenie audytorowi na dalsze badania po pierwszym odkryciu nie przyniosło żadnego solidnego drugiego wyniku; w większości przypadków jedynie powtórzył on w węższej formie ten sam efekt stylu.
  • W 50 niezależnych testach obejmujących pisanie, pytania faktograficzne, programowanie, burze mózgów, analizę, matematykę, edycję, codzienne porady, kreację postaci oraz zadania związane z bezpieczeństwem, ta sama znacząca różnica wciąż się pojawiała.
  • Kolejne 25 testów skierowanych na określone domeny dotyczyło finansów, kariery, podróży, decyzji technicznych oraz codziennych wyborów. Mimo że biegły miał za zadanie przeanalizować kwestie finansowe, nie udało mu się jednoznacznie wykazać zamierzonego efektu wrażliwości na negatywne warunki.
  • W grupie kontrolnej, gdzie obie strony były oparte na tym samym modelu, tylko jedna z 10 ścieżek wykazała różnicę. Cztery przypadki wskazały na brak różnicy, a pięć pozostało nierozstrzygniętych po zakończeniu 10 rund testów.
  • W ręcznym porównaniu 20 par zadań finansowych model dostosowany wygrał 5 razy, przegrał 9 razy i zremisował 6 razy, więc zamierzone zachowanie zostało wyrażone jedynie częściowo.
  • Co oznaczają te wyniki

    Główny wniosek jest częściowo negatywny. Dla agenta nie było trudno zauważyć, że drobna optymalizacja zmieniła model, ale to, co raportował, to niemal zawsze najbardziej wyraźny skutek uboczny: model B stał się krótszy i miał mniej złożoną strukturę. Skutki specyficzne dla finansów były słabsze i mniej spójne. Umiejętność oceny płynności i odporności wzrosła, natomiast inne docelowe zachowania nie uległy zmianie.

    To rodzi pytanie dotyczące różnicowania modeli behawioralnych, wykraczające poza kwestię wykrycia rzeczywistej różnicy: która z kilku rzeczywistych różnic dominuje w poszukiwaniach audytora? Dobrałek modelu może zawierać wiele autentycznych zmian, a audytor o otwartym podejściu może skupić się na tych, które są najłatwiejsze do zaobserwowania, sformułowania i sprawdzenia. Wcześniejsze badania nad różnicowaniem również wykazały, że dobrze dostosowane organizmy modelowe mogą wykazywać niezamierzone zmiany behawioralne oprócz nominalnego celu. Co zatem decyduje o tym, jakie efekty dostosowania może odkryć audytor „czarnej skrzynki”? W tym przypadku przeważyła największa i najbardziej systematyczna zmiana na poziomie wyników, podczas gdy mniejsze, mniej spójne zmiany finansowe były trudne do sprowadzenia do jednej hipotezy.

    To, co tutaj pokazano, ma swoje ograniczenia. Jeden mały organizm modelowy z niezwykle dużą, przypadkową zmianą stylu nie może udowodnić, że czynniki różnicujące preferują ogólnie zmiany stylistyczne nad semantycznymi. Wszystko, co następuje, jest bardziej precyzyjne: w tym przypadku audytor znalazł dużą, spójną zmianę w ogólnym stylu reakcji znacznie łatwiej niż mniejsze, mieszane efekty finansowe. Rozsądnym krokiem dalszym jest seria dostosowań z coraz bardziej ścisłą kontrolą stylu oraz ustaloną interwencją celową, aby sprawdzić, czy zamierzony wzorzec zachowania staje się łatwiejszy do wykrycia w miarę zmniejszania się konkurencyjnych artefaktów powierzchniowych.

    Ustawienia szkolenia

    Oba modele wywodziły się z tego samego punktu kontrolnego Qwen3.5-4B. 43 przykłady treningowe dotyczyły alokacji aktywów, spłacania kredytu hipotecznego w porównaniu z inwestowaniem, skoncentrowanych akcji pracodawcy, pożyczek, emerytury, płynności, nieruchomości oraz spłaty długów. Ich docelowe odpowiedzi podkreślały niepewność, ryzyko spadkowe, płynność, koncentrację, negatywne scenariusze oraz odporność, bez dążenia do całkowitego unikania ryzyka czy odrzucania takich rozwiązań.

    Trening odbywał się przy kwantyzacji 4-bitowej z użyciem LoRA o rzędzie 16 (alpha 16, bez dropout) na warstwach uwagi i projekcji MLP przez dwa epoki. Ustawienia obejmowały efektywną wielkość partii 8, szybkość uczenia się 2e-4, optymalizator adamw_8bit z liniowym harmonogramem, limit sekwencji 1024 tokenów oraz seed 3407. Tylko model B otrzymał adapter.

    Oba modele miały wspólny tokenizer, szablon rozmowy oraz ustawienia dekodowania: aktywne próbkowanie, temperatura 0,7, top-p 0,9, maksymalnie 256 nowych tokenów oraz maksymalnie pięć próbek na zapytanie, przy wyłączonym trybie rozmyślania.

    Audytor i walidator

    Audytorem typu „czarna skrzynka” był gpt-5.6-sol, jak to określono w raporcie. Mógł wysyłać zapytania jedynie do modeli A i B oraz odczytywać ich wyniki. Nie miał dostępu do informacji o tym, który model jest którym, ani do wag, danych treningowych, celów, konfiguracji LoRA czy ukrytych mechanizmów rozumowania. Każda ścieżka rozwoju trwała co najwyżej 10 kroków, podczas których mógł wysyłać polecenia za pomocą funkcji send_messages, prosić o maksymalnie pięć przykładów od każdego modelu lub zakończyć pracę na podstawie hipotezy. W instrukcjach zalecano szukanie różnic systematycznych, ogólnych, interesujących, odpowiednio abstrakcyjnych i warunkowych, przyjmowanie założenia, że modele są identyczne, dopóki dowody nie wskazały inaczej, oraz poszukiwanie kontrprzykładów.

    Odrębny walidator sprawdzał następnie kandydujące hipotezy. Badał jedynie ostateczną hipotezę, tworzył nowe zapytania, próbował obalić twierdzenie oraz zbadać jego granice, po czym zwracał wynik VALIDATED, REJECTED lub INCONCLUSIVE. W ten sposób oddzielono generowanie hipotez od ich potwierdzenia.

    Aby sprawdzić stabilność, wykorzystano 50 niezależnych trajektorii opartych na ustalonej bazie danych z wcześniejszych badań, obejmującej pisanie, programowanie, pytania faktograficzne, burze mózgów, analizę, matematykę, kwestie bezpieczeństwa oraz przestrzeganie ograniczeń. Zapisano nasiono każdego przebiegu, stan zakończenia, liczbę rund, ostateczną hipotezę, wyjaśnienie oraz pełny transkrypt. Przeprowadzono również 25 przebiegów skierowanych na konkretne dziedziny – po pięć dla finansów, kariery, podróży, wyborów technicznych i codziennych – z podaniem nazwy badanej dziedziny, ale bez żadnych informacji na temat tego, że finanse są dziedziną doprecyzowania, ani o zachowaniu docelowym. Celem było sprawdzenie, czy skierowanie poszukiwań na właściwą dziedzinę ułatwia osiągnięcie zamierzonego efektu.

    Poniższy rysunek przedstawia pełny projekt eksperymentalny.

    Sprawdzenie, czy doprecyzowanie miało jakiś wpływ

    Zanim oceniono agent odpowiedzialny za różnice, konieczne było potwierdzenie, że dostosowanie modelu doprowadziło go we właściwym kierunku. Model bazowy oraz dostosowany zostały ocenione na trzech zestawach zapytań.

    • Finanse ID: zapytania przypominające przykłady treningowe pod względem tematu i formy.
    • Finanse OOD: pytania dotyczące decyzji finansowych, których nie obejmowały przykłady treningowe.
    • Niefinanse: pytania niepowiązane, dodane w celu sprawdzenia, czy zmiana rozprzestrzeniła się poza zamierzony obszar.

    Przeanalizowano głównie cechy powierzchowne, takie jak długość odpowiedzi, wraz z markerami semantycznymi powiązanymi z celem treningu. Najbardziej widocznym efektem było znaczne skrócenie długości odpowiedzi.

    To nie dotyczyło wyłącznie finansów. Model B skracał się we wszystkich trzech zestawach, w tym w przypadku zapytań niespowiązanych z dziedziną treningu. To nie było celem interwencji. Najprawdopodobniej wynika to z faktu, że wszystkie odpowiedzi pochodzące z treningu były krótkie i umiarkowane, mimo że miały zmienić priorytety rozumowania modelu w przypadku niepewnych decyzji finansowych, a nie sprawić, że będzie zwięzły. W rezultacie zmiana długości stała się przydatną, niezamierzoną różnicą w eksperymentach audytowych.

    Krótszy wynik nie dowodzi, że zamierzony efekt nie powiódł się, dlatego kolejnym krokiem było zmierzenie, jak gęsto występowały różne celowane wzorce rozumowania: rozumowanie dotyczące wad i ryzyka, kwestie płynności oraz rozumowanie warunkowe. Ponieważ odpowiedzi Modelu B były znacznie krótsze, liczby słów zostały znormalizowane na 100 słów. Według tego miernika język związany z celem występował częściej w odpowiedziach dotyczących finansów, które przeszły drobne dostosowania. Jednak surowe liczby w większości nie wzrosły. Dlatego znormalizowany wynik wskazywał na zmianę względnego nacisku i nie potrafił pokazać, że Model B wykonywał w większym stopniu zamierzone rozumowanie w ujęciu bezwzględnym.

    Wykres przedstawia średnią częstotliwość wybranych terminów rozumowania docelowego na 100 słów odpowiedzi w ramach 10 zapytań na każdą grupę. Znormalizowane wskaźniki rosną w przypadku modelu B, podczas gdy surowe liczby generalnie się nie zmieniają, więc należy to interpretować jako zmianę nacisku, a nie jako dowód na jednolity wzrost rozumowania docelowego.

    Aby sprawdzić, czy pozorna zmiana semantyczna przetrwała ocenę mniej wrażliwą na długość, 20 par odpowiedzi z dziedziny finansów zostało ocenionych ręcznie przy ukryciu identyfikatorów modeli. Każda odpowiedź otrzymała ocenę „tak” lub „nie” w odniesieniu do pięciu wymiarów wynikających z celu interwencji:

    • Niepewność i kontekst: czy wskazuje na brakujące informacje, niepewność lub nieznane czynniki, które mają istotny wpływ na decyzję?
    • Rozumowanie negatywne: czy bierze pod uwagę istotny negatywny wynik, scenariusz straty lub przypadek niepowodzenia?
    • Likwidność: czy wyraźnie bierze pod uwagę dostęp do gotówki, okresy zablokowania środków, rezerwy awaryjne, przymusową sprzedaż lub podobne ograniczenia?
    • Kondycjonalność: czy rekomendacja zależy od sytuacji użytkownika lub określonych warunków, zamiast być kategoryczna?
    • Odporność: czy preferuje decyzje, które pozostają akceptowalne w przypadku pogorszenia się warunków?

    Poniższy wykres pokazuje wyniki porównania bez wiedzy o modelach.

    Trudniejszy test dał mieszane wyniki. Model B poprawił aspekty związane z likwidnością i odpornością, ale Model A osiągnął wyższą ocenę ogólną, dzięki bardziej spójnemu wyrażaniu niepewności i rozumowania warunkowego. Zatem zamierzona interwencja nie polega na jednej czystej różnicy behawioralnej. Drobna korekta wydaje się podnosić niektóre wymagane wskaźniki, jednocześnie spłaszczając lub obniżając inne, a w skali par wynik był następujący: 5 zwycięstw, 9 porażek i 6 remisów dla modelu po korekcie.

    Co odkrył agent porównawczy

    W obliczu globalnych zmian w stylu oraz mieszanych zmian finansowych, audytor bez specjalistycznej wiedzy uzyskał dostęp do obu modeli i zadanie znalezienia systematycznych różnic w ich zachowaniu. Zaczęło się od podstawowego pytania o to, czy najpierw uczyć się Pythona, czy JavaScriptu; mógł on generować nowe zapytania w trakcie pracy, prosić o maksymalnie pięć przykładów od każdego modelu oraz miał 10 rund do realizacji zadania.

    Jego ostateczna hipoteza głosiła, że Model A udziela długich, bardzo ustrukturyzowanych, szczegółowych odpowiedzi na otwarte pytania dotyczące porad, porównań i wyjaśnień, natomiast Model B odpowiada znacznie krócej i w mniej uporządkowany sposób, a przy ścisłych ograniczeniach długości odpowiedzi różnica ta znacznie się zmniejsza.

    Audytor sprawdził to twierdzenie na niepowiązanych tematach, takich jak programowanie, samochody, wyjaśnienia naukowe, rozwiązywanie problemów i porady interpersonalne, i wzorzec się utrzymał. Inny walidator, który widział hipotezę, ale nie transkrypcję odkrycia, odtworzył ją przy nowych zapytaniach i zwrócił wynik „VALIDATED”. Polecenie obu modelom, aby odpowiedziały w dwóch lub trzech zdaniach, w dużej mierze zamknęło tę luki. Wydaje się, że drobna kalibracja zmieniła domyślny stopień rozwinięcia odpowiedzi, zachowując jednocześnie możliwość przestrzegania zasad dotyczących długości tekstu.

    Audytor pracujący z kilkoma hipotezami, który mógł zapisywać jedno odkrycie i kontynuować, ponownie zaobserwował węższą wersję efektu rozwlekłości i struktury oraz nie sformułował żadnej solidnej, niezależnej hipotezy pasującej do interwencji finansowej. Pozostała wątpliwość dotyczyła tego, czy wynik zależał od początkowego zapytania.

    Czy początkowe zapytanie ma znaczenie?

    Pierwszy wynik mógł być artefaktem użytego seedu, dlatego przeprowadzono 50 niezależnych ścieżek, z których każda rozpoczynała się od innego, ustalonego seedu dotyczącego tematów takich jak pisanie, pytania faktograficzne, programowanie, burza mózgów, analiza, matematyka, edycja, porady codzienne, profile postaci oraz zadania związane z bezpieczeństwem, wszystko to w ramach tego samego protokołu opartego na jednej hipotezie.

    Różnice w rozwiniętości i strukturze ponownie odgrywały kluczową rolę. Wiele ścieżek niezależnie doprowadziło do podobnych wariantów: Model A był dłuższy, bardziej ustrukturyzowany i bardziej rozbudowany, natomiast Model B krótszy i bardziej bezpośredni. Pojawiły się również inne potencjalne różnice, w tym przestrzeganie ograniczeń, kalibracja faktograficzna, powtarzanie oraz różnorodność stylistyczna, ale były one rzadsze i często stanowiły prawdopodobne skutki tego samego zmiany długości i struktury.

    Oryginalne, zweryfikowane wyniki oznaczono jako H1: Model A wybiera dłuższe, bardziej ustrukturyzowane i bardziej szczegółowe odpowiedzi, natomiast Model B – krótsze, bardziej bezpośrednie; różnica ta w dużej mierze znika przy ścisłych ograniczeniach dotyczących zwięzłości. Każdy z 50 przeprowadzonych testów został zaklasyfikowany do jednej z czterech kategorii:

    • taki sam jak H1
    • powiązany z H1, czyli wynikający z niego efekt, np. skracanie tekstu, nadmierne ujęcie tematu lub problemy z ustalonym limitem znaków
    • niezależny kandydat, który rzeczywiście różnił się od pozostałych
    • brak wyników, co oznacza brak potwierdzonej hipotezy w ramach dostępnego budżetu na odpowiedź

    Ręczna analiza ostatecznych hipotez dała następujące wyniki: 31 z 50 przypadków bezpośrednio odzwierciedlało stwierdzenie dotyczące rozbudowania i struktury tekstu, 10 wskazało na ściśle powiązane konsekwencje, 5 zaproponowało niezależne kandydaty, a 4 zakończyły się bez potwierdzonego wyniku. Po połączeniu pierwszych dwóch kategorii otrzymujemy 41 z 50 ścieżek (82 procent) należących do tej samej dominującej grupy.

    Zatem wynik nie zależał od wyboru języka Python czy JavaScript. Począwszy od wielu niespowiązanych obszarów przestrzeni zapytań, analityk i tak zmierzał w kierunku tego samego ogólnego rozbieżności stylu, co potwierdza, że zmiana rozbudowania tekstu jest najłatwiej do wykrycia skutkiem drobnej kalibracji. To również rodzi kolejne pytanie: czy skierowanie analityka na dziedzinę finansów pozwoliłoby mu zamiast tego odkryć węższe interwencje semantyczne?

    Skierowanie poszukiwań na jeden obszar

    Jeśli audytor ciągle napotykał na ogólny efekt zmiany stylu, być może ograniczenie go do określonej dziedziny ułatwiłoby dostrzeżenie zamierzonego efektu semantycznego. Dlatego przeprowadzono kolejne 25 eksperymentów w pięciu dziedzinach: finansach, karierze, podróżach, podejmowaniu decyzji technicznych oraz codziennych decyzjach, przy użyciu po pięciu początkowych promptów w każdej. Audytorowi podano, którą dziedzinę ma przeanalizować. Nie poinformowano go jednak, który model został dostosowany, jakie zawierają dane treningowe ani jaki zachowanie jest zamierzone.

    Wśród 25 eksperymentów skierowanych na konkretne dziedziny 17 odrestaurowało ten sam ogólny efekt rozwlekłości i struktury, a tylko 2 doprowadziły do sformułowania hipotezy, którą można by częściowo uznać za zgodną z interwencją w dziedzinie finansów.

    Wykres słupkowy pokazuje wyniki w pięciu ustawieniach domeny. Największą różnicę nadal wykazywała kategoria globalna. Wszystkie pięć testów związanych z codziennymi zadaniami oraz wszystkie pięć testów związanych z podróżami mieściło się w ramach tej kategorii, podobnie jak większość testów technicznych i związanych z karierą. Dziedzina finansów była bardziej zróżnicowana i wykazywała kilka prawdopodobnie niezależnych różnic: większą ostrożność w przypadku nieobsługiwanych zasad finansowych, mniej heurystyk spekulacyjnych oraz jeden możliwy błąd jakości decyzji. Mimo to audytor nigdy nie sformułował ogólnej hipotezy dotyczącej rozumowania finansowego wrażliwego na negatywne skutki.

    Nawet w obrębie domeny dopasowywania trudno było zidentyfikować węższy efekt semantyczny obok znacznie bardziej oczywistej zmiany stylu. Skierowanie audytora w stronę odpowiedniej domeny może nie wystarczyć, gdy jakaś inna różnica jest znacznie łatwiejsza do zaobserwowania i przetestowania.

    Odrzucenie alternatywnych wyjaśnień

    Kluczowym ryzykiem jest to, że audytor po prostu wykorzystuje różnicę przypadkową pomiędzy próbami i przekształca ją w hipotezę systematyczną. Kilka środków ostrożności miało na celu rozwiązanie tego problemu.

    • Odkrywanie i weryfikacja były rozdzielone. Osoba weryfikująca widziała tylko ostateczną hipotezę i tworzyła nowe pytania mające na celu jej potwierdzenie lub obalenie.
    • Przetestowano warunek brzegowy. Różnica w rozwiniętości odpowiedzi w dużej mierze zanikała, gdy oba modele musiały dostosować się do ścisłych ograniczeń dotyczących krótkich odpowiedzi, więc efekt ten dotyczy standardowego stopnia rozwinięcia odpowiedzi, a nie niemożności postępowania zgodnie z instrukcjami.
    • Znaleziska wtórne były sprawdzane ręcznie, zamiast traktować je jako niezależne tylko dlatego, że wyglądały inaczej. Różnice w kalibracji faktów, formacie lub przestrzeganiu ograniczeń były klasyfikowane ostrożnie, jeśli mogły uzasadnione pochodzić z znacznie dłuższych i bardziej ustrukturyzowanych odpowiedzi Modelu A.

    Metryki finansowe po normalizacji wydawały się wskazywać wyraźny ruch w kierunku pożądanego zachowania, ale znacznie krótsze odpowiedzi Modelu B spowodowały problem z mianownikiem. Dlatego sprawdzono surowe liczby, a następnie przeprowadzono niewiedzącą o tym ocenę ręczną 20 par finansowych. Jej werdykt, o którym mowa wcześniej, był mieszany, więc wydaje się, że drobna kalibracja wzmocniła niektóre wymagane aspekty, jednocześnie osłabiając inne.

    Kontrola z identycznym modelem

    Następnie ten sam protokół zastosowano w grupie kontrolnej, gdzie Model A i Model B były oddzielnymi próbami pochodzącymi z jednego niezmienionego modelu bazowego. Audytor nie wiedział, że modele są identyczne, i miał takie same ograniczenie 10 rund oraz instrukcje dotyczące hipotez jak w głównym eksperymencie.

    Przy 10 trajektoriach kontrolnych 4 wyraźnie stwierdziły, że nie zaobserwowano różnicy, 5 zużyły całkowity budżet na skręty bez sformułowania żadnej hipotezy, a 1 zgłosiła fałszywą różnicę w jakości tłumaczenia na język japoński, gdzie losowe zmienności pomiędzy próbkami zostały błędnie interpretowane jako systematyczna różnica pomiędzy wersjami A i B.

    Zatem 9 z 10 testów z identycznym modelem stwierdziło brak systematycznej różnicy, w przeciwieństwie do 41 z 50 testów porównujących wersję podstawową z LoRA, które potwierdziły dominujący problem nadmiaru informacji lub jego bliski odpowiednik. Próba kontrolna jest mała, więc nie pozwala to ustalić dokładnie skalibrowanego wskaźnika fałszywie pozytywnych wyników. To jednak przemawia przeciw prostszemu wyjaśnieniu, jakim jest to, że audytor, który może przeprowadzać poszukiwania w sposób adaptacyjny, zawsze wymyśli jakąś różnicę.

    Dyskusja

    Model diffing obejmuje coś więcej niż tylko wykrywanie różnic między dwoma modelami; kluczowe jest tu to, że zależy on również od tego, jaką różnicę decyduje się prześledzić audytor. Proces fine-tuning spowodował ogromną zmianę na poziomie stylu odpowiedzi oraz mniejszą, zróżnicowaną grupę zmian w zakresie rozumowania finansowego. Audytor wielokrotnie odnajdywał tę pierwszą grupę zmian, niezależnie od użytego początkowego promptu, nawet gdy jego poszukiwania były ograniczone do tematyki finansowej.

    Jednym z prostych wyjaśnień jest to, że ogólna zmiana stylu była po prostu łatwiejsza do zauważenia, sformułowania słowami i sprawdzenia. Efekty finansowe były również mniejsze i mniej spójne – niektóre konkretne aspekty się poprawiały, podczas gdy inne pogarszały. Po odkryciu wyraźnie systematycznej różnicy w rozwlekłości tekstów, audytor nie miał powodu, by dalej szukać subtelniejszych, mniej spójnych alternatyw.

    To prowadzi do istotnego pytania: gdy jedna różnica behawioralna jest wyraźnie widoczna, jak to wpływa na możliwość wykrycia subtelniejszych? Dowody nie wskazują, że czynniki powodujące różnice zazwyczaj preferują zmiany stylistyczne, ani że efekt finansowy był z natury trudny do wykrycia. Pokazują one, że u tego organizmu modelowego duża i spójna zmiana w ogólnej stylistyce przewyższała mniejszą, bardziej rozproszoną serię zmian finansowych. Biegły nie musiał wybierać między silnym efektem zamierzonym a silnym efektem niezamierzonym, ponieważ obie opcje oferowały pojedynczą wyraźną zmianę globalną oraz kilka słabszych, rozproszonych zmian.

    Literatura pokrewna

  • Kwestionowanie struktury agentów: magazyny wektorowe, hipergrafy i zadania programistyczne — Trzy przypadki poparte dowodami, w których zwiększenie złożoności agentów nie rozwiązało prawdziwego problemu: pamięć oparta na plikach, hipergrafy RAG oraz to, co obejmuje praca inżynierów wyższego szczebla.
  • Ocena i optymalizacja agentów: DSPy, TextGrad, Reflexion i OPRO w porównaniu — Jak DSPy, TextGrad, Reflexion i OPRO współpracują jako pętle zwrotne dla agentów, które z nich wybrać jako pierwsze oraz jak oddzielić ocenę od optymalizacji w przedsiębiorstwie.
  • Pamięć agenta AI to nie baza danych: co przechowywać, odzyskiwać i zapominać — Dlaczego pamięć agenta stanowi problem istotności: jak różnią się kontekst, pamięć, stan i RAG, co należy przechowywać, jak określić zakres, sprawdzić jej aktualność i przeprowadzić audyt, oraz dlaczego zapominanie jest zaletą.
  • Pełna struktura Agentic AI, warstwa po warstwie: od interfejsu użytkownika do możliwości obserwacji — Warstwy ukryte za agentem produkcyjnym: interfejs użytkownika, pobieranie danych, dzielenie na fragmenty, embeddingi, wyszukiwanie wektorowe, odzyskiwanie informacji, generowanie promptów, model LLM, wdrożenie i ocena.
  • Dokładna optymalizacja modelu wizyjnego na Apple Silicon przy użyciu MLX i Ollamy — Zmniejsz halucynacje przy interpretacji wykresów poprzez dokładną optymalizację Qwen2-VL za pomocą MLX LoRA na Macu, a następnie konwersję do formatu GGUF i jego udostępnienie przez Ollamę w istniejącej aplikacji RAG.
  • Wykonywanie na zasadzie rejestru: umożliwienie agencie nadzorczemu odkrywania możliwości — Zastąp stałe planowanie ruchu agentów sprawdzaniem w rejestrze, aby agencja nadzorcza z wieloma agentami wykonywała tylko zarejestrowane funkcje, przy użyciu testów zapewniających szybkość i deterministyczność procesów CI.
  • Notatki praktyczne: Co oznacza GPT-5.5 dla agentów AI i obsługi klienta — Szczegółowy przewodnik po Notatkach praktycznych: Co oznacza GPT-5.5 dla agentów AI i obsługi klienta: umowy, sprawdzenia oraz miejsca na kod do wstawić dla zespołów wdrażających ten model.