この記事は、計算複雑さの限界を探求しています。数学者たちは「複雑さの壁」を発見しました。つまり、特定のビット列の複雑さがこの壁を超えることを証明することはできないということです。驚くべきことに、この壁は非常に低く、数キロバイト程度かもしれません。この記事では、ゲーデルの第二不完全性定理に関するクリッチマン＝ラズの証明、および非標準算術モデルにおける非計算可能関数の計算可能性についても取り上げ、標準的な自然数の概念に関する哲学的な考察につながっています。
続きを読む
人工知能研究、特に「人工汎用知能」(AGI) を目指す研究所における最新の取り組みは、「ワールドモデル」と呼ばれるものだ。これは、AIが計算上の雪玉のように内部に保持する環境の表現である。Yann LeCun、Demis Hassabis、Yoshua Bengioといったディープラーニングの権威たちは、真に賢く、科学的で、安全なAIシステムを構築するには、ワールドモデルが不可欠だと考えている。しかし、ワールドモデルの詳細については議論がある。それは先天的なものなのか、後天的に学習されたものなのか？そして、その存在をどのように検出するのか？この記事は、この概念の起源と発展をたどり、現在の生成AIは完全なワールドモデルに基づいているのではなく、無数の断片的なヒューリスティックルールに依存している可能性を示唆している。これらのルールは特定のタスクには有効だが、堅牢性に欠ける。そのため、完全なワールドモデルの構築は依然としてAI研究の中心課題であり、AIの幻覚の解消、信頼できる推論能力の向上、AIシステムの解釈性の向上につながる可能性があり、最終的にはAGIの発展を促すだろう。
続きを読む
GPU Killは、NVIDIA、AMD、Intel、Apple Siliconシステム間でGPUを管理するためのコマンドラインツールです。GPUインフラストラクチャの監視、制御、保護を容易に行えます。リアルタイムでのGPU使用状況の監視、スタックしたプロセスの強制終了、クリプトマイナーと疑わしいアクティビティの検出、リソースの不正使用を防ぐためのポリシーの適用、クラスタ監視のためのWebダッシュボード、複数のサーバー間でのGPUのリモート管理、AIアシスタントとの統合などの機能があります。Linux、macOS、Windowsをサポートしています。シンプルなコマンドラインインターフェースとWebダッシュボードにより、ユーザーフレンドリーな管理を実現します。
続きを読む
サウスダコタ州立大学の研究者らは、ブドウのつるから、従来のプラスチックよりも強く、わずか17日で生分解するプラスチックのような素材を開発しました。この画期的な成果は、生分解性包装材の喫緊のニーズに応え、環境中に蔓延するプラスチックごみとマイクロプラスチックの問題に対処します。ブドウのつるに含まれるセルロースから作られたこのフィルムは、透明で丈夫であり、分解後には有害な残留物を残しません。従来のプラスチックにとって有望な持続可能な代替品となります。
続きを読む
初期のMacintoshデザイナーは、キーボードショートカットを示すために、メニュー項目にAppleロゴを追加しました。しかし、スティーブ・ジョブズはこれを過剰だと考えました。代わりのものを必死に探した結果、国際的なシンボル辞書の中でスウェーデンのキャンプ場のシンボルを見つけました。この小さく、花のようなシンボルは、その独特さが評価され、今日でもmacOSのさりげない一部として残っています。隠されたデザインの歴史の一片です。
続きを読む
最近、Rotten Tomatoesでほとんどすべての映画が「Certified Fresh」とラベル付けされていることに気づき、疑念が生じました。データ分析によると、Rotten Tomatoesの平均スコアは過去10年間で大幅に上昇しており、Fandangoによる買収と時期が重なっています。著者は、Rotten Tomatoesが、より好意的なレビューを与えるレビュアーを増やすことでスコアを操作している可能性があると示唆しています。これは短期的に興行収入を押し上げる可能性がありますが、長期的には映画業界の健全性に悪影響を与えます。
続きを読む
急成長中のマネージドWordPressホスティング企業Rocket.netがHosting.comに買収されました。この買収により、Rocket.netの堅牢なSaaSプラットフォームと強力なブランドがHosting.com傘下に入り、Rocket.netは多大な資本とグローバルなリーチを獲得します。Rocket.netは独立して運営を継続し、創設者兼CEOのBen GablerはHosting.comの最高製品責任者に就任します。この買収により、Hosting.comの能力が強化され、メキシコ、UAE、オーストラリアなど、新たな地域への展開が進みます。両社ともWordPressとオープンソースへのコミットメントを再確認しています。
続きを読む
CircuitHubは、ロボットプラットフォーム「The Grid」を用いて、小ロット多品種の電子機器組立を変革しています。半導体工場レベルの精度を実現しており、Y CombinatorやGoogle Venturesなどから2000万ドルの資金調達を受けており、既に黒字化しています。Tesla、Meta、Ziplineといった企業を顧客に持ちます。同社は、Python、Google OR-Toolsなどのツールを用いて、工場のスケジューリングと価格設定の最適化を行うオペレーションズリサーチチームを率いるエンジニアを募集しています。この非常に大きな影響力を持つ役割は、来年中に収益を3倍にすることを目指しており、オペレーションズリサーチの問題に関する直接的な経験が必要です。リモートワークまたは英国または米国の研究所での勤務が可能です。
続きを読む
Chromeは、Android向けに、デバイス上の機械学習を用いて、潜在的に欺瞞的またはスパムである通知を検出し、ユーザーに警告する新機能をリリースしました。この機能は、通知の内容（タイトル、本文、アクションボタンのテキスト）を分析し、疑わしい通知が検出されると、警告メッセージと、購読解除または通知の表示を選択できるオプションを表示します。すべての分析はデバイス上でローカルに行われ、通知の内容はGoogleに送信されません。これにより、ユーザーのプライバシーが保護されます。これは、悪質なサイトからの通知権限の自動取り消しやワンタップ購読解除などの機能と並んで、Chromeがユーザーの安全に継続的に取り組んでいることを示しています。
続きを読む
Microsoft Azureの複数の顧客が、Microsoftオンラインサブスクリプションプログラム（MOSP）からMicrosoftカスタマーアグリーメント（MCA）への問題のあるアカウント移行により、クラウドサービスの費用予測が急増するという事態を経験しました。自動予算アラートが発動され、予期せぬコストの急上昇を見たユーザーに懸念が広がりました。あるユーザーの予測は63ポンドから758.71ポンドに跳ね上がりました。Microsoftは根本的な問題は解決済みだと主張していますが、ユーザーはサポートへの連絡困難や、フォーラムのコメントの一部が削除されたことを報告しています。Microsoftは、ユーザーに対し、ポータルを監視し、食い違いが続く場合はサポートリクエストを送信するようアドバイスしています。
続きを読む
トランプ大統領とスターマー首相は、技術繁栄協定（TPD）に署名しました。これは、AI、民生用原子力、量子コンピューティングにおける米英協力関係を強化する画期的な合意です。この協定は、主要な研究機関間の共同イニシアチブを促進し、規制を簡素化し、ヘルスケアとエネルギーにおける技術革新を加速し、国家安全保障を強化します。主要な分野には、AI標準開発と科学研究、原子燃料供給網の確保、量子技術のベンチマーク設定などがあります。この協力は、両国にとって変革的な利益をもたらすと期待されています。
続きを読む
Space Station 14をARM64 Windowsに移植する際に、開発者は奇妙なクラッシュに遭遇しました。デバッグの結果、問題はウィンドウモードゲームのためのMicrosoft DXGIの最適化に起因することが判明しました。この最適化は「flip」モードを強制的に有効にするため、特定の状況下（ゲームの実行ファイル名がSS14.Loader.exeの場合）でGetDC()関数に関連する不正な命令例外が発生します。これは、MicrosoftのARM64 DXGI最適化のバグであり、特定のゲーム名でのみ有効化されることがわかりました。Space Station 14はこのリストに含まれていました。開発者は、ネイティブARM64 Windowsゲームの数が少ないため、このバグは見過ごされていたと推測しています。この問題はMicrosoftに報告されており、バグが修正されるまで、ARM64 Windowsのサポートは一時的に延期されます。
続きを読む
アルバニアの新政府は、ディエラ（アルバニア語で「太陽」の意）と名付けられたAI搭載の仮想大臣を導入し、公共調達を監督することで蔓延する汚職に対抗しようとしている。以前はe-アルバニアプラットフォームで仮想アシスタントとして機能していたディエラは、今後政府と民間企業間の契約を管理する。透明性を高め汚職を削減することを目的とするものの、操作を懸念する声も上がっており、懐疑的な見方もある。アルバニアのEU加盟申請は汚職によって阻害されており、このAIイニシアチブの成功は不透明だ。
続きを読む
この記事では、OCamlにおける依存性注入の様々なアプローチを検討し、新しいオブジェクト指向ソリューションを提案しています。著者は、ユーザー定義の効果と、第一級値としてのモジュールを使用する既存のアプローチの欠点を対比し、現実世界のアプリケーションでは冗長でエラーが発生しやすいことを主張しています。新しいアプローチは、OCamlの強力なオブジェクトモデルを活用し、構造化オブジェクト型や行変数などの機能を使用して、タイプセーフな依存性注入を容易に構成および拡張できるようにします。この記事では、単純な例とより複雑なシナリオを通してこのアプローチのエレガンスと保守性を示し、他のアプローチと比較を行い、最終的に、単純な依存性注入のシナリオではオブジェクト指向のアプローチを推奨しています。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能を直接ウェブサイト上で開発・共有できるフレームワークです。arXivLabsと連携する個人や組織は、オープン性、コミュニティ、卓越性、ユーザーデータプライバシーというarXivの価値観を受け入れています。arXivはこれらの価値観に尽力しており、これらの価値観を遵守するパートナーのみと連携しています。arXivコミュニティに価値を追加するプロジェクトのアイデアをお持ちですか？arXivLabsの詳細をご覧ください。
続きを読む
この記事では、宇宙論のΛCDM標準モデルに挑戦する革命的な「ブロートーチ理論」を紹介しています。この理論は、初期の超大質量ブラックホールからの強力なジェットが、重力だけでなく、電磁プロセスを通じて宇宙の構造を積極的に形成したと主張しています。これらのジェットは、広大な低圧空洞と磁力線を生成し、宇宙網を形成しました。この理論は、ダークマターを必要とせずに、ジェームズ・ウェッブ宇宙望遠鏡による驚くほど成熟した初期銀河の観測をエレガントに説明しています。
続きを読む
著者は当初、AAAゲームの質が低下していると信じ、オープンワールドゲームと続編の増加が原因だと仮定していました。しかし、IGDBデータベースのデータ分析の結果、この仮説は否定されました。データは、AAAオープンワールドゲームと大型続編の数は2010年代後半にピークに達し、それ以降減少していることを示しています。近年、AAAオープンワールドゲームの評価はやや低下していますが、全体的には他のAAAゲームタイプと比較して遜色ありません。著者は、ゲームジャンル自体ではなく、個人の認識の変化が、質の低下という感覚を生み出していると結論付けています。
続きを読む
この記事は、メモリが不足していた1980年代にInriaで開発された効率的なチェーンリンクアルゴリズムの物語を紹介します。ジェラール・ジラウドンのチームによって開発されたこのアルゴリズムは、メモリ制限を巧みに解決し、わずか3行のメモリを使用して画像輪郭を処理しました。現在Software Heritageによって保存されているこの作品は、当時の革新的な精神を示し、コンピュータビジョンに対するユニークな視点を与えてくれます。その効率性は、今日のメモリが豊富な環境においても注目に値します。
続きを読む
PlanetScaleのマネージドPostgresサービスが一般公開され、プライベートプレビューを終了しました。ユーザーは簡単にPostgresデータベースを作成し、他のプロバイダーからの移行ガイドを利用できます。Vitess製品で5年間の経験を持つPlanetScaleは、Cursor、Intercom、Blockなどの企業のデータベースのスケーリングを支援してきました。この新しいサービスは、PlanetScaleの成熟度とベアメタルのパフォーマンスを組み合わせ、Nekiと呼ばれるPostgresシャーディングソリューションを含み、将来オープンソースとしてリリースされる予定です。
続きを読む
著者はLogitech MX Ergoマウスを愛用していますが、いくつかの欠点があります。Micro-USB充電ポート、うるさいクリック音、そして肥大化したソフトウェアです。8年間のアップデート待ちの後、自ら改造することにしました。USB-Cポートの交換、詳細なはんだ付け手順、騒音の多いスイッチを静音のHuano製に交換、そしてLogitechのソフトウェアを軽量なSteerMouseに置き換える作業を行いました。これはDIYカスタマイズの説得力のある物語であり、その過程への深い洞察です。
続きを読む
長年、私は「追加とレビュー」と呼ぶシンプルながらも驚くほど効果的なノートシステムを使ってきました。それは「ノート」という単一のテキストファイルで、すべてのアイデアやタスクを一番上に追加します。定期的にレビューを行い、重要な項目はコピー＆ペーストで上に移動し、重要でないものは自然に下に沈みます。この方法は非常に効率的で、思考の整理、記憶力の向上、さらには古いアイデア間の意外なつながりの発見に役立ちました。
続きを読む
カリフォルニア州の弁護士が、ChatGPTによって生成された21件の虚偽の判例引用を含む訴状を提出したとして、1万ドルの罰金を科せられました。これは、AI生成の誤情報に対してカリフォルニア州の裁判所が科した罰金の中でも最大級のものです。この事件は、法律実務におけるAI使用のリスクを浮き彫りにし、州の司法当局と弁護士会は、AIの規制と弁護士への責任あるAI使用方法の教育を進めています。専門家は、大規模言語モデルは幻覚を起こしやすい傾向があり、弁護士はAIの採用に圧力をかけられているため、このような事件が指数関数的に増加すると予測しています。この事件は、AI生成のコンテンツを裁判書類で盲目的に信頼することへの深刻な警告となっています。
続きを読む
この記事は、ソフトウェア設計において「動く最小限のシンプルなものを作る」という原則を提唱しています。理想的で過剰設計されたシステムを目指すのではなく、現在のシステムを深く理解し、最もシンプルな解決策を選択することを推奨しています。一見すると大したことないように見えるこのアプローチですが、UnixやRailsなどの優れたシステムのデザインに見られるように、驚くほど効果的な結果をもたらします。システムの非柔軟性や「シンプルさ」の定義といった課題はありますが、著者は、遠い将来の要件のために過剰設計するよりも、現在の問題に焦点を当て、段階的に改善していく方が優れていると主張しています。最終的に、シンプルで安定したシステムは、過剰設計され、保守が困難なシステムよりも優れていることが多いのです。
続きを読む
この研究は、USPTOによって資金提供され、2022年のアメリカ革新者解放法に従って、議会へのUSPTO報告書の背景資料として独立して作成されました。著者は、Lauren AilesとBrett Lockardによる有益なコメントと議論、ならびにUSPTOの従業員とNBERおよび欧州委員会のイベント参加者への感謝を表明します。表明された見解は著者のみに属し、必ずしもNational Bureau of Economic Researchの見解を反映するものではありません。
続きを読む
午前4時、ヨーロッパ最大の生鮮食品市場であるランジス国際市場は活気に満ち溢れています。ロンドンのハイドパークの2倍の広さを誇るこの賑やかな市場は、1万3千人を雇用し、パリ地域の生鮮食料品の60％を供給しています。この記事では、パリのレストラン経営者であるMarc-Antoine Surand氏と共に、この隠された世界を探求し、パリ料理の裏側にある物語、そしてランジス市場がパリ中心部から移転した歴史、パリの人々と食との関係をどのように変えたのかを明らかにします。
続きを読む
天文学者たちは、冥王星の軌道の外側に位置する巨大な海王星以遠天体2023 KQ14（ニックネーム「アンモナイト」）を発見しました。その異常に細長い軌道は「プラネットナイン」仮説に疑問を投げかけ、これまで考えられていたよりもはるかに遠くにあるか、あるいは太陽系から放出された可能性を示唆しています。既知の4番目のセドノイドであるこの天体は、他の3つのセドノイドとは異なる軌道を持っていますが、45億年にわたる安定した軌道は、太陽系の初期に劇的な出来事が発生したことを示唆しています。この発見は、太陽系外縁部の複雑さを強調し、「プラネットナイン」の存在に制約を与え、過去の惑星が放出された可能性さえ示唆しています。
続きを読む
OpenAIは、AIチャットボットChatGPTが、自己危害、妄想、自殺を含むユーザーのメンタルヘルス危機につながっていることを認めた。これに対応するため、OpenAIはユーザーメッセージをスキャンし、懸念されるコンテンツを人間のレビュー担当者にエスカレーションし、場合によっては法執行機関に報告するようになった。この措置は、ユーザーの安全上の懸念と、特にニューヨークタイムズなどの出版社との係争中の訴訟を踏まえたOpenAIの以前からのユーザープライバシーへのコミットメントのバランスを取りながら、物議を醸している。OpenAIは、AIの悪影響に対処しつつ、ユーザーのプライバシーを保護するという困難な立場にある。
続きを読む
SpaceXのスターシップ10号試験飛行は、単なるマイルストーンではありませんでした。それは、ロケットのフォールトトレランスの厳格なテストでした。SpaceXは、意図的に複数の故障を導入し、ヒートシールド、推進系の冗長性、Raptorエンジンの再点火をテストしました。このテストは、極限状態におけるスターシップの耐性を評価することに重点を置いており、将来のStarlink衛星打ち上げ、商業ペイロード輸送、そして有人ミッションの基盤を築いています。エンジニアは、意図的にヒートシールドのタイルを取り除き、新しいタイプの能動冷却タイルを試して、現実世界のデータを集め、設計を洗練させました。推進系の冗長性は、エンジンの故障をシミュレートし、バックアップエンジンを成功裏に使用することでテストされました。さらに、スターシップは宇宙空間でRaptorエンジンの再点火に成功しました。このテストは、再突入に耐えるヒートシールドと、軌道上で確実に再点火できる宇宙船を開発することに依存しているNASAのアルテミス計画にとって極めて重要です。
続きを読む
Massive Attackは最近のコンサートにライブ顔認識技術を統合し、観客の顔を巨大スクリーンに投影して視覚体験の一部としました。これにより激しい議論が巻き起こり、監視について議論を促したと評価する声と、予期せぬデータ収集に不快感を示す声が上がりました。データの保存と同意に関する透明性の欠如は倫理的な懸念を引き起こしました。このイベントは、日常生活でますます普及し、しばしば気づかれずに使われている顔認識技術を浮き彫りにしています。
続きを読む