Erdős problem #854: computer search verifies a gap of 620 at 197#
kevrussell · x · 2026-11-05
ProjectForty2 reports progress on Erdős problem #854: a computer search checked a gap of 620 between consecutive integers sharing no factor with 197#, with 618 and 622 also witnessed, establishing A389839(45) ≥ 624 and bracketing the answer in [624, 644]. The authors stress this is a computational search result, not a proof.
More from Research
- Open-source humanoid BRIDGE: 88cm, 12.5kg, ~$1.5K platform cost — philfung · 2026-11-05
- Agent evals: start from support-queue failures, but pair each case with a should-not twin — rahulladumor · 2026-11-05
- Ninada open-sources 48 in-browser 24kHz TTS models for Sanskrit and 10 Indic languages, 538ms on phone WASM — init0 · 2026-11-05
- TestBED: Oxford team releases open-source toolkit and large-scale benchmark for Bayesian experimental design — tom_rainforth · 2026-11-05
- NVIDIA's TAMPAgent uses factor graphs to let robots zero-shot mobile manipulation in unseen homes — danfei_xu · 2026-11-05
- Harmonic's Aristotle model synthesizes a circuit from a paper with full Lean proof — satnam6502 · 2026-11-05