大規模言語モデルと数学者

大規模言語モデルは数学者の仕事を支援する強力なツールとなる可能性がある。しかし、現在のモデルにはまだ限界があり、数学的推論の自動化には至っていない。数学者とAIの協調が重要である。