テクノロジーの歴史 1976年、コンピューターが数学の証明に挑んだ日：数学者たちの葛藤と反応
1976年、ケネス・アッペルとヴォルフガング・ハーケンによってコンピューターを用いた四色定理の証明が発表されました。およそ1200時間にわたる計算と100億回もの決定を経たこの画期的な手法に対し、当時の数学者たちは激しい賛否両論の反応を示しました。
数学
テクノロジーの歴史 
AI OpenAIによる大量の数学的成果発表に学術界から批判「権力の誇示に過ぎない」
OpenAIが最先端AIを用いて発表した722件の数学的成果に対し、学術界から「権力の誇示」との強い批判が上がっています。透明性や検証可能性を巡る懸念の背景を整理します。
AIテクノロジー OpenAI、社内AIが数学の難問に挑む成果を公開。GitHubに722本の論文を掲載、外部数学者組織と連携
米OpenAIは、社内のフロンティアモデルが生成した数学の新たな研究成果をGitHubで公開しました。現時点で722本の原稿が収録されており、外部の数学者組織「AGMAI」の助言や提言を参考にしています。
AI・テクノロジー OpenAIがミレニアム懸賞問題「ナビエ・ストークス方程式」をAIで解決と発表、数学界からは反発の声
米OpenAIは、社内の未公開モデルがミレニアム懸賞問題の1つ「ナビエ・ストークス方程式の存在と滑らかさ」を解決する証明を生成したと発表しました。しかし、この発表の経緯をめぐり、数学界からは反発の声が上がっています。
AIテクノロジー Claudeがフェルマーの最終定理を機械検証で証明、11日間で1300万行のLeanコードを生成
AnthropicのAI「Claude」が、フェルマーの最終定理における初のコンピュータによる機械検証済み証明を達成しました。11日間という短期間で約1300万行のLeanコードを自律的に生成した、数学とAIにおける重要な成果を解説します。