← 2026-03-17 の一覧へ戻るホーム
AnswerThis（YC F25）は採用中です。

2026/03/17 6:00

AnswerThis（YC F25）は採用中です。

RSS: https://news.ycombinator.com/rss

元のHacker News記事へ ↗
要約▶

Japanese Translation:

AnswerThisは、科学的知識作業（検索・統合・エビデンスに基づく研究のドラフト）を自動化するオペレーティングシステムを構築し、静的な文献レビューを継続的に更新される生きた資産へと変革しています。
このプラットフォームは、学術界とフォーチュン500企業の20万人以上の研究者にサービスを提供しており、特に生命科学分野に重点を置いています。主な課題として、情報源が断片化されていること、スナップショットが急速に古くなること、出版後に劣化する検索不可能なドラフトの存在があります。AnswerThisはすでにARR（年間定常売上）が100万ドルを超え、キャッシュフローもプラスであり、Y Combinator（F25）の支援を受けています。主要顧客にはスタンフォード大学、MIT、アマゾンなど世界有数の機関が含まれます。今後、同社はエンジニアリングチームを3名から10名へ拡大しつつ、迅速なリリースと日々の顧客エンゲージメントを維持し、研究を消費型レポートではなく複利的資産に変えることを目指しています。これにより、大学・生命科学企業・その他R&D集約型セクター全体で科学知識が生成・共有・収益化される方法が再構築される可能性があります。

上記の要約は主要ポイントリストからすべての重要点を保持し、「統合」について推測された主張を除去し、生命科学への焦点を明確にすることで、新たな曖昧さや言語の追加なしにまとめられています。

本文

私たちとは
毎年数兆ドルが世界中の研究開発に投入されていますが、その大部分は研究者が手作業で論文を読んだり、文献レビューを書いたり、エビデンスパッケージをまとめたりすることに費やされます。この作業こそ、新薬や医療機器が患者へ届くかどうかを決定づけるものであり、そのほぼすべてはまだ手作業で行われています。

AnswerThis は、企業内の科学的知識を管理するオペレーティングシステムを構築しています。私たちのエージェントは、検索・統合・ドラフト作成を自律的に行い、証拠ベースの研究を実現します。現在、大学とフォーチュン500企業を含む 20 万人以上の研究者がプラットフォームを利用しており、特にワークフローが手作業で行われるライフサイエンス分野に深く踏み込みています。YC（Y Combinator）から支援を受け、急速に成長中ですが、規模は意図的に小さく保っています。

私たちが解決している課題

  • 既存の研究検索は難しい – セマンティックサーチは助けになりましたが、断片化した情報源から適切なエビデンスを見つけることは依然として大きな未解決問題です。
  • 研究は自己更新できない – 文献レビューは一時的なスナップショットに過ぎません。基礎データ、社内試験結果、競合情報、新刊の公開などが絶えず変化しますが、それを継続的に最新状態に保つ方法はほとんどありません。
  • 研究ドラフト作成は苦痛 – 科学者は静的で一度きりの文書を数か月も費やし、更新されることなく検索できず、公開された瞬間から価値が衰えます。私たちは、研究を捨てられるアーティファクトではなく、生きた蓄積資産へと変えるシステムを構築しています。

探している人

  • AI エージェントシステムの本番導入経験があり、スタートアップでチームやプロジェクトを率いた上級エンジニア。
  • 仕様書もなく、不確実性の中でスケジュール通りにリリースした経験がある方。

主な役割

  • 技術設計と開発速度を担う – 顧客課題から本番デプロイまで、機能を優先順位付けし、実装し、オーナーシップを持つ。
  • エンタープライズ顧客と直接対話 – 情報が限られた中でスコープやフェーズの決定を行い、製品収益成長で成功を測る。
  • エンジニアチーム構築に貢献 – 3 人から 10 人への拡張時に何が有効か理解し、その移行設計を担当。

このポジションはサンフランシスコでの対面勤務です。大規模なエンジニア組織内で既存プロセスに縛られた経験しかなく、ビジネスインパクトよりも技術的優雅さを重視する方には向きません。

報酬

  • 基本給：$170,000–240,000 USD（＋意義ある株式）
  • YC 支援企業で年間 1.5M USD 超の ARR を達成した上で、給与と同等かそれ以上の価値を提供。

AnswerThis は科学者向けの記録システムを構築しています。研究者は論文検索・実験分析・ドラフト作成を行い、他の科学者や AI エージェントと協働できます。8 ヶ月で ARR が 1M USD を突破し、スタンフォード、MIT、Amazon、世界中のトップ機関から 20 万人以上が日々利用しています。YC（F25）に支援され、キャッシュフローはプラスです。

科学の進展は遅すぎます：助成金申請は数か月、文献レビューは数週間。研究者は発見よりも書類作業に時間を費やしています。私たちはそれを解決します。サンフランシスコの小さく高速なチームに参加し、日々顧客と対話しながら継続的にリリースを行います。

同じ日のほかのニュース

一覧に戻る →

2026/03/17 5:59

MistralがLeanstralをリリース --- (※「Leanstral」はそのまま固有名詞として扱います。)

## Japanese Translation: --- ## Summary Leanstral は **Lean 4 専用に設計された最初のオープンソースコードエージェント** であり、Apache 2.0 ライセンスの下でリリースされ、重みファイルをダウンロードできるほか、一時的な無料 API エンドポイント（`labs-leanstral-2603`）と公開された技術レポートがあります。 このモデルは **証明工学タスクに最適化された非常にスパースな 6 B‑パラメータアーキテクチャ** を採用し、Lean を完璧な検証器として活用した並列推論を実現しています。モデルは **lean‑lsp‑mcp データセット** 上で訓練されており、Mistral Vibe 経由で任意の Model‑Composed Pipelines（MCP）をサポートします。 **FLTEval** で評価すると—FLT プロジェクトにおける形式的証明の完了と新概念の定義をベンチマークし、単独の数学問題ではなく実際のタスクを測定する—Leanstral‑120B‑A6B は **pass@2 スコア 26.3 と pass@4 スコア 29.3** を達成し、GLM5‑744B‑A40B（≈16–20）や Kimi‑K2.5‑1T‑32B よりも優れた性能を示しています。Claude 系列モデルと比較すると、Leanstral は **$36 で pass@2 スコア 26.3** を達成し、Sonnet の $549（スコア 23.7）に対して同等の性能です。また **pass@16 スコア 31.9 が $531** で得られ、Sonnet の $8,031.9 と比較しても大幅に低価格です。Claude Opus 4.6 モデルは依然として最高品質ですが、$1,650 という価格は Leanstral の同等スコア時の費用の約 90 倍以上になります。 実際のケーススタディでは、その実用性が示されています： * Lean 4.29.0‑rc6 の破壊的変更を診断し、`def` と `abbrev` 間の定義等価性問題を特定して正しい修正案を提示し、ユーザーに説明しました。 * Princeton の CS 441 コースから Rocq 定義を Lean に変換し、カスタム記法を扱い、証明が提供されていないプロパティも自動で証明しました。 Leanstral は **Mistral Vibe** に統合されており、ユーザーは `/leanstall` エンドポイントを呼び出してゼロセットアップのコーディングと証明を行えます。一時的な API エンドポイント（`labs-leanstral-2603`）はフィードバックと観測データ収集のために利用可能です。ユーザーはモデル重みをダウンロードし、Leanstral をローカルで実行したり、Mistral Vibe にサインアップして完全なドキュメントへアクセスすることもできます。 この軽量かつコスト効果の高いツールは、開発者や研究者が形式的検証ワークフローを加速させるために活用でき、コミュニティへの貢献と学術界および産業界での広範な採用を促進します。

2026/03/17 3:12

Meta、jemallocへの再挑戦を強化

## Japanese Translation: ``` ## Summary Meta は、Linux カーネルや Meta のインフラストラクチャ内のコンパイラなど重要なコンポーネントを動かす高性能メモリアロケータである jemalloc に注力することを決定しました。この移行は長期的なメリットに基づいており、保守コストの削減、コードベースの近代化、および進捗を遅らせていた技術的負債の排除が目的です。今回の取り組みの一環として、オリジナルのオープンソース jemalloc リポジトリはアーカイブから外されました。 主な改善領域は以下の通りです： - **技術的負債削減** – 効率と信頼性を向上させるためにクリーンアップとリファクタリングを実施。 - **Huge‑Page Allocator (HPA)** – CPU の効率化を図るためにトランスペアレントヒュージページ（THP）の使用を改善。 - **メモリ効率** – パッキング、キャッシュ、およびパージング機構の最適化。 - **AArch64 最適化** – ARM64 プラットフォームでのアウト・オブ・ザ・ボックス性能を確保。 Meta はオープンソースコミュニティに貢献を呼びかけ、jemalloc の将来ロードマップを共に形作ることによって、Meta 自身のソフトウェアユーザーとこのアロケータに依存する広範なエコシステム双方に利益をもたらすよう促しています。 ```

2026/03/17 2:17

小さなWebは、あなたが考えているよりもずっと大きいものです。

## 日本語訳: **概要** 本文は、**「小さなウェブ」― 通常のブラウザとサーバーでアクセスできる非営利・個人向けサイトが依然として膨大かつ活発だが、1 ページだけでまとめるにはあまりにも大きい」という事実を説明しています。** - **背景**：Gemini プロトコルは世界中に約 6,000 のカプセル（capsule）という独自のエコシステムを持ち、そのフォーラムには主に IT 専門家で構成される約 100 名が参加し、商業的利用は推奨していません。 - **手法**：著者は Kagi が公開する更新フィードを配信しているサイトのリストを使用しました。このリストは昨年の約 6,000 件から今日では約 32,000 件に増加し、多くはプライベートブログや企業がホストするサイト（例：Blogger）です。 - **フィルタリングプロセス** 1. 各フィードをダウンロードし、タイムスタンプと有効な XML があることを確認した結果、約 25,000 サイトに絞られました。 2. 月間更新が 1 回未満のサイトを除外すると、約 9,000 のアクティブサイトが残ります。 - **結果**：3 月 15 日時点でこれら 9,000 サイトは 1,251 件の更新（主に新しいコンテンツ追加）を生成し、過去の日付とほぼ同程度です。毎日の更新量を見ると、単一ページの集約は非実用的であり、小さなウェブはその規模と活発さからそのような表示には不向きです。 - **結論**：サイズが大きいにも関わらず、小さなウェブは成長を続け、主流プラットフォームに対する広告なしの代替手段として機能します。 - **行動喚起**：著者は読者に対し、このページへの参照 URL を含む Webmention を送信してもらい、継続的な関与を促しています。