True, however: if some human would improve the lower bound that would still end as some few posts on mathematics magazines, even if it would be no less impressi

True, however: if some human would improve the lower bound that would still end as some few posts on mathematics magazines, even if it would be no less impressive. The general public is not interested in the mathematical details, it is interested in the fact this is unique. And it is no longer unique.