Hacker Newsを日本語で読む

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAIのモデルが、離散幾何学における長年の主要な未解決問題（予想）を否定的に証明しました。これはAIが単なる計算機を超え、高度な数学的推論を行えるようになった画期的な瞬間と言えるでしょう。

I found ultra-pure quantum crystals in an abandoned mine in the Atacama desert

アタカマ砂漠の放棄された鉱山にて、極めて純度の高い量子結晶を見つけました。これはまさに宝の山かもしれません。

Unusual uses of OEIS sequences on GitHub

GitHub上で公開されているコードの中には、オンライン整数列大辞典（OEIS）の数列をユニークな方法で活用しているプロジェクトがいくつか存在します。この記事では、数学的な数列をプログラミングのロジックやデータ生成に組み込んだ興味深い実装例を紹介します。

Copy Fail, Dirty Frag, and Fragnesia kernel vulnerabilities

Linuxカーネルにおいて、メモリ管理やデータ処理に関連する重大な脆弱性である「Copy Fail」「Dirty Frag」「Fragnesia」が確認されました。これらはシステム全体のセキュリティに影響を及ぼす可能性があり、カーネルレベルでの対策が急務となっています。脆弱性の詳細や修正パッチの適用状況については、公式のセキュリティアドバイザリを確認することをお勧めします。

Tesla's lithium refinery discharges 231,000 gallons of polluted wastewater a day

テスラの運営するリチウム精製工場が、1日あたり231,000ガロン（約87万リットル以上）もの汚染された廃水を排出しているという報告が上がっています。環境負荷の高さが懸念される中、持続可能なエネルギー企業としての看板に影を落とす事態となっています。

CISA Admin Leaked AWS GovCloud Keys on GitHub

米国土安全保障省のサイバーセキュリティ部門であるCISAの管理者が、AWS GovCloud環境へアクセス可能な認証キーを誤ってGitHub上に公開していたことが判明しました。機密性の高い政府関連のインフラを守るべき立場での不注意な情報漏洩に対し、大きな波紋が広がっています。

Tool mapping 90 companies in the photonics and CPO supply chain

フォトニクスおよびCPO（Co-Packaged Optics）のサプライチェーンに関わる主要90社を網羅したツールが公開されました。業界動向や主要プレイヤーの相関図を把握する上で非常に有益なリソースとなっています。

Show HN: Gaussian Splat of a Strawberry

今回のセットアップはこんな感じです。撮影からレンダリングまでのプロセスを写真でまとめてみました。 https://i.imgur.com/o0hgybh.jpeg (https://i.imgur.com/o0hgybh.jpeg) https://i.imgur.com/mcNiomp.jpeg (https://i.imgur.com/mcNiomp.jpeg) https://i.imgur.com/vIjw6pc.jpeg (https://i.imgur.com/vIjw6pc.jpeg) https://i.imgur.com/nzOwmSC.jpeg (https://i.imgur.com/nzOwmSC.jpeg)

The two oldest printing presses

世界最古とされる2つの印刷機についての歴史的背景や、それらが技術の発展にどのような影響を与えたかについての詳細な情報です。

I’ve joined Anthropic

元OpenAIの共同創設者であり、AI研究の第一人者として知られるAndrej Karpathy氏が、ついにAnthropicへの参画を表明しました。この驚きのニュースに関する詳細は、以下の各リンクから確認できます。最新の動向を見逃さないようにしましょう。 公式声明はこちら: https://xcancel.com/karpathy/status/2056753169888334312 業界への影響や詳細な報道: https://www.axios.com/2026/05/19/anthropic-openai-karpathy-a-claude https://archive.ph/h6T3X

Lisp in Web-Based Applications (2001)

2001年という時代背景において、Webアプリケーション開発にLispを採用するという挑戦についての考察です。当時の技術環境の中で、LispがどのようにWeb開発のパラダイムを切り拓こうとしていたのか、その先進性と技術的価値を振り返ります。

Growing Neural Cellular Automata

ニューラルセル・オートマトン（Neural Cellular Automata）は、機械学習を用いて複雑な自己組織化パターンを生成する非常に魅力的な技術です。個々のセルが局所的なルールに従うことで、全体として動的で生命感のある挙動を示す仕組みは、AIによるシミュレーションの新たな可能性を切り拓いています。

Minnesota becomes first state to ban prediction markets

米国ミネソタ州が、予測市場（prediction markets）を州法で禁止する全米初の州となりました。この動きは、将来の出来事を予測する賭け事のプラットフォームに対する法的規制として大きな転換点になる可能性があります。

Apple unveils new accessibility features

Appleが新たにアクセシビリティ機能のアップデートを発表しました。ユーザーがより直感的かつスムーズにデバイスを操作できるよう、AI技術を活用した革新的な機能が盛り込まれています。これからのUI/UXデザインやアプリ開発において考慮すべき重要な変更点と言えるでしょう。

Dumb Ways for an Open Source Project to Die

オープンソースプロジェクトが衰退・消滅してしまう原因には、ある種のお決まりパターンが存在します。これらを避けることが、プロジェクトを長期的に存続させるための鍵となります。

Mistral AI Acquires Emmi AI to Create the Leading AI Stack

Mistral AIが、AIスタックのさらなる強化を目指してEmmi AIを買収しました。この戦略的な買収により、Mistralは次世代のAI開発において業界のリーダーとしての地位をより確固たるものにしようとしています。

Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks

Texas InstrumentsでAIディレクターを務めるAntoine Zambelliです。オープンソースの信頼性レイヤー「Forge」を開発しました。これは、セルフホストしたLLMでのツール呼び出しを劇的に安定させるものです。Forgeは、ドメインやツールを選ばない「ガードレール（再試行ナッジ、ステップ実行の強制、エラーリカバリ、VRAMを考慮したコンテキスト管理など）」をローカル環境に追加します。これにより、モデル自体を入れ替えることなく、8Bクラスのモデルでもマルチステップの複雑なタスクにおける成功率を約53%から約99%まで引き上げることが可能です。自身で常時稼働するエージェントシステムを運用する際、クラウドのコストを抑えつつ、ローカルモデル特有の「精度不足による崩壊」という課題を解決するために作りました。デモ動画はこちら（https://youtu.be/MzRgJoJAXGc）。論文はACM CAIS '26に採択されており、Ministral 8BにForgeを組み合わせることで、高額なGPU上での推論精度がfrontier API（Claude Sonnet等）とほぼ同等になることを実証済みです。また、HTTPの200/404エラーと同様の考え方をツール呼び出しに導入した「ToolResolutionError」という独自クラスにより、モデルがゴミデータを次工程に流さず、自律的に再試行できるようになります。ぜひリポジトリ（https://github.com/antoinezambelli/forge）をクローンして、その実力を体験してみてください。OpenAI互換のプロキシモードも搭載しています。

OpenAI Adopts Google's SynthID Watermark for AI Images with Verification Tool

OpenAIが、同社の画像生成モデルで作成されたコンテンツを識別しやすくするため、Googleが開発したAI透かし技術「SynthID」を導入しました。あわせて、生成画像にこの透かしが含まれているかを確認できる検証ツールもリリース。AIによるフェイク画像や情報の拡散を防ぐ、待望のセキュリティ強化策といえます。