関連ニュース
【PHPはオワコン】AIが書いたコードをなぜ信用できるのか？数学的証明で守る新しいサーバーサイド言語「QED Script」を作った
いつまで人類はPHPを使い続けるのか いきなり身内に喧嘩を売るようで恐縮だが、このWirelessWire NewsはWordPressで動いている。 WordPressといえばPHPである。 ...
Googleが論文や技術文書の誤りをAIで検証する「Deep Review」を一般公開、週2回まで無料で利用可能
Google Researchは2026年10月14日、AIを使って論文や技術文書の内容を詳細に検証する「Deep Review」を一般公開しました。Deep Reviewは、文書に含まれる論理...
1976年に「コンピューターを使った数学定理の証明」が発表された際に数学者らはどう反応したのか？
2026年10月にOpenAIが社内AIを用いて得られた700点以上の「数学的成果」を発表した件は、数学者らの間で物議を醸しています。数学問題の証明にコンピューターが使われた事例は今回が初ではな...
OpenAIがAIで大量の数学的成果を発表したのは「学術的成果ではなく権力の誇示に過ぎない」との指摘
2026年10月、OpenAIが社内の最先端AIモデルを使って生成した722件に及ぶ「数学的成果」を発表しました。これに対し、世界各国の数学者らにより構成されているThe Association...
OpenAIが社内AIモデルで722本の未解決問題に関する数学的成果を発表、新たな数学的ブレークスルーへ
OpenAIは2026年10月6日、社内の最先端モデルによって得られた「幅広い新しい数学的成果」を発表しました。GitHubのリポジトリには372の系統に分類された722点の論文が含まれているほ...
主張：「超知能」近づく？ AI企業の誇大宣伝にだまされるな
この数カ月、AI企業は脆弱性発見の能力や数学上のブレークスルーを次々と誇示し、メディアもそれを大きく報じてきた。だが専門家が検証すると、ハッキング事件の本質はセキュリティ対策の不備であり、数学的...
OpenAI、数学者の独立諮問グループと連携 内部モデルは「100件超の未解決問題を解決」
米OpenAIは9月21日（現地時間）、数学者らが設立した独立組織「Advisory Group on Mathematics and Artificial Intelligence」（AGMA...
AIベンチマークに数学を使うのは有害だとして数学者たちが反発
大規模言語モデル(LLM)の数学的能力は目覚ましい進歩を遂げており、数々の難問を解けるレベルにまで到達しました。しかしその一方で、AI企業が数学的問題解決をベンチマークとして推進する動きについて...
圧縮とLLMに共通する本質は「データの予測」
「データの圧縮」と「大規模言語モデル(LLM)」は一見すると全く異なる分野ですが、根幹では「データの予測」という同じ課題を解決しようとしています。いずれも「データの冗長性を削減」「より効率的な表...
暗号デバイスの物理セキュリティの数学的証明に成功―安全な暗号デバイスの設計方法を確立―
概要 大学院情報学研究科 上野嶺 准教授、東北大学 本間尚文 教授、同 伊東燦 助教、日本電気株式会社 峯松一彦 主席研究員、同 井上明子 主任からなる研究グループは、暗号デバイスから生じる物理...
AIに「そのまま続けろ！」「自分を信じろ！」と応援し続けることが人間の役目、Anthropicが未公開のClaudeによるリーマン予想解決の試みを公開
AI開発企業のAnthropicが、未公開の研究版Claudeに数学上の超難問「リーマン予想」の解決を試みさせたところ、リーマン予想そのものの証明には失敗したものの、関連する問題で従来の記録を大...
Anthropic、AIの“内なる思考”が宿る「J-space」を発見──新手法「J-lens」で可視化、安全性監視に応用
米Anthropicは7月6日（現地時間）、LLMの内部に、人間の意識研究でいう「グローバルワークスペース」に似た構造が自然発生していることを発見したと発表した。この構造を「J-space」と名...
出典メディア
つながり
数字は「数学的」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。