Problem page
https://prizeproblems.org/problems/006/
What changed?
The problem was solved
Details
The “1–3–5 conjecture” appears to already have been proved. A paper by Machiavelo and Tsopanidis gives a proof, with the remaining finite verification completed computationally. A later report states that the conjecture was completed via proof plus computation.
https://arxiv.org/abs/2003.02592
https://arxiv.org/abs/2005.13526
Supporting source
https://arxiv.org/abs/2003.02592, https://arxiv.org/abs/2005.13526
Source check
Problem page
https://prizeproblems.org/problems/006/
What changed?
The problem was solved
Details
The “1–3–5 conjecture” appears to already have been proved. A paper by Machiavelo and Tsopanidis gives a proof, with the remaining finite verification completed computationally. A later report states that the conjecture was completed via proof plus computation.
https://arxiv.org/abs/2003.02592
https://arxiv.org/abs/2005.13526
Supporting source
https://arxiv.org/abs/2003.02592, https://arxiv.org/abs/2005.13526
Source check