数学が工業化される時代:372件の未解決問題に対してOpenAIが証明を公開

OpenAIは2026年10月6日、未公開のAIモデルが未解決の数学研究課題に取り組んで得た372件の数学成果を公開しました。関連する証明や派生結果をまとめたマニュスクリプトの一覧で、一部には証明支援系Leanで形式化した証明も添えられています。[1][2]

今回の発表には、数学者が十分に調べ切れていなかった命題に対して、高性能なAIを使えば網羅的に証明を試みられるという意義が示されたと言えます。証明の方針策定から、検証、結果の整理までを半自動化できれば、これまで一研究者が研究に割ける時間に制約があるために取り残されていた問いが片付けられるようになります。

OpenAIが公表した命題の証明のすべてが数学の方向性を変えるような重要な成果だとは言えないものの、こうした研究の進め方はもはや「数学の工業化」であり、パラダイムの変化に巻き込まれつつある数学コミュニティからは驚愕(もしくは怨嗟)の声が上がっています。最先端のAIモデルを擁する企業から一度に372件という規模の成果が発表されるという事態に際し、その価値と意味について考えてみます。 “数学が工業化される時代:372件の未解決問題に対してOpenAIが証明を公開” の続きを読む

個人情報漏洩が相次ぐ時代に、ローカルLLMをどう位置付けるか

個人情報漏洩のニュースに接するたびに、利用者がパスワードを変えて対応する。この繰り返しに、限界を感じる人も多いでしょう。利用者が注意していても、情報を預けた事業者や、その委託先で漏洩が起これば防ぎ切れません。

2026年10月7日、個人情報保護委員会は、大量の個人情報を扱う事業者への不正アクセスを踏まえ、注意喚起を公表しました。そこで問われているのは、防御の強さだけでなく、何を、どこに、どれだけの期間残しているかという情報管理の設計です。[1]

この問題は、日々の相談や仕事の資料を扱う生成AIともつながっています。ローカルLLMには、情報を外部へ渡す機会を減らせる利点があります。その選択肢を支えるオープンウェイトモデルは、今後どのような位置を占めるのでしょうか。 “個人情報漏洩が相次ぐ時代に、ローカルLLMをどう位置付けるか” の続きを読む

Claudeを求める中国AI勢―Anthropicの不正蒸留報告を読む

こんにちは。管理人のpencilです。

Anthropicが2026年9月10日に公開したThreat Intelligence Reportには、中国のAI開発企業による「不正な蒸留」に関する報告が掲載されています。今回は、そこで指摘された行為と、背景にある競争について整理してみたいと思います。

Countering misuse of AI: September 2026 / AnthropicCase studies from threat actors disrupted between December 2025 and August 2026 across seven areas of harm, from cyber operations to biological misuse.www.anthropic.com “Claudeを求める中国AI勢―Anthropicの不正蒸留報告を読む” の続きを読む

DeepSeekはAI界のプロメテウスか?

2025年1月20日、中国のAI開発スタートアップDeepSeek社が、新たな推論モデル 「DeepSeek-R1」 を発表した。このモデルは、現時点での最高性能を誇るOpenAI社のChatGPT-o1モデルに匹敵、あるいは凌駕するとも言われる高い性能を示し、全世界で爆発的に普及した。

性能もさることながら、真に驚くべきはその開発コストの低さである。DeepSeek-R1の開発費用は、ChatGPT-o1のわずか1/10以下とされ、これまでAI開発に不可欠とされてきた巨額の投資が必ずしも必要でないことを示唆している。特に注目されるのは、米国による中国向けGPUの輸出規制のためにDeepSeekが NVIDIAの型落ちGPU「H800」 を使用してモデルの構築に成功した(と言われている)点である。これは、莫大なコストをかけて最先端のGPU、H100やB200を大量投入する米国のAI開発とは対照的である。一部では「GPUの輸出規制」というハンデが却って中国企業の技術向上を促進してしまった、という意見も見られる。

DeepSeek-R1は単にハードウェアの最適化によってコストを削減しただけではなく、モデルの学習方法やアーキテクチャのブレイクスルーにより、技術的にも革新的な手法が取り入れられている。このため、コスト面の優位性に加え、学術的な関心をも引きつけているという側面がある。

これらの優位性によってDeepSeek社は価格破壊レベルの安さでAPIを提供しており、米国のAI事業者の競争力低下が危惧される事態になった。実際、このニュースを受けてNVIDIAの株価は17%程度下落し、約90兆円(トヨタ自動車の時価総額のおよそ2倍)が失われたことが話題になった。またAIの学習に大量のGPUが必要でない可能性が開けたことで、電力消費の増大を見込んでいた電力インフラ関連株も大きく売られた。

しかし現在、DeepSeekがOpenAIの規約に違反して「ChatGPTの出力結果を教師データとしてDeepSeek-R1モデルの訓練に利用している」との報道があり、OpenAIとMicrosoftが調査に乗り出す意向を示している。不正なデータ利用の可能性を受け、米海軍ではセキュリティと倫理的な懸念から業務でのDeepSeekの使用禁止を通達。イタリアではDeepSeekのダウンロードが禁止されるなど、データの安全性が疑問視されるDeepSeekの利用制限に踏み切る動きも出てきている。

今、生成AI開発の舞台で何が起こっているのか、少し整理してみたい。


※お断り:本稿の内容の大半は2025年1月末頃に執筆されたものです。最新の情報を参照するように努めていますが、4月現在では状況が少し変わっている可能性があります。記事の内容そのものは一般論的なものになっていますが、上記の点についてお含みおきください。 “DeepSeekはAI界のプロメテウスか?” の続きを読む

ChatGPTに大学入試問題を解いてもらった(数学編)

昨年、ChatGPTを英語学習に利用する事例についての記事を書きました。

ChatGPTを英語学習に利用する

今回、これと同様に数学についても教師の代わりが務まる可能性を探ってみました。ChatGPTに大学入試の数学の問題を解いてもらい、その出力内容について考察します。 “ChatGPTに大学入試問題を解いてもらった(数学編)” の続きを読む