Hacker News with Generative AI: Factorials

Decomposing factorial of 300K as the product of 300K factors larger than 100K (blogspot.com)
A few days ago, Terence Tao proposed a challenge to decompose the 300K! as the product of 300K factors larger than 100K.
Decomposing a Factorial into Large Factors (wordpress.com)