AI生成数学の危機

arxiv.orgに「AI生成数学の危機」という論文が投稿され、現時点でのAI生成数学の信頼性に関する懸念が指摘されている。LLM生成の証明や計算に依存しているプロジェクトは注視すべき点だ。