「システム1」意思決定モデルの概念を解説し、LLMのStructured Output機能やモデルプリフィルの仕組みに言及しながら、確率推論を含むモデル構築の視点を提供する
- •「システム1」意思決定モデルとは、許可されたすべての回答に対して較正された確率で推論し応答するモデルを指す
- •LLMからJSONなどの型付き出力を得るには、出力を有効な形式に制約するStructured Outputを使用する
- •モデルプリフィルでは、入力が1パスで処理される仕組みについて言及している
DuckDB 2.0 alphaの性能改善を解説し、再帰CTEやVARIANT型、非同期I/Oの速度向上要因とデータモデリングのヒントを示す
- •再帰CTEの処理速度が1.5.5比で最大90倍向上した
- •VARIANT型はJSONテキストより6倍速く、S3での非同期I/Oは2.4倍高速化された
- •速度向上を得るためのデータモデリングの具体的な方法が解説されている
AI Is Throwing a Roadside Picnic
SF作品『道端のピクニック』の異星人の残骸という比喩を用い、AIが生成する科学的内容やその特性について考察する記事
- •異星人の残骸というSF的な比喩を通じて、AIが生成する科学に関する洞察を探る
- •AIが生成する科学的内容の性質や限界について言及している
- •タイトルと説明から、AI生成物と現実の科学との関係性を考察する内容である
AI技術がAIの研究開発プロセス自体を自動化できるかどうかというテーマについて考察する記事
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
OpenAIがナビエ・ストークス問題の解決を発表したが、人間向けとコンピュータ向けの2つの証明が一致していない問題が判明した
- •OpenAIはナビエ・ストークス問題に対する意外な解決策を発表した
- •発表にあたり、人間向けとコンピュータ向けの2つの証明が作成された
- •作成された2つの証明の内容が一致していないことが指摘されている
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
OpenAIが発表された膨大な数の数学的知見に対し、数学者たちがその規模に驚愕と混乱を表明している
- •30人以上の数学者が、OpenAIが今週突然発表した数学的知見の洪水についてThe Vergeに語った
- •関係者からは「圧倒的」「前例がない」「純粋な狂気」など、その規模に対する強い驚きの声が寄せられた
- •この発表の規模の大きさゆえに、数学界全体でその意味を整理・理解するには数年を要すると見られている
What mathematicians should know about the Lean Theorem Prover: reliability & AI
Thomas Halesによる寄稿記事で、数学者が重視する点とLean定理証明器の信頼性、およびAIとの関わりについて考察している
- •Thomas Halesがゲスト投稿として、数学者が重視する価値観について論じている
- •Lean定理証明器の信頼性に関する視点が含まれている
- •AIとの関連性についても言及されている
Can you use autoregressive diffusion to generate market data?
2026年夏インターンシッププロジェクトの一環として、自己回帰拡散モデルを用いた市場データ生成の実現可能性を検討した技術記事である
- •本記事は2026年夏インターンシッププロジェクトの成果物である「What the interns have wrought, special jumbo 2026 edition」シリーズの一部として公開されている
- •自己回帰拡散モデルという特定の機械学習手法が、金融市場などのデータ生成に応用できるかを検証している
- •インターンシップ期間中に実施された技術的な試みや実験結果について言及されている
I Pointed AI at 400 Years of Archives. It Found a Forgotten Meteorites and More
AIを用いて数百万件の歴史記録を調査し、忘れられた隕石の報告書や3頭のロシニア、未記録の火山噴火を発見した事例
- •AIを使って数百万件の歴史記録を調査した
- •忘れられていた隕石の報告書が見つかった
- •3頭のロシニアと、記録に残っていなかった火山噴火も発見された
CEATEC 2026で産総研やNTTドコモが、インターバースと人間拡張の体験型展示を行う
- •産業技術総合研究所を中核としたメタコンソーシアムとNTTドコモが参画するコンソーシアムが共同出展する
- •現実世界と仮想空間が融合する「インターバース」と、身体能力や知覚を拡げる「人間拡張」をテーマに研究成果を展示する
- •『ダンジョン飯』の再現食や重さを感じるVRなど、来場者が実際に体験できる展示が多数用意されている