主なトピック
公開ニュースで多く取り上げられている製品・技術のニュースと要約を探せます。
ニュース一覧（62ページ目）
未読: OpenAI、ナビエ・ストークス方程式の証明において数学をコードへ誤翻訳（新しいタブで開きます）
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
OpenAIがナビエ・ストークス問題の解決を発表したが、人間向けとコンピュータ向けの2つの証明が一致していない問題が判明した
- •OpenAIはナビエ・ストークス問題に対する意外な解決策を発表した
- •発表にあたり、人間向けとコンピュータ向けの2つの証明が作成された
- •作成された2つの証明の内容が一致していないことが指摘されている
Googleがオフラインで多様なメディアを検索できるAIモデル「EmbeddingGemma 2」を無償公開した
- •写真、動画、音声、文字、コードを1つのモデルで検索できる機能を持つ
- •ローカルRAG環境において資料検索処理を担当する用途に設計されている
- •Hugging FaceとKaggleからダウンロード可能で、Apache 2.0ライセンスにより商用利用も認められる
AIの普及により、知的な貢献が不要になる状況が生じていることについて考察する記事
- •AIの発展が知的貢献の必要性を低下させている
- •人間とAIの役割分担や関係性の変化を論じている
未読: 『純粋な狂気』：数学者たちがOpenAIの最新リリースを理解するには数年かかる（新しいタブで開きます）
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
OpenAIが発表された膨大な数の数学的知見に対し、数学者たちがその規模に驚愕と混乱を表明している
- •30人以上の数学者が、OpenAIが今週突然発表した数学的知見の洪水についてThe Vergeに語った
- •関係者からは「圧倒的」「前例がない」「純粋な狂気」など、その規模に対する強い驚きの声が寄せられた
- •この発表の規模の大きさゆえに、数学界全体でその意味を整理・理解するには数年を要すると見られている
未読: データセンターで使われる天然ガスタービンよりバッテリーが安くなった（新しいタブで開きます）
Batteries are now cheaper than natural gas turbines used at many data centers
データセンターの急増により天然ガスタービンの価格が上昇し、バッテリーの方がコスト面で有利な状況になった
- •データセンターのブームに伴い、天然ガスタービンの価格が上昇している
- •その結果、バッテリーの価格が天然ガスタービンよりも安くなったとされている
- •これはデータセンターの電力供給源におけるコスト構造の変化を示している
未読: Microsoft、高速な意思決定のための新モデル「Microsoft-Decision-1」を発表（新しいタブで開きます）
Microsoft-Decision-1, our model for fast decision-making
構造化された意思決定タスクにおいて、LLMや他の意思決定モデルを上回る低遅延と高品質を実現した新モデル
- •Microsoftが新しい意思決定スコアリングモデル「Microsoft-Decision-1」を発表した
- •構造化された意思決定タスクにおいて、LLMや他の意思決定モデルを上回るパフォーマンスを示す
- •特に低遅延（latency）と品質（quality）の両面でトップクラスの性能を達成している
未読: Nikonの顕微鏡動画コンテスト、生成AI使用で優勝者が失格に（新しいタブで開きます）
Nikon microscopic video competition winner disqualified for using generative AI
Nikonの顕微鏡動画コンテストで、生成AIの利用規約に違反したため、当初1位だったDr. Ning Xuの作品が失格処分となった
- •Nikonは、生成AIに関するコンテストルールに準拠していないとして、当初の1位作品を失格とした
- •BBCの報道によると、Dr. Ning Xuの作品は小児の気道内の繊毛の動きを示していたと主張していた
- •今回の件は、科学映像コンテストにおける生成AI利用の適否が問題視された事例である
未読: 数学者が知っておくべきLean定理証明器：信頼性とAI（新しいタブで開きます）
What mathematicians should know about the Lean Theorem Prover: reliability & AI
Thomas Halesによる寄稿記事で、数学者が重視する点とLean定理証明器の信頼性、およびAIとの関わりについて考察している
- •Thomas Halesがゲスト投稿として、数学者が重視する価値観について論じている
- •Lean定理証明器の信頼性に関する視点が含まれている
- •AIとの関連性についても言及されている
未読: LumenUs、悲しみの時期における面倒な事務作業を自動化（新しいタブで開きます）
LumenUs helps automate tedious paperwork in times of grief
創業者Sara Tashakoriniaが、親族の死後突然プロジェクトマネージャーのような役割を強いられる状況に対し、LumenUsが事務作業の自動化を支援すると述べている
- •創業者Sara Tashakoriniaが、親族の死後知らなかったプロジェクトのマネージャーを任されるような状況に陥ると説明
- •悲しみの時期における面倒な事務作業（ペーパーワーク）を自動化するサービスを提供
- •喪失体験に伴う事務負担を軽減することを目的としている
未読: Amazonらがデータセンター契約の秘密保持をやめる。信頼構築に十分か？（新しいタブで開きます）
Amazon and others are done keeping data center deals secret. Is it enough to build trust?
AmazonがMicrosoftに続き地方政府とのデータセンター交渉でNDA使用を廃止し、AIインフラへの地域住民の反発やモラトリアム発動の背景を解説する
- •AmazonはMicrosoftに倣い、地方政府とのデータセンター契約交渉におけるNDA（秘密保持契約）の使用をやめる
- •秘密主義はAIインフラに対する地域コミュニティの反発を助長し、ニューヨークからサンフランシスコまで数百件のモラトリアム（一時停止）提案・施行につながった
- •消費者がAIエージェントにアクセス権を委ねることを前提とするスタートアップの波も起きている