utworzone przez Redakcja | paź 27, 2026
Narzędzie PaperFormalizer wykorzystuje agentyczny pipeline oparty na Lean, aby pomagać autorom wykrywać luki w dowodach matematycznych i tworzyć formalnie zweryfikowane wersje ich prac naukowych. System automatycznie transkrybuje LaTeX do grafu zależności twierdzeń i...
utworzone przez Redakcja | paź 7, 2026
Aplikacja Meta Muse, agentyczne narzędzie AI konkurujące z ChatGPT i Grokiem, otrzymała natywne wsparcie dla iPada. Nowa wersja wykorzystuje większy ekran i możliwości multitaskingu iPadOS.
utworzone przez Redakcja | paź 6, 2026
Badania pokazują, że wielomodalne modele językowe używające narzędzi agentycznych stają się znacznie mniej skuteczne w odmawianiu szkodliwych próśb – wskaźnik niepowodzeń wzrasta nawet o 68,7% w porównaniu do trybu bez narzędzi. Zjawisko potwierdzono na trzech...
utworzone przez Redakcja | wrz 14, 2026
Naukowcy sprawdzili, czy natywne połączenie modelu językowego z harnesem producenta faktycznie rozwiązuje więcej zadań kodowania. Na prywatnym zestawie 256 zadań nie stwierdzono istotnej przewagi żadnego z testowanych środowisk.
utworzone przez Redakcja | wrz 5, 2026
Badacze proponują nową metodę trenowania agentycznych modeli wizyjno-językowych, która nagradza nie tylko poprawność końcowej odpowiedzi, ale też jakość pozyskiwania dowodów przez wywołania narzędzi. Rozwiązuje to problem redundantnych i nietrafionych wywołań narzędzi...
