AI-SI

SI: narzędzie symboliczne i ograniczony przekład polskiego

Stan na 2 października 2026. Dalszy trening i rozwój wstrzymano na prośbę użytkownika. Istniejący lokalny silnik i narzędzia pozostają dostępne.

Co działa

Lokalny interfejs zawiera tryb „SymPy: równania po polsku i symbole”. Przykład „rozwiąż równanie: dwa razy x plus trzy równa się jedenaście” zostaje przetłumaczony na 2*x+3=11, a narzędzie zwraca x = 4. W szczegółach odpowiedzi widoczny jest przekład.

SymPy 1.14.0 obsługuje w ograniczonym module równania wymierne z wielomianowym licznikiem do stopnia 4, upraszczanie wyrażeń wymiernych, pochodne i całki wielomianów. Zmienna x jest rzeczywista. Obowiązują limity długości, złożoności i czasu. Zachowywane są ograniczenia pierwotnej dziedziny; rozwiązania równania sprawdzane są przez podstawienie. Kontrole te wykorzystują ten sam SymPy, więc nie stanowią niezależnego silnika dowodowego.

Prosty przekład polskiego jest napisanym ręcznie zestawem reguł. Obsługuje ograniczony słownik liczb i operatorów. Negacja, alternatywa, jawna sekwencja działań oraz niejasne dzielenie wymagają doprecyzowania lub zapisu symbolicznego. Nie jest to ogólny parser zadań tekstowych.

Weryfikacja

Osiem testów pierwotnego modułu symbolicznego i cztery testy przekładu polskiego przeszły: łącznie 12/12 testów. Część testów zawiera wiele przypadków. Sprawdzono m.in. równania liniowe i kwadratowe, odrzucenie pierwiastków poza dziedziną, pochodną, całkę, kolejność działań, błędne polecenia i proces obliczeniowy. Zainstalowany interfejs zwrócił x = 4 dla powyższego polskiego przykładu bez ładowania Qwena.

To testy funkcjonalne przygotowane przy implementacji, nie nowy zamrożony benchmark ani pomiar generalizacji sieci.

Czego ten wynik nie oznacza

W tej aktualizacji nie trenowano SI ani Qwena i nie zmieniano ich wag. SymPy jest gotowym narzędziem zewnętrznym, a przekład jest regułowy. Nie wykazano tym samouczenia, pełnej znajomości matematyki ani przewagi rdzenia TIMDR. Nie przeprowadzono nowego porównania trzech wariantów: Qwen, Qwen z narzędziem, SI z narzędziem.

Qwen nadal służy do osobnej rozmowy. Poprawna odpowiedź w rozmowie nie jest automatycznie odpowiedzią zweryfikowaną przez ten moduł.

Rozmiar i publikacja

Wagi Qwena pozostają na poziomie 2 497 280 448 bajtów; dwa uczone moduły matematyczne razem mają 4 212 272 bajty. Dodano kod narzędzia i zależność SymPy, nie nowe wagi modelu. Rozmiar całego SI obejmuje również biblioteki i środowisko Python, których tutaj nie zmierzono ponownie.

Ta aktualizacja publicznego repo zawiera wyłącznie README i ten opis. Kod prywatnego SI, modułu symbolicznego, reguł przekładu, wagi i dane użytkownika pozostają lokalne.