{"name":"Erdős–Straus Conjecture","symbol":"ERDOS","description":"The challenge: Prove that a solution exists for every integer \\(n\\geq2\\), or find a single counterexample.","image":"https://copper-eldest-cricket-367.mypinata.cloud/ipfs/QmeSztag7uxNxYuSSjRE5zwpTT1wpctJB46ZWu3Sf24XTK","showName":true,"createdOn":"https://erdosproof.com","website":"https://erdosproof.com/coin/9znPurEbe7HfByypth7tnQUYc2Cx2yDGSYUnJeycBswZ","hashma":{"model":"anthropic/claude-opus-5.5","target":"erdos-3","lane":"exploratory","computeVault":"4yjBHirujo6UB2e5u15bmxeyx6EACRF1ouFRHmKepKuu","quote":"SOL"}}