【明日10時】 数学入門講座、明日（8日）10時開催です。 申込も174名と、土曜日にも関わらず、たくさんの方にご参加頂けそうです。 講座を通じて、AIを「使う」から「理解する」への道筋のお手伝いができれば嬉しいです。 有意義な土曜日のひとときとなるよう努めて参ります。 参加者には登録のメールアドレス宛、ご案内送付済みですので、ご確認ください。 会場参加分は満員につき締切となっておりますが、オンライン参加分は明日9時まで受け付けております。 またいつものように当日の模様は録画⇒アーカイブ配信予定でおります。 8/8(土)10-15時｜9,800円

【明日10時】 数学入門講座、明日（8日）10時開催です。 申込も174名と、土曜日にも関わらず、たくさんの方にご参加頂けそうです。 講座を通じて、AIを「使う」から「理解する」への道筋のお手伝いができれば嬉しいです。 有意義な土曜日のひとときとなるよう努めて参ります。 参加者には登録のメールアドレス宛、ご案内送付済みですので、ご確認ください。 会場参加分は満員につき締切となっておりますが、オンライン参加分は明日9時まで受け付けております。 またいつものように当日の模様は録画⇒アーカイブ配信予定でおります。 8/8(土)10-15時｜9,800円

中１数学特別授業　申込受付開始！ 【7/18(土)～20(月祝) ｜無料】 ・1学期の重要単元を夏休み前に［無料］でおさらい！ ・ #早稲田アカデミー# にお通いでない方には、中１数学『まるわかりドリル』を無料で進呈！ ※校舎により日程・時間が異なります。 詳細

キャストさんはこちら☆☆ 国語 藤代晴仁 役 #小林裕介# (@yusuke032510) 数学 柏谷信 役 #豊島聖人# (@toyoshima1225) 理科 堂満智 役 #堂島颯人# (@Hayato_Dojima) 社会 貴志礼世 役 #岡本信彦# (@ok_nobuhiko) 英語 茶屋町義也 役 #今井文也# (@imai1005) ティザーCM

（下水道局）✨女子中高生向けオフィスツアー✨ ＼キックオフイベントを開催しました／ 都では、STEM※分野における女性活躍を推進する取組として、令和4年度から女子中高生向けのオフィスツアーを実施しています。 今年度はキックオフイベントとして、技術系職員の職場を巡るツアーを開催🧪下水道局「有明水再生センター」にて、女子中高生の皆さまに見学いただきました。 参加者は初めて触れる下水道の現場に興味津々。熱心にメモを取りながら積極的に質問する姿が見られました✏️ 本ツアーが、下水道分野を将来の進路の一つとして考えるきっかけとなれば幸いです🌈 【※】Science（科学）、Technology（技術）、Engineering（工学）、Mathematics（数学）の4分野の総称

高市内閣は、「教育」分野での改革にも力を尽くしています。 先月に閉会した国会で成立した、『公立義務教育諸学校の学級編制及び教職員定数の標準に関する法律の一部を改正する法律』（いわゆる「義務標準法」の改正）についてご紹介します。 教育は人づくりの｢礎｣であり、｢国家百年の計｣そのものです。 特に、「公教育」においては、子供たちを誰一人取り残さず、全ての子供たちの能力を最大限引き出す「個別最適な学び」の実現が重要です。 このため、高市内閣では、｢子供たちの教育環境の整備｣に取り組んでいます。 近年の学校教育においては、｢不登校｣などの課題の深刻化、アレルギーなどの｢健康課題｣の複雑化に加え、｢教師の長時間労働｣も大きな課題となっています。 このため、『義務標準法』の改正により、公立中学校における｢少人数学級の実現」や、｢教職員の人数の増加｣を通じて、子供たちの学習状況や生活面をより丁寧に把握できるようにし、｢学習指導や生徒指導の充実｣、｢教職員の業務負担の軽減｣を図っていきます。 特に、公立中学校の1クラスの｢生徒数の標準｣の引き下げは、約40年ぶりの大改革です。 今年度の中学校1年生から、1クラスの｢生徒数の標準｣を40人から35人へ引き下げ、3年間で｢少人数学級｣を実現します。 また、公立小・中学校の養護教諭（いわゆる保健室の先生）の｢配置基準｣も見直し、大きな学校には保健室の先生が2人居る体制を整備し、｢子供たちの健康課題｣などにきめ細かく対応できるようにしました。 この他、高市内閣では、子供たち一人一人のニーズや特性に合った学習の基盤となる｢1人1台端末｣の整備など『GIGA（ギガ）スクール構想』の推進にも取り組んでいます。 今後も、子供たちに、より良い｢教育環境｣を提供できるよう、しっかりと取り組んでまいります。

AIが10年以上未解決の数学問題を10件解決。 タイトル: Ten advances in mathematics and theoretical computer science URL: ❓ どんな問題を解いたの？ 💡 高次元球充填・非sofic群の存在証明・Connes剛性予想の反証・量子並列反復定理・耐量子暗号への含意を持つ最近接ベクトル問題など、群論・幾何・符号理論・作用素代数・量子複雑性・格子暗号・極値組合せ論にまたがる10件です。いずれも最低10年以上メインの結果に進展がなかった未解決問題を対象としています。 ❓ どのAIが解いたの？ 💡 OpenAIの次世代未公開モデル「Astra」の内部評価版です。Astraが証明の核心を発見し、その後人間が論文整形と形式化を担当しました。計算コストはSol APIレートで約2,000ドル。「定理証明がルーティンのバッチジョブになった」という言葉が、AIと数学の関係の転換点を端的に表しています。 ❓ 本当に正しい証明なの？検証は？ 💡 すべての証明はLean 4（mathlib + Lake）で機械検証された「Lean 4証明書」付きです。GitHubでApache-2.0ライセンスとして公開されており、`lake exe cache get && lake build All` でコンパイル可能。コンパイルが通れば正しい — それだけです。数ヶ月かかる人間の査読を数分の計算に圧縮したことは、AI産数学の新しいスタンダードを確立しています。 ❓ 今後の数学研究はどうなるの？ 💡 「1分野でたまたま1件当たった」ではなく8分野で10件というスケールが本質です。制約はもはや計算コストではなく、プロンプト設計と結果の検証精度に移りつつあります。数学研究の律速段階がAIのサンプリングではなく人間の問題設定と形式化スキルになる、そんな世界が見えてきました。 #AI数学# #OpenAI#