刚才仔细一看伊profile说的这个话我觉得很好: We should aim to be a logician with the capital L: sensitive as a linguist, think like a philosopher, prove like a mathematician, and make the results work like a computer scientist. At least go beyond what ChatGPT and its logic-enhanced future iterations can do 🙂
事到如今才发现我准备抄别人的做出来一个模型这件事它行不通的原因是那我好像要重新证明了啊!加这么个东西到底能不能行啊!