这是什么…！🤯🤯🤯 我们终于能感受到奇点的早期风向！ “在管道和其他用途之间，亚里士多德现在已经写下了大多数公共形式化解决方案。（我的意思是问题的数量，如社区数据库中所报告的。如果你解决了一个问题，无论是正式的还是非正式的，请在erdosproblems.com或社区数据库上告诉某人！）此外，与亚里士多德的互动目前是在小时的时间尺度上，虽然还不是“实时”，但与这个故事开始时所需的半年时间相比，已经大大缩短。这个时间主要是等待，因为目前不需要或不可能进行互动（截至今天）。考虑到我之前对过时工作流程的经验，我毫不怀疑，这个过程很快会再次完全改变，并变得更好。”