# Sources

- Original submission: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/pull/175
- Pinned manuscript: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/blob/18b0d6fce567a16bae978cbcb0d6ec85f98193cb/attacks/open_problems/top_problems/gpt6_1_sol_max/3100089_v3.tex
- Author source repository: https://github.com/VictorLiwentao/Erdosproblems-llm-hunter/tree/f914d6212376ba44061c648d32122be05fda56c6
- Verification script: https://github.com/mehmetmars7/Erdosproblems-llm-hunter/blob/18b0d6fce567a16bae978cbcb0d6ec85f98193cb/scripts/verify_pressing_3100089_counterexample.py