論文の概要: Gen AI in Proof-based Math Courses: A Pilot Study
- arxiv url: http://arxiv.org/abs/2509.13570v1
- Date: Tue, 16 Sep 2025 22:18:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-18 18:41:50.663921
- Title: Gen AI in Proof-based Math Courses: A Pilot Study
- Title（参考訳）: 確率型数学コースにおけるGen AI:パイロットスタディ
- Authors: Hannah Klawa, Shraddha Rajpal, Cigole Thomas,
- Abstract要約: 本研究では,3つの証明に基づく数学科目における生成AIの学生利用と知覚について検討した。
我々は,学生がAIツールに関わった方法,生成的AIの有用性と限界に対する認識,そしてこれらの知覚が証明に基づく数学を教える上でどのような意味を持つかを分析する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With the rapid rise of generative AI in higher education and the unreliability of current AI detection tools, developing policies that encourage student learning and critical thinking has become increasingly important. This study examines student use and perceptions of generative AI across three proof-based undergraduate mathematics courses: a first-semester abstract algebra course, a topology course and a second-semester abstract algebra course. In each case, course policy permitted some use of generative AI. Drawing on survey responses and student interviews, we analyze how students engaged with AI tools, their perceptions of generative AI's usefulness and limitations, and what implications these perceptions hold for teaching proof-based mathematics. We conclude by discussing future considerations for integrating generative AI into proof-based mathematics instruction.
- Abstract（参考訳）: 高等教育における生成AIの急速な増加と、現在のAI検出ツールの信頼性の欠如により、学生の学習と批判的思考を促進する政策の開発がますます重要になっている。
本研究では,3つの証明に基づく数学科目,第一科目抽象代数学科目,第一科目抽象代数学科目,第二科目抽象代数学科目,第三科目抽象代数学科目における生成AIの学生利用と知覚について検討した。
いずれの場合も、コースポリシーは生成AIの利用を許した。
調査回答と学生インタビューに基づいて、学生がどのようにAIツールに携わるか、生成的AIの有用性と限界に対する認識、そしてこれらの知覚が証明に基づく数学を教えるために持つ意味について分析する。
我々は、生成AIを証明に基づく数学教育に組み込むための今後の考察を議論することで結論付ける。
関連論文リスト
- The Mathematician's Assistant: Integrating AI into Research Practice [0.0]
本稿では,数理研究の文脈における公開アクセス型大規模言語モデル (LLM) の現況について考察する。
本稿では,AIを研究ワークフローに統合するためのフレームワークを提案する。
AIの主な役割は、自動化ではなく、現在拡張にあると結論付けています。
論文 参考訳（メタデータ） (2025-08-27T19:33:48Z) - Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI [14.825293189738849]
本稿では,人工知能(AI)の数学的研究への応用について概観する。
近年のAIの発展、特に強化学習(RL)と大規模言語モデル(LLM)は、AIが数学に貢献する可能性を実証している。
この調査は、AIと数学の橋渡し、相互利益に関する洞察を提供し、より深い学際的理解を促進することを目的としている。
論文 参考訳（メタデータ） (2024-12-21T08:58:36Z) - Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
我々は公式な数学的推論を提唱し、AI4Mathを次のレベルに進めるには不可欠であると主張している。
既存の進捗を要約し、オープンな課題について議論し、将来の成功を測るための重要なマイルストーンを想定します。
論文 参考訳（メタデータ） (2024-12-20T17:19:24Z) - Qualitative and quantitative analysis of student's perceptions in the use of generative AI in educational environments [0.0]
教育における生成人工知能の効果的な統合は、将来の世代を準備するための基本的な側面である。
本研究の目的は,教室内における制御された学生とIAの相互作用の知覚を定量的かつ質的な視点から分析することである。
論文 参考訳（メタデータ） (2024-05-22T09:56:05Z) - AI for Mathematics: A Cognitive Science Perspective [86.02346372284292]
数学は人間によって開発された最も強力な概念体系の1つである。
AIの急速な進歩、特に大規模言語モデル(LLM)の進歩による推進により、そのようなシステム構築に対する新たな、広範な関心が生まれている。
論文 参考訳（メタデータ） (2023-10-19T02:00:31Z) - Exploration with Principles for Diverse AI Supervision [88.61687950039662]
次世代の予測を用いた大規模トランスフォーマーのトレーニングは、AIの画期的な進歩を生み出した。
この生成AIアプローチは印象的な結果をもたらしたが、人間の監督に大きく依存している。
この人間の監視への強い依存は、AIイノベーションの進歩に重大なハードルをもたらす。
本稿では,高品質なトレーニングデータを自律的に生成することを目的とした,探索型AI(EAI)という新しいパラダイムを提案する。
論文 参考訳（メタデータ） (2023-10-13T07:03:39Z) - A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。
大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文 参考訳（メタデータ） (2022-12-20T18:46:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。