GPT 5.2 Pro vyřešil problém Erdos (#281).