概要OpenAIのAIモデルが、離散幾何学において80年間数学者を悩ませてきた「Erdősの単位距離予想」を否定しました。このモデルは、全く新しい数学的手法を創出したわけではありませんが、代数数論などの既存の知識を応用し、これまで人間が手間のかかる試行錯誤を敬遠して手を出さなかった解法を成功させました。この成果は、数学研究におけるAIと人間の協力関係が進化していることを示しており、AIが膨大な知識の中から関連する手法を見つけ出し、地道な検証作業を行う一方で、人間がその検証や理論の発展、新たな問いの策定において重要な役割を果たす未来を予感させています。
(出典：Ars Technica)
最初のGPU融資者が4億ドルの取引で推論チップに転換する理由
Linus Torvalds氏は、Linuxは反AIプロジェクトではないと述べ、「気に入らないならフォークするか、立ち去れ」と語った
Anthropic IPO Could Launch in October as China’s Kimi K3 Overtakes Claude
エージェントのセキュリティギャップ：企業の54%がAIエージェントのインシデントを経験済みであり、依然として多くの企業がエージェントの認証情報共有を許容している
Google Vidsで、自分を主人公にしたAI動画の作成が可能に
RobloxがモバイルアプリにAIを活用したゲーム作成機能を導入
ニューヨーク州知事、AIを使って州内の「すべてのルール」を分析していると語る
AIコンテキストのギャップ：企業AI組織が抱えるのは検索の問題ではなく信頼の問題であり、その解決策はまだ構築中である
エージェント評価のギャップ：企業AI組織が抱えるのは現実との整合性の問題であり、網羅性の問題ではない。そして、そのほとんどがすでに本番環境へデプロイしている
GoogleのAIモードが特定のアプリと連携・操作可能に