みんなで作るアンテナサイト

共有型ニュースまとめ

みんなで作る
アンテナサイト

ブログやニュースサイトを登録して、みんなで共有。
フィードを自由に追加して投票で役立つアンテナに。

WebサイトまたはRSSフィードのURL

「数学者」の新着記事一覧

「数学者」に関するニュース・ブログ記事6件を新着順に紹介します。記事の概要や掲載元を確認し、コメントページで感想を共有できます。

6件 タグ一覧へ すべての記事へ

GIGAZINE

AIが数学の難問を解く現状について数学者が「建設的に関わっていく方法が見いだせない」と語る

存命する数学者の中で世界最高峰のひとりと評されるテレンス・タオ氏は、現在、ほとんど数学に取り組めていないそうです。カリフォルニア大学ロサンゼルス校で開かれた数学のワークショップに出席したタオ氏は、AIが数学界にもたらした存続の危機について「今は臨戦態勢です」と語りました。続きを読む...

記事を読む ↗ コメント(7) →
GIGAZINE

1976年に「コンピューターを使った数学定理の証明」が発表された際に数学者らはどう反応したのか?

2026年10月にOpenAIが社内AIを用いて得られた700点以上の「数学的成果」を発表した件は、数学者らの間で物議を醸しています。数学問題の証明にコンピューターが使われた事例は今回が初ではないとして、テクノロジー系ライターのルイス・ランスロー氏が、1976年に初めて「コンピューターによる数学定理の証明」が発表された際の数学者の反応についてまとめています。

記事を読む ↗ コメント(8) →
GIGAZINE

AIが数学の未解決問題を解決しまくる現代に数学者テレンス・タオ氏が提言する「Math 2.0」とは?

AIが数学の未解決問題を次々と解決できるようになる中、著名な数学者のテレンス・タオ氏がAI時代における数学研究の新たな方向性として、「Math 2.0」と題した公開講演をカリフォルニア工科大学でに行い、その資料を翌10日に自身のブログで公開しました。タオ氏は従来の数学研究を「Math 1.0」と位置付け、AIによって数学の証明が大量に生み出される時代に向けて

記事を読む ↗ コメント(9) →