要約
これらの非公式メモは、2023 年 6 月に米国科学・工学・数学アカデミーのワークショップで行われた「数学的推論を支援する AI」に関する著者の講演に基づいています。目標は、次のような AI に到達するための道筋を考えることです。
研究数学者にとって役立ちます。
要約(オリジナル)
These informal notes are based on the author’s lecture at the National Academies of Science, Engineering, and Mathematics workshop on ‘AI to Assist Mathematical Reasoning’ in June 2023. The goal is to think through a path by which we might arrive at AI that is useful for the research mathematician.
arxiv情報
| 著者 | Alex Kontorovich |
| 発行日 | 2023-10-04 15:35:01+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google