utworzone przez Redakcja | sie 3, 2026
Naukowcy opracowali trójetapowy pipeline oparty na LLM, który automatycznie generuje i weryfikuje hipotezy matematyczne o wysokim potencjale naukowym. System wykorzystuje formalne sprawdzanie w Lean 4 i Mathlib, dążąc do odkryć na miarę hipotezy Riemanna.
