AIに数学採点させる！さくらのAI Engineで自動採点できる数学演習アプリを作った

概要

さくらのAI Engineを活用し、大学数学の証明・記述問題を自動採点できる個人向け演習アプリを開発した事例。

詳細内容

数学科の学生が、大学数学の演習量不足を解消するために開発したAtCoder形式の学習アプリの紹介記事です。技術スタックはGitHub Pages、Supabase、そして「さくらのAI Engine（gpt-oss-120b）」で構成されています。特に注力されているのは証明問題の自動採点で、LLM（gpt-oss-120b）を使用。TeXの細かな表記ミスを許容しつつ、論理的な正当性や数学的同値性を評価するための詳細なプロンプト設計が公開されています。また、誘導形式で特定の大問を解き進める「テーマ演習」など、学習者目線の機能も実装されています。

元記事を読む他のサマリーを見る