来自 Carina Hong（@CarinaLHong）的推文线程

让我们回顾一下上周 Harmonic PR 的报道： 1. 声称亚里士多德解决了埃尔德什的大部分问题，而实际上该软件只是辅助将现有的人类解决方案的问题形式化。 2. 声称他们先获得了普特南的资料，但事实并非如此 3. 有人声称IMO比Putnam更难，因为证明过程更长。我不知道社交媒体经理是否懂技术，所以就不计较了。