マイクロソフトのCEO、サティア・ナデラは、メタのLlamaConで、マイクロソフトのリポジトリ内のコードの20～30％がAIによって生成されていることを明らかにしました。この数値は、GoogleのCEOが最近発表した30％以上のAI生成コードという数値と一致しています。しかし、マイクロソフトの成功はプログラミング言語によって異なり、PythonはC++よりも進歩を見せています。マイクロソフトのCTOは以前、2030年までに95％のコードがAIによって生成されると予測していました。正確な測定方法が不明なままですが、これらの数値は、ソフトウェア開発におけるAIの大きな可能性を浮き彫りにしています。
続きを読む
NotebookLMはオーディオサマリー機能をアップデートし、ユーザーが好みの出力言語を選択できるようになりました。ポルトガル語のドキュメンタリー、スペイン語の研究論文、英語の学習レポートなど、どのような言語のコンテンツをアップロードしても、選択した言語でオーディオサマリーを生成できます。これにより、多言語コンテンツや学習教材の作成が容易になります。例えば、教師はアマゾンの熱帯雨林に関する資料を様々な言語で共有でき、生徒はそれらをアップロードして自分の母語でオーディオサマリーを生成できます。これにより、言語の壁を取り払い、情報へのアクセスを容易にします。
続きを読む
グーグルCEOのサンダー・ピチャイは、反トラスト訴訟の裁判で、司法省が競合他社と検索データを共有するという提案は、同社の検索エンジンの「事実上の分割」になると証言しました。ピチャイは、データとランキングアルゴリズムの共有は、競合他社がグーグルの技術を複製し、研究開発に損害を与えることを可能にすると主張しました。司法省は、グーグルがChromeを売却し、検索データをライセンス供与し、独占的な配置への支払いを停止し、GeminiなどのAI製品への禁止を拡大することを求めています。グーグルは、これにより消費者、経済、そしてアメリカの技術リーダーシップが損なわれると反論しています。これは、近年の反トラスト訴訟におけるピチャイの3度目の証言であり、グーグルが直面する激しい反トラスト監視を浮き彫りにしています。
続きを読む
Agent Reinforcement Trainer (ART)は、エージェントワークフローにおける大規模言語モデル（LLM）のパフォーマンス向上を目的とした、オープンソースの強化学習ライブラリです。強力なGRPOアルゴリズムを利用して、モデル自身の経験から学習します。ほとんどのRLライブラリとは異なり、ARTは既存のコードベースにシームレスに統合され、RLトレーニングループの複雑さをバックエンドにオフロードします。ARTはクライアント（コードとのインタラクションを担当）とサーバー（推論とトレーニングを担当）で構成されています。トレーニングループには、推論（データの収集と報酬の割り当て）とトレーニング（GRPOを使用してモデルのトレーニングとLoRAの更新を行う）が含まれます。ARTは、vLLM/HuggingFace Transformersと互換性のあるほとんどの因果言語モデルをサポートしています。現在アルファ版であり、貢献を歓迎しています。
続きを読む
DeepSeek-Prover-V2は、Lean 4における形式的定理証明のために設計されたオープンソースの大規模言語モデルです。DeepSeek-V3による再帰的定理証明パイプラインと強化学習を活用して、非公式と公式の数学的推論を統合しています。このモデルは、DeepSeek-V3を使用して複雑な問題を部分目標に分解し、これらの部分目標の証明を合成して、強化学習の初期データを作成することから始めます。DeepSeek-Prover-V2-671Bは、MiniF2F-testで88.9％の合格率を達成し、PutnamBenchから49の問題を解決しました。また、高校の競技会や教科書から325の形式化された問題を含む新しいベンチマークデータセット、ProverBenchも導入されました。
続きを読む
2019年のYouTubeホームページと現在のバージョンを比較して、著者は広告の急増と表示される動画の著しい減少に気づきました。以前は30本の動画が表示されていましたが、現在は5本しか表示されず、巨大な広告がページの6分の1を占めています。著者は、2026年5月までに動画が1本だけになり、9月までにはホームページに動画が全く表示されなくなるだろうと予測しています。著者は、YouTubeがユーザーエクスペリエンスを犠牲にして利益を優先していることを嘆き、将来はNeuralinkを通じて広告が脳に直接注入される可能性があるとユーモラスに示唆しています。
続きを読む
AIの台頭に直面して、ウィキペディアはAI戦略を発表しました。それは、人間の編集者を置き換えるのではなく、彼らを支援することです。退屈な作業の自動化、情報の発見可能性の向上、翻訳とコンテンツの適応の簡素化、新しいボランティアのオンボーディングの改善などが含まれます。ウィキペディアは、人間中心のアプローチを強調し、オープンソース、透明性、多言語性を優先することで、AIが自由にアクセス可能な知識という使命を果たせるようにします。
続きを読む
この記事は、著者が40年前に小さなスタートアップ企業だったサンマイクロシステムズに入社した経験について語っています。UNIXとMotorola 68000への関心に駆られた著者のAmdahlからの転身は、サンの創業チームとの出会いへと繋がりました。UNIXとワークステーションにおける経験と、兄弟のXeroxでの繋がりを活かし、初期の中核メンバーとして活躍。Sun-1の開発やBSD UNIXの移植に貢献し、サンの急成長を目の当たりにしました。
続きを読む
エレクトロニック・アーツ（EA）は、子会社であるRespawn Entertainmentの約100人を含む300～400人の従業員を解雇し、コードネームR7の新型Titanfallゲームをキャンセルすると発表しました。この人員削減は、資源配分の改善と将来の成長促進を目指した戦略的再編の一環です。Titanfallの世界観を舞台にした抽出型シューティングゲームであるR7は、開発初期段階にありました。これは、EA Sports FC 25の低調な業績を受けてEAが前期の売上高予想を下方修正し、Dragon Age: The Veilguardの販売不振を受けてBioWareで人員削減を行ったことによるものです。
続きを読む
最近のテクノロジーCEOの間で流行しているのが、「AIファースト」アプローチへの要求で、あらゆる業務でAIツールの使用を義務づけています。著者はこれに対し異議を唱え、既に自分の仕事に熟達している従業員にAIツールの採用を強制することは、生産性を阻害する可能性があると主張しています。個人的な逸話を用いて、著者はAIが特定のスキルを欠いている人を支援するのに最適であり、専門家を置き換えるものではないことを説明しています。著者は、「AIファースト」という推進は、テクノロジーリーダーの間でのパフォーマンス行為、つまり特定のグループへの所属を示す方法であり、真の生産性向上とは異なるものであると示唆しています。著者は、より効果的なアプローチは、従業員の選択とAIツールの実際の有用性への焦点を当てることであると主張しています。
続きを読む
冷戦時代、小さな国レバノンは、マノーク・マノギアン率いるレバノン・ロケット協会の下、低軌道へのロケット打ち上げという予想外の偉業を成し遂げました。最小限のリソースと創意工夫で、彼らは驚くべき成果を上げましたが、最終的には地政学的緊張、軍事化への懸念、国際的な圧力によって頓挫しました。彼らの物語は、資源の制約を克服し、不可能と思われる目標を達成するための、ビジョンと決意の力を浮き彫りにしています。逆境に立ち向かう人間の創意工夫の証です。
続きを読む
新たな分析によると、科学研究開発費の連邦政府予算削減は、長期的な経済に壊滅的な影響を与えることが明らかになった。公共研究開発費を25％削減すると、GDPは世界恐慌時と同程度の減少となる。半減させると、平均的なアメリカ人の所得は現在のドル換算で約1万ドル減少する。さらに、このような削減は連邦政府の歳入を大幅に減らすことになり、25％の削減で年間4.3％、50％の削減で年間8.6％減少する。基礎研究と応用研究の資金提供に不可欠なNIHやNSFなどの機関は、資金凍結や規模縮小に直面しており、この問題への対応の緊急性を浮き彫りにしている。
続きを読む
著者は90年代後半から個人ウェブサイトを所有しており、HTMLの手書きからWYSIWYGエディター、WordPressなどの動的CMSまで、様々なウェブサイト作成方法を経験してきました。動的CMSの継続的なセキュリティアップデートとメンテナンスに不満を感じ、静的サイトジェネレーターへと転向。bashblog、Pelican、Nikola（Nikola用のDockerコンテナも作成）を試用した後、2015年に独自のBash静的サイトジェネレーター（BSSG）を開発しました。BSSGは時間とともに進化し、テーマ、アーカイブ、タグなどの機能が追加されました。その強みは軽量性、移植性、高性能、高いアクセシビリティスコア、Markdownのサポート、そして多様なテーマにあります。コードの不完全性を認識しつつも、著者はBSSGをオープンソースとして公開し、動的CMSのメンテナンスに疲れた人々に役立つことを願っています。
続きを読む
Ravenは、OCamlに機械学習とデータサイエンスをもたらす包括的なエコシステムです。NumPy（Ndarrayを使用）、Jupyter（Quillを使用）、JAX（Runeを使用）といった人気のPythonツールを反映したライブラリを提供し、OCamlの型安全性とパフォーマンスを活かしながら、Pythonのような使いやすさを目指しています。現在プレアルファ版ですが、数値計算、可視化（Hugin）、その他多くのツールを備えており、より安全で高速な言語を求めるデータサイエンティストにとって魅力的な選択肢となります。
続きを読む
丁寧な断りに苦労していませんか？この軽量API「No as a Service」は、あらゆる状況に合わせた何千もの創造的でユーモラスな断りの理由を提供します。アプリ、ボット、ランディングページなどに簡単に統合でき、気の利いた断りの手紙の作成にも役立ちます。オープンソースコードは簡単に実行でき、スタイリッシュに「ノー」と言うための楽しく効率的なツールです。
続きを読む
この記事では、スポーツアートをレンズとして用いて、イングリッシュヘッジの歴史と社会経済的変化との関連性を考察しています。異なる時代の絵画は、移り変わる風景を明らかにしています。繁栄期には繁茂するヘッジが描かれ、一方で不況期にはまばらで手入れのされていないヘッジが描かれています。農業効率の向上を目的とした第二次世界大戦後のヘッジの除去が強調され、1945年以前の農村地帯が常に生物多様性に富んでいたという一般的な認識に異議を唱えています。この記事は、イングリッシュカントリーサイドは動的なものであり、その外観は政府の政策によって形成され、自然のプロセスだけによって形成されるものではないと主張しています。
続きを読む
ロバート・F・ケネディJr.氏が最近、自閉症を国民的な流行病と宣言し、自閉症者の可能性について軽蔑的な発言をしたことが、広範囲にわたる怒りを引き起こしました。多くの自閉症者が社会に貢献することは決してないという彼の主張は、多くの才能ある自閉症の詩人や作家の現実とは真っ向から対立しています。この記事は、自閉症の詩人によって創作された膨大な作品群を取り上げ、彼らの独特な視点と芸術的貢献を紹介しています。詩の構造と自閉症者の思考様式との適合性を強調し、最終的にはケネディ氏の有害なステレオタイプを反論し、自閉症コミュニティにおける豊かな創造性を称賛しています。
続きを読む
ケマーズ社とその前身であるデュポン社は、ノースカロライナ州のケープフィア川へのPFAS化学物質の放出に関する約2万件の文書の封印を試みています。サザン・エンバイロメンタル・ロー・センター（SELC）が代表する環境団体は、これらの文書が、地元コミュニティと将来世代の健康と財産への影響を理解するために不可欠であると主張し、介入しています。ケマーズ社は、文書には企業秘密が含まれていると主張していますが、SELCは、同社がマーケティングキャンペーンですでに多くの情報を公開していると反論しています。透明性を求める公開嘆願書には、数千もの署名が集まり、この隠蔽工作への広範な懸念を示しています。
続きを読む
NISTの新しいセシウム噴水時計NIST-F4は、世界で最も正確な時計の一つです。恐竜が生きていた時代から稼働していたとしても、現在の誤差は1秒未満です。この原子時計技術のブレークスルーは、米国の公式時間の較正と世界協定世界時（UTC）への貢献に役立ち、金融、通信、輸送などの重要なシステムの精度を確保します。この成果は、NISTが精密な時間測定におけるリーダーシップを固めるものです。
続きを読む
コロラド州のクレストン・ニードルはかつて登攀不可能と考えられていましたが、現在では毎年数千人のハイカーを引きつけています。これに伴う環境への圧力から、土地管理者は保全と持続可能なアクセスのバランスを模索せざるを得なくなっています。従来の入山者数制限は、より科学的で証拠に基づいたアプローチに取って代わられつつあります。研究者たちは、調査、インタビュー、ドローン技術などを用いて、政策がエコシステムと訪問者に与える影響を分析し、厳格な制限ではなく行動変容によって環境への影響を最小限に抑える方法を探っています。この行動変容に焦点を当てた戦略は、コミュニティの関与とデータ駆動型のアプローチと組み合わせることで、人間と自然の調和共存を目指し、より多くの人がアウトドアレクリエーションを楽しめるようにしつつ、脆弱な環境を守ります。
続きを読む
Xiaomiは、推論能力に特化した70億パラメータの巨大言語モデルMiMo-7Bを発表しました。最適化された事前学習データと戦略、そして革新的な強化学習トレーニング手法により、MiMo-7Bは数学とコードの推論タスクにおいて優れた性能を示し、320億パラメータのモデルをも凌駕しています。このオープンソースモデルには、ベースモデル、SFTモデル、強化学習でトレーニングされたモデルなどの複数のチェックポイントが含まれており、強力な推論能力を持つLLMの開発に貴重なリソースを提供します。
続きを読む
ファイヤーフライ・エアロスペースによる6回目のアルファロケット打ち上げは、公式に失敗に終わりました。このミッションは、ロッキード・マーティン社が開発した技術実証ペイロードを低地球軌道（LEO）に送ることを目的としていました。しかし、ステージ分離直後に異常が発生し、上段エンジンの推力が大幅に低下し、ペイロードは軌道速度に到達できませんでした。ペイロードは最終的に太平洋に落下しました。これは、6回の試行のうち2回目のファイヤーフライのアルファロケットのミッション失敗となります。ファイヤーフライ社は、顧客およびFAAと協力して、異常の原因を調査します。
続きを読む
フィンランド議会は、小学校と中学校で生徒によるモバイル機器の使用を制限する法律を可決しました。この法律は、夏休み後の8月に施行される予定です。完全な禁止ではありませんが、授業中は一般的に携帯電話の使用は禁止されます。生徒は、教育上または健康上の理由で携帯電話を使用する場合、教師の許可が必要です。学校職員は、授業を妨害する機器を没収することができます。教育大臣は、携帯電話の使用制限にもかかわらず、生徒のデジタルスキル開発を継続的に支援することを保証しています。
続きを読む
2024年から2025年にかけて、AIモデル開発はかつてないほどのブームを迎えました。Stable Diffusion 3からGPT-4o、GeminiからClaude 3まで、テクノロジー大手とスタートアップ企業が次々と新しいモデルを発表し、画像生成、動画生成、テキスト生成、マルチモーダル分野で激しい競争が繰り広げられました。オープンソースモデルの台頭も、AI技術の普及と発展に新たな活力を与えました。この「モデル競争」は進化を続け、パラメーター数と能力がますます増大し、最終的にAIの未来を形作っていくでしょう。
続きを読む
2020年に職を失ったIliaは、リモートワークブームを捉え、Microsoft Teams向けのアプリ開発に着手。当初の翻訳アプリは失敗に終わったものの、Teamsの組み込みWikiの不備を見抜き、シンプルで使いやすいナレッジベースツール「Perfect Wiki」を開発。Teamsへのシームレスな統合とユーザーニーズへの鋭い洞察により、Perfect Wikiは急速に普及し、5年で年収25万ドルを達成。わずか2名体制での成功は、ニッチ市場への集中とシンプルで効果的な製品開発の重要性を示している。
続きを読む
arXivLabsは、共同作業者がarXivの新しい機能をウェブサイト上で直接開発・共有できる実験的なフレームワークです。参加者は、arXivのオープン性、コミュニティ、卓越性、ユーザーデータのプライバシーという価値観を共有しています。arXivコミュニティを改善するアイデアをお持ちですか？arXivLabsの詳細をご覧ください！
続きを読む
この実験では、OpenAIとAnthropicのいくつかの大規模言語モデル（LLM）のランダム性をテストしました。モデルにコインを投げさせ、0から10までのランダムな数を予測させることで、研究者たちは、それらの出力が真にランダムではなく、有意なバイアスがあることを発見しました。例えば、コイン投げの実験では、すべてのモデルが「表」を好む傾向があり、GPT-o1は49％という最も極端なバイアスを示しました。奇数/偶数の予測では、ほとんどのモデルが奇数を好み、Claude 3.7 Sonnetは47％という最も強いバイアスを示しました。この結果は、高度なLLMでさえ、トレーニングデータの分布の影響を受けて、予期せぬパターンを示す可能性があることを強調しています。
続きを読む
ウェブエンジニアのJohn Martinは、2014年に会話のようにメールを処理できるアプリケーションTalanoaのアイデアを考案しました。毎年このアイデアを見直し、市場に同様の製品がないことに気づいてから、ついにそれをローンチしました。この物語は、ビジョンを実現し、市場のギャップを埋めるために必要な献身と粘り強さを示しています。
続きを読む
QuantCoがレガシーコードベースを近代化しようとした際に、データフレーム処理における重大な欠陥、つまり検証の欠如が明らかになりました。パフォーマンス向上のためpandasからPolarsに移行したことで、この問題が浮き彫りになりました。panderaやpatitoなどの既存ライブラリは不十分であることが判明しました。そこで、彼らはPolarsネイティブのライブラリであるdataframelyを開発しました。これは、宣言的なデータフレーム検証を可能にします。dataframelyはスキーマの定義、データフレームの内容の検証、データフレーム間の検証、ソフトバリデーションをサポートし、パイプラインの堅牢性と可読性を大幅に向上させます。すでに複数のチームとプロジェクトで使用されています。
続きを読む
HPのタブレットや電話の計画の多くは期待外れだった一方、ソフトウェアチームは真に革新的なデザインを開発していました。コードネーム「Eel」のwebOSの次のメジャーバージョンは、オリジナルのPalm Preで導入された「カード」のメタファーを拡張することを目指しました。「カードスタック」と「レスポンシブパネル」を組み合わせることで、ユーザーは左側に新しい独立したカードとしてリンクを開き、それをスライドしたり、「切り離し」て別のスタックに移動したりすることができました。これにより、ウィンドウのサイズとグループ化が柔軟になり、スマートフォンとタブレットの両方でうまく機能しました。これは生産性を向上させるための革新的な試みでしたが、最終的にプロジェクトは潜在能力を十分に発揮することはありませんでした。
続きを読む