utworzone przez Redakcja | maj 15, 2026
Naukowcy stworzyli Formal Conjectures – bazę 2615 problemów matematycznych sformalizowanych w Lean 4, zawierającą 1029 otwartych hipotez badawczych. Benchmark pozwala oceniać zdolności systemów zautomatyzowanego rozumowania w odkrywaniu matematycznych...
utworzone przez Redakcja | maj 15, 2026
Artykuł podkreśla, że sukces agentów AI zależy nie tylko od samego modelu, ale przede wszystkim od harnessu – systemu promptów, narzędzi, polityk kontekstu i pętli sprzężenia zwrotnego go otaczającego. Dobrze zaprojektowany harness z przeciętnym modelem...
utworzone przez Redakcja | maj 15, 2026
Naukowcy zaproponowali innowacyjną metodę oceny modeli Temporal Knowledge Graph Reasoning, która wyróżnia rzadkie i ważne zdarzenia wymagające głębszego rozumowania, zamiast traktować wszystkie zdarzenia jednakowo.
utworzone przez Redakcja | maj 15, 2026
Naukowcy opracowali metodę GRACE, która ocenia każdy krok w procesie rozumowania AI osobno, zamiast traktować całe próbki jako równie wartościowe. System wykorzystuje sygnały z wewnętrznej optymalizacji modelu do wskazania najbardziej przydatnych danych...
utworzone przez Redakcja | maj 15, 2026
Nowa metoda Poetiq wykorzystująca rekurencyjną samopolepszanie osiągnęła najwyższe wyniki w benchmarkach zdolności kodowania AI. System zdolny jest do autonomicznego doskonalenia swoich algorytmów.
