ホイヨ

https://www.asahi.com/reporter-bio/98ccaec47b4239f9882e38d48cc6ecf263d9b721c6ac7cb372df02e5c543423c
朝日新聞
石倉徹也
コンテンツ編成本部次長

https://www.asahi.com/articles/ASTD333PNTD3DIFI004M.html?iref=reporter-bio_timeline
AIは数学者になれるか　数学界に衝撃、証明検証ソフトLean登場
■《前編》AIは数学者になれるか 　AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューター...
12月14日

https://www.asahi.com/articles/ASTD3342PTD3DIFI008M.html?iref=reporter-bio_timeline
AIがひらめき、証明し、検証する時代　数学者の役割はどう変わるか
■《後編》AIは数学者になれるか 　「AIもついにここまで来たか」と数学者も驚くほどだった。 　米グーグル・ディープマインドが開発したAI「アルファ幾何学」は2024年、国際数学オリンピックの幾何...
12月14日

https://www.asahi.com/articles/ASTCY1BZVTCYDIFI00XM.html?iref=reporter-bio_timeline
ABC予想証明の正否、コンピューターで決着か　望月氏が打開策示す
　数学の超難問「ABC予想」をめぐる論争に、決着がつくかもしれない。コンピューターの力を借りて、証明の正否を検証する動きが出てきた。京都大の望月新一教授（56）も、この試みに肯定的だ。証明が正しいかど...
ABC予想証明の正否、コンピューターで決着か　望月氏が打開策示す
12月6日