数万台のマシンで3週間かけた数学問題を、1台のMacが2時間30分で解く——そんなAIツール「Axplorer」が無料公開された。開発したアクシオム・マスは、強力な数学AIをスパコンなしで誰もが使えるようにすることを目指す。

STUDY ...

私立のオンライン大学「ZEN大」（本部・神奈川県逗子市）は31日、数学の難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Lean（リーン）」を使って検証するプロジェクトを開始したと発表 ...

それによると、高校生に「嫌いな科目」を1科目だけ選んでもらったところ、「数学I～III」と「英語コミュニケーション」が同率（18.3％）で1位だった。高校生にとって、数学と英語は学習のつまずきを感じやすい「2大ハードル」になっているようだ。次いで多か ...

数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛 ...

数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛 ...

ZEN大学やオランダのユトレヒト大学などは31日、コンピューターを使って数学の難問の検証を目指す国際共同研究を始めたと発表した。数学の定理を証明する際に用いるプログラミング言語を使い、京都大学数理解析研究所の望月新一教授が証明したとされる「ABC予想 ...

私立のオンライン大学「ＺＥＮ大」（本部・神奈川県逗子市）は３１日、数学の難問「ＡＢＣ予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Ｌｅａｎ（リーン）」を使って検証するプロジェクトを開始したと発表した。オランダやカナダの大学と共同で取り組む。今年７月に中間報告を行う。

私立のオンライン大学「ＺＥＮ大」（本部・神奈川県逗子市）は３１日、数学の難問「ＡＢＣ予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Ｌｅａｎ（リーン）」を使って検証するプロジェクトを開… ...

～ 織物構造を数学理論で設計する、新たなテキスタイル技術の創出を目指す ～ 株式会社ZOZO NEXT（本社：千葉県千葉市　代表取締役CEO：澤田 宏太郎　以下、ZOZO NEXT）は、慶應義塾大学SFC研究所（所在地：神奈川県藤沢市 所長：仰木 ...

漫画「数学ゴールデン」の作者・藏丸竜彦さん（39）＝霧島市隼人出身、神奈川県在住＝が日置市の伊集院中学校で講演した。キャリア教育の一環で、1、2年生ら350人を前に、日常生活の数学的な思考につながる事象を分かりやすく伝えた。

Amazonにて、『数学ガール』シリーズおよび『数学ガールの秘密ノート』シリーズのKindle版が最大50％オフとなるセールが開催中だ。 『数学ガール』シリーズでは、最新刊『数学ガール／リーマン予想』を除く計6冊が50％オフに、『数学ガールの秘密ノート』では、16冊中11冊が44％～50％オフとなっている。 『数学ガール』シリーズ全7巻では、通常1万4608円（税込）のところ8393円（税込）で購 ...