Agree. I read the article from another source, and came to HN expecting that very criticism. Its so tiresome. They didn&#x27;t even consider that this article by Wolfram took a rare effort to go into lot of Math of Ramanujan. And the core insight of experimental (Ramanujan style) Math vs formal proof oriented (Hardy style) Math and its parallels i.e. the former approach is definitely enabled by Wolfram Mathematica, is very convincing.<p>And to miss all that, and just harp on <i>self promotion</i> by Wolfram is disingenuous or a very stereotypical comment. And its the top HN comment.