Long runs of integers with small prime factors and the divisor function of n!

AI use, as the source states it

“This improvement was formulated and proved during a private interaction with Claude Fable 5.1, a publicly available generative-AI system; the argument is verified and presented here by the author.”

Model: Claude Fable 5.1, as stated