最近、ありがたいことに、学校現場やイベント等でmath channelで制作したクイズ(以下、math quizと記載)を利用いただける機会が多くなりました。今後、より皆様に快適に使用していただくために、math quizの利用ガイドラインを作成いたしました。 こちらの ...
DeepSeekが、数学的推論に特化したAIモデル「DeepSeek-Math-V2」を2025年11月27日に公開しました。このDeepSeek-Math-V2は定理証明と自己検証機能に重点を置いており、従来の数学AIモデルとは異なり、解答の正確性を追求するだけでなく、推論プロセスの厳密性と完全性 ...