AIが数学オリンピックの難問証明　ひらめき獲得　数学者「ついに」：朝日新聞デジタル

2024/01/20 211 users 難問証明 朝日新聞デジタル アルファ碁 生成AI 囲碁AI

若き天才らが数学の力を競う国際数学オリンピックの超難問を、生成AI（人工知能）が解けるようになった。深い直感を必要とする数学の分野でもAIの発展が急激に進む。「ついにここまで来たか」と数学者も驚くほどという。 囲碁AI「アルファ碁」などで知られる米グーグル傘下の企業ディープマインドの研究者らが17日、論文... 続きを読む

Google DeepMindが数学オリンピックレベルの幾何学問題を解けるAI「AlphaGeometry」を発表、人間の金メダリストに近い性能を発揮

2024/01/18 15 users www.n 金メダリスト 国際数学オリンピック 発揮 近い性能

Google DeepMindが、国際数学オリンピックレベルの複雑な幾何学問題を解決できるAI「AlphaGeometry」を発表しました。AlphaGeometryは、実際に国際数学オリンピックで出題された幾何学問題30問を制限時間以内に25問解いたとのことです。 Solving olympiad geometry without human demonstrations | Nature https://www.n... 続きを読む

修了者からのメッセージ｜法務専攻（法科大学院）｜法学研究科｜大学院｜金沢大学

2023/06/01 9 users 法科大学院 法曹 大学院 数学 金沢大学

法科大学院に入学するまで 私は高校時代、数学が大好きで数学ばかり勉強していました。数学オリンピックを目指し、１日中数学を勉強していて、理系クラスに所属していました。 大学に進学するに当たり、将来は、数学の研究者になれたらいいなと考えており、弁護士や裁判官といった法曹になるとは全く思っていませんでし... 続きを読む

inuro on Twitter: "ChatGPTが論理的に解を出しているわけではない例としてはこんなのも。数学オリンピックにも出された有名な論理パズルは、原文そのままだと綺麗に正答を返すけど、日本語に

2023/03/20 7 users chatgpt 正答 スラ 原文 論理パズル

ChatGPTが論理的に解を出しているわけではない例としてはこんなのも。数学オリンピックにも出された有名な論理パズルは、原文そのままだと綺麗に正答を返すけど、日本語にして主人公をたかし君に変え、日付もズラすと見事に間違える。 https://t.co/FaOmhZSF06 続きを読む

数学オリンピックで日本代表全員がメダル　開成高の神尾悠陽さんが金、日本勢2年ぶり - ITmedia NEWS

2021/07/26 21 users 柔道 メダル ITmedia News 金メダル 東京五輪

「第62回国際数学オリンピック」で日本代表全員がメダルを獲得、そのうち神尾悠陽さん（開成高）が金メダルを取り、世界一に輝いた。 東京オリンピック（東京五輪）が7月23日に始まり、柔道の阿部兄妹が金メダルを獲得するなど日本国内が盛り上がる中、18日から23日まで行われた「第62回国際数学オリンピック」でも日本... 続きを読む

数学オリンピックで14,15歳向けに出題された論理パズル問題が難問すぎて脳がパンクしそう - Togetterまとめ

2017/05/30 408 users 難問 シェリル Togetterまとめ 誕生日 思考力

【シェリルの誕生日】 シンガポール＆アジア数学オリンピックで14,15才向けに出題された問題 論理的思考力が問われる難問として有名 pic.twitter.com/2eiGu3oZq6 続きを読む

高校数学の美しい物語 | 定期試験対策から数学オリンピックまで

2014/06/29 427 users 高校数学 美しい物語 定期試験対策 定理 例題

主に教科書に載っていない高校数学の公式・小技集です。裏技，検算テクニック，エレガントな定理などを，豊富な応用例・図によるイメージ・エレガントな証明とともに紹介。数学の定番公式，裏技，検算テクニック，エレガントな定理など，基本的に高校範囲で理解できる数学に関することを豊富な応用例と図によるイメージとともにそこはかとなく書きつくります。 New ・重要な証明方法，例題，ポイントを凝縮した高校数学裏技ハ... 続きを読む