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...
