2023年の時点においては、定理の自動証明や新しい行列計算アルゴリズムの考案などにおいて、AIが数学的発見に貢献した例がいくつか存在しているものの、AIが根本的に新しい分野を切り開いたケースは知られていません。大規模言語モデルが数学や論理をどのように理解しているかについても議論が続いています。GPT4は高校数学程度の問題をかなりうまく解くことができますが、一方で単純な計算を間違えたり、誤った証明を与えることもあります。以上のことから、人間におけるものと同様な「数学センス」をAIが持っているとは断言できないのが現状です。
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence