A Computational Milestone on Singmaster’s Conjecture — Logged in the OEIS
NthDS co-founder Michael Ramirez extended the published search bound on high-multiplicity entries in Pascal’s triangle to 10^62. Not a proof — a finite certificate, now recorded on OEIS A003015.