top of page

Generatived(Beta)|生成AIの最新ニュースとトレンドを提供

logo.png

スティーブンスとネビウスアカデミーがAI数学ラボを立ち上げ

Generatived

25/3/13 13:30

スティーブンス工科大学は、数学教育における AI の応用に特化した新しい研究室を設立するため、ネビウス アカデミーと提携しました。ニュージャージー州ホーボーケンに拠点を置く数学教育における AI 研究室は、AI、特に大規模言語モデルが数学的推論と教授法をどのように強化できるかに焦点を当てます。この取り組みは、学生の成果を向上させ、複雑な数学の問題に取り組む上での AI の役割を探求することを目指しています。

ネビウス アカデミーの責任者であるエレナ ブニナ氏は、仮説の生成、定理の証明、証明の検証を支援することで、数学の研究プロセスを変革する AI の可能性に自信を示しました。この AI の統合により、日常的なタスクが合理化され、研究者は意味のある探究をさらに深く掘り下げることができると期待されています。一方、スティーブンスでは、グラフや群論などの分野での仮説の開発と結果の検証を迅速化することを目指して、数学研究者に AI 技術を習得させるための専門コースを開始しました。

スティーブンス大学のAI数学教育研究所所長で特別教授のアレクセイ・ミアスニコフ氏は、同研究所がインテリジェントな個別指導システムの開発に注力し、数学者がAIを仕事に取り入れられるよう準備していることを強調した。このコラボレーションは、イノベーションを促進し、AI駆動型ツールを教室に導入して数学教育を改革することを目指している。スティーブンス大学のナリマン・ファーバルディン学長は、数学の学習と発見に革命を起こすために、技術の専門知識とAIの進歩を組み合わせることの重要性を強調した。

同研究所は、高度な数学教育を専門とするニュージャージー州を拠点とする教育技術会社、グラダリウスの微積分教育プラットフォームを導入している。グラダリウスのCEO、ウラッド・ステパノフ氏は、現代技術と数学教育を融合させる継続的な取り組みと、ネビウスの機械学習の専門知識に支えられた同研究所が、さまざまな教育現場で効果的な指導を行うためのAIアプリケーションを改良する可能性について語った。この研究室の取り組みには、数学における AI に関するワークショップや、AI の数学的能力を評価するために Toloka および Gradarius と共同で開発された U-MATH ベンチマークのリリースも含まれています。

この記事を共有:

最新のニュース
Kikuvi、Subako.AIを発表

Kikuvi、Subako.AIを発表

26/9/2 7:00

Kikuvi(鎌倉市)は、自社プロダクト内にAIエージェントを組み込むためのクラウド実行基盤「Subako.AI」を発表し、ティザーサイトを公開した。

楽天証券、生成AIチャットサポートを開始

楽天証券、生成AIチャットサポートを開始

26/9/2 7:00

楽天証券(港区)は、2026年9月2日より、原則24時間自動応答する「AIチャット」の機能を大幅に強化し、生成AIを活用したエージェント型チャットサービス「楽天証券のAIチャットサポート」の提供を開始する。

ディライト、電話対応AIを正式リリース

ディライト、電話対応AIを正式リリース

26/9/2 7:00

ディライト(新宿区)は、人間のような自然な音声で対話するクラウドサービス「電話対応AI」を2026年8月27日に正式リリースした。

Gunosy、BtoB事業へ本格参入

Gunosy、BtoB事業へ本格参入

26/9/2 7:00

Gunosy(港区)は、自社で培った生成AIやデジタルトランスフォーメーション(DX)の知見を企業向けに提供するBtoB事業へ本格参入すると発表した。

Copyright © 2024 Generatived - All right Reserved.

この記事を共有:

この記事を共有:

Generatived AI Logo

Generatived は、Generative AIに特化した情報やトレンドをお届けするサービスです。大きく変わりゆく世界の情報を全力でお届けします。

  • Facebook
  • X

フォローをお願いします

言語

最新のニュース
Kikuvi、Subako.AIを発表

Kikuvi、Subako.AIを発表

26/9/2 7:00

Kikuvi(鎌倉市)は、自社プロダクト内にAIエージェントを組み込むためのクラウド実行基盤「Subako.AI」を発表し、ティザーサイトを公開した。

楽天証券、生成AIチャットサポートを開始

楽天証券、生成AIチャットサポートを開始

26/9/2 7:00

楽天証券(港区)は、2026年9月2日より、原則24時間自動応答する「AIチャット」の機能を大幅に強化し、生成AIを活用したエージェント型チャットサービス「楽天証券のAIチャットサポート」の提供を開始する。

ディライト、電話対応AIを正式リリース

ディライト、電話対応AIを正式リリース

26/9/2 7:00

ディライト(新宿区)は、人間のような自然な音声で対話するクラウドサービス「電話対応AI」を2026年8月27日に正式リリースした。

Gunosy、BtoB事業へ本格参入

Gunosy、BtoB事業へ本格参入

26/9/2 7:00

Gunosy(港区)は、自社で培った生成AIやデジタルトランスフォーメーション(DX)の知見を企業向けに提供するBtoB事業へ本格参入すると発表した。

bottom of page