DevPick

Thomas Halesによる寄稿記事で、数学者が重視する点とLean定理証明器の信頼性、およびAIとの関わりについて考察している

• •Thomas Halesがゲスト投稿として、数学者が重視する価値観について論じている
• •Lean定理証明器の信頼性に関する視点が含まれている
• •AIとの関連性についても言及されている

This technical article explores the feasibility of generating market data using autoregressive diffusion models as part of a 2026 summer internship project.

• •The article is part of the 'What the interns have wrought, special jumbo 2026 edition' series.
• •It verifies whether autoregressive diffusion models can be applied to generating data for financial markets.
• •It mentions technical trials and experimental results conducted during the internship period.

Biohub、DOE、NIHなどが18億ドル規模の投資を行い、AIモデル訓練用のオープンで標準化された生物データを生成する取り組みを開始した

• •Biohub、DOE、NIHおよびパートナーが18億ドルの世界的なコミットメントを行った
• •生成されるデータはオープンかつ標準化されており、AIモデルの訓練に使用される
• •これらのAIモデルは、介入に対する細胞の反応を予測することを目的としている

LMArenaを運営する企業がLightspeedとKhosla主導で2億ドルを調達し、評価額は31億ドルに上昇、嘘の付与などアライメント問題をモデル評価に組み込んでいる

• •LMArenaを運営する企業がLightspeedとKhosla主導で2億ドルを調達した
• •評価額は10ヶ月でほぼ2倍となり31億ドルに達した
• •AIモデルの評価に嘘のアライメント問題が含まれている

Many proofs presented by OpenAI deviate from guidelines established by a group of mathematicians who advised the lab.

• •OpenAI's presented proofs deviated from guidelines set by a group of mathematicians who advised the lab.
• •The article points out that OpenAI's mathematical solutions do not meet current field standards.
• •OpenAI is collaborating with a group of mathematicians to advance its research.

Whistle, a 16.9MB open-source speech recognition model, runs on the same CPU engine as Needle and enables tool calling.

• •Whistle is an open speech recognition model that runs on the same CPU engine as Needle.
• •It supports transcription in seven languages and reaches the first token generation in 11 milliseconds.
• •By loading it in parallel with Needle, clips can be converted into tool calls within a single binary.

A project benchmarked multiple AI judgment models, including new services from OpenAI and Cloudflare, by having them play Pac-Man.

• •Models such as jev 1.13, kev, clef, GPT-6 Luna, and Laya were tested in Pac-Man ghost battles.
• •These models were confirmed capable of real-time play due to low latency.
• •Each model played 100 games to create a leaderboard, and the repository was open-sourced.

StepFunがエージェント作業向けに設計したフラッグシップモデルStep 5 PreviewがOpenRouterに登場し、100万トークンのコンテキストと低価格なAPI料金を提供している

• •スパースなMixture-of-Experts（MoE）アーキテクチャを採用し、総パラメータ600Bのうち27Bがアクティブになる
• •入力トークン100万あたり1ドル、出力トークン100万あたり2.70ドルという料金が設定されている
• •コンテキストウィンドウは100万トークンで、最大出力トークン数は64,000トークンである

Googleが実験的なオフライン対応のAIノートアプリ「Google AI Edge Foresight」をリリースし、会議や音声ファイルの文字起こしを可能にした

• •同アプリはmacOS上で動作し、Googleのオンデバイスモデル「EmbeddingGemma 2」を使用している
• •GranolaやWispr Flowと同様に、会議の要約などの機能を提供する
• •TechCrunchの先行報道を受け、完全なオフライン処理が可能な無料アプリとしてリリースされた

SamsungLabs released official implementations of LittleBit and LittleBit-2, introducing LLM compression techniques.

• •It includes the official implementation of LittleBit, presented at NeurIPS 2025.
• •It also includes the implementation of LittleBit-2, the successor version presented at ICML 2026.
• •The code is publicly available on GitHub by SamsungLabs.