私たちは数学の歴史の分水嶺に立っていると私は固く信じています。今後数年間で、数学研究にLLMを使用することが主流になり、LLMによって容易になるリーンの形式化も主流になるでしょう。