24H AIとテクノロジーの動向：
OpenAI内部モデルが数学の難問を突破：OpenAIはその内部AIモデル（噂では'goblin'と呼ばれている）が、ポール・エルデシュが1946年に提唱した平面単位距離問題など、長年未解決の数学的仮説を解決したと発表し、AIが形式的証明と数学研究において重要な進展を遂げたことを示しています。
新しい論文とオープンソースプロジェクトが登場（arXiv 5月21-22日提出）：MOSS：自主エージェントシステムはソースコードレベルの書き換えを通じて自己進化を実現し、GitHubコードが附属しています。
Gated DeltaNet-2：線形注意におけるエラージェクトと書き込み操作のデカップリング、NVlabsのオープンソース実装。
AI駆動の形式的証明探索による数学研究の推進：Google DeepMindなどの複数機関が協力し、AIを利用して数学の形式的証明探索を進めています。
その他のハイライトには、DeepWeb-Bench（深層研究ベンチマーク）、SOLAR（生涯学習自主エージェント）、WorkstreamBench（金融電子スプレッドシートLLMエージェント評価）などが含まれ、エージェント、推論、多モーダルに焦点を当てています。
オープンソースAIがロボット開発を支援：NVIDIAやHugging Faceなどが、Cosmos世界モデル、GR00Tモデル、LeRobotなどのオープンソースロボットプラットフォームを推進し、具身知能ロボットの構築のハードルを下げ、物理AIと推論タスクをサポートします。
製品更新と企業動向：
Zoom Q1財報：収益成長、AI Companionの有料ユーザーが184%急増、年間ガイダンスを上方修正。
Workday Q1：AI戦略が収益を予想を上回る。
Adobe、Canva、CapCutがGeminiを統合し、アプリ内での画像/動画編集を実現。
ElevenLabsがAI音声アプリを発表し、20万冊のオーディオブックにライセンスを供与。
トランプがAI行政命令の署名を延期、過度な規制に反対しているとされ、ザッカーバーグ、マスク、サックスと連絡を取っていた。
その他：
Spotifyがユニバーサルミュージックと提携し、ファンによるAI生成のカバー/リミックスをサポート；オープンソースAIファイアウォール、SDRツールなどのコミュニティプロジェクトが活発；AmpliTechがオープンソースAI-RAN技術のデモを展示。
#AI动态 #科技新闻
医士吕奥をフォローしてください——バイナンス広場の万粉クリエイター
OpenAI内部モデルが数学の難問を突破：OpenAIはその内部AIモデル（噂では'goblin'と呼ばれている）が、ポール・エルデシュが1946年に提唱した平面単位距離問題など、長年未解決の数学的仮説を解決したと発表し、AIが形式的証明と数学研究において重要な進展を遂げたことを示しています。
新しい論文とオープンソースプロジェクトが登場（arXiv 5月21-22日提出）：MOSS：自主エージェントシステムはソースコードレベルの書き換えを通じて自己進化を実現し、GitHubコードが附属しています。
Gated DeltaNet-2：線形注意におけるエラージェクトと書き込み操作のデカップリング、NVlabsのオープンソース実装。
AI駆動の形式的証明探索による数学研究の推進：Google DeepMindなどの複数機関が協力し、AIを利用して数学の形式的証明探索を進めています。
その他のハイライトには、DeepWeb-Bench（深層研究ベンチマーク）、SOLAR（生涯学習自主エージェント）、WorkstreamBench（金融電子スプレッドシートLLMエージェント評価）などが含まれ、エージェント、推論、多モーダルに焦点を当てています。
オープンソースAIがロボット開発を支援：NVIDIAやHugging Faceなどが、Cosmos世界モデル、GR00Tモデル、LeRobotなどのオープンソースロボットプラットフォームを推進し、具身知能ロボットの構築のハードルを下げ、物理AIと推論タスクをサポートします。
製品更新と企業動向：
Zoom Q1財報：収益成長、AI Companionの有料ユーザーが184%急増、年間ガイダンスを上方修正。
Workday Q1：AI戦略が収益を予想を上回る。
Adobe、Canva、CapCutがGeminiを統合し、アプリ内での画像/動画編集を実現。
ElevenLabsがAI音声アプリを発表し、20万冊のオーディオブックにライセンスを供与。
トランプがAI行政命令の署名を延期、過度な規制に反対しているとされ、ザッカーバーグ、マスク、サックスと連絡を取っていた。
その他：
Spotifyがユニバーサルミュージックと提携し、ファンによるAI生成のカバー/リミックスをサポート；オープンソースAIファイアウォール、SDRツールなどのコミュニティプロジェクトが活発；AmpliTechがオープンソースAI-RAN技術のデモを展示。
#AI动态 #科技新闻
医士吕奥をフォローしてください——バイナンス広場の万粉クリエイター