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 11, 2026
Naukowcy opracowali nową metodę reprezentacji ewoluującego stanu rozumowania w systemach AI za pomocą grafu epistemicznego oraz zdefiniowali warunki, które określają, kiedy iteracyjne rozumowanie powinno się zatrzymać.
