25/12/22 13:59:23.95 9F0h1duP.net
ホイヨ
URLﾘﾝｸ(www.asahi.com)
朝日新聞
石倉徹也
コンテンツ編成本部次長
URLﾘﾝｸ(www.asahi.com)
AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場
■《前編》AIは数学者になれるか AIが数学の定理を理解し、証明し、自分で正しさをチェックする―。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューター...
12月14日
URLﾘﾝｸ(www.asahi.com)
AIがひらめき、証明し、検証する時代 数学者の役割はどう変わるか
■《後編》AIは数学者になれるか 「AIもついにここまで来たか」と数学者も驚くほどだった。 米グーグル・ディープマインドが開発したAI「アルファ幾何学」は2024年、国際数学オリンピックの幾何...
12月14日
URLﾘﾝｸ(www.asahi.com)
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
数学の超難問「ABC予想」をめぐる論争に、決着がつくかもしれない。コンピューターの力を借りて、証明の正否を検証する動きが出てきた。京都大の望月新一教授（56）も、この試みに肯定的だ。証明が正しいかど...
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
12月6日