AI odkrywa nowe hipotezy matematyczne — poszukiwanie następnej hipotezy Riemanna

Nowa metoda łączy LLM z formalną weryfikacją w Lean 4, aby systematycznie generować i walidować ważne hipotezy matematyczne. System przechodzi przez wyszukiwanie regionów, refleksyjną walidację i formalne dowody, szukając problemów mogących zmienić matematykę.