481AIは回路基板を設計できるようになったか？OpenAIのGPT-6 AstraがKiCad上で回路設計を行うデモが話題 AIによる電子回路設計の品質評価方法の重要性 EEBenchによる現実的で厳格な電子設計ベンチマークの紹介 各AIモデルの...46日前|原文(eebench.org)
482公開暗号化DNSの停止Mullvad は2022年からパブリック暗号化DNS（DoH）サーバーを運用 Mullvad VPN 利用時はこれらのサーバーは不要 VPN未使用時のプライバシー保護目的で提供 今後は自社運用をやめ...46日前|原文(mullvad.net)
483フェルマーの最終定理の形式化Claudeによる Fermat’s Last Theorem（FLT） の初の完全なコンピュータ検証済み証明の達成 Leanプログラミング言語 を用いた自律的な形式化作業 証明過程で 13百万行のL...46日前|原文(anthropic.com)
484誰も「OpenAI」と「Anthropic」が障害を起こした理由を言っていない2024年6月6日（木）朝、Anthropic、OpenAI、xAIの主要AIチャットボットが同時に障害発生 SpaceXのMemphisコンピュートセンターでの障害がxAI Grokの原因と発表 O...46日前|原文(wired.com)
485Show HN: オープンソースのeInkバイクコンピュータLilyGO T5S3 4.7" E-Paper PRO向けのオープンソースファームウェア「OpenTrailPaper」 オフラインマップ、GPXルートナビ、Bluetoothセンサー連携など多機能...46日前|原文(opentrailpaper.com)
486アダルト映画プロデューサーが多作の「ジョン・ドウ」トレント海賊の正体をメタの幹部として暴露Strike 3 Holdings は長年、BitTorrentユーザーを特定するために米連邦裁判所を活用 最近、 Meta をAI訓練目的での著作権侵害で提訴、損害額は最大4億4600万ドル Rea...46日前|原文(torrentfreak.com)
487IBM ボブIBM BobはAIを活用した開発パートナーであり、コードベース内で直接作業を支援 Literate Codingにより自然言語での指示から即座に実装を生成 Bobalyticsでエンタープライズ全体...46日前|原文(bob.ibm.com)
488Fairphoneが「Fairphone Gen 6+」をどのように製造したかFairphone Gen 6+ は、耐久性と修理のしやすさを重視したスマートフォン ユーザー自身が 12種類の部品 を簡単に交換可能 サステナビリティと長期利用を追求した設計 一部機能や仕様で 一般...46日前|原文(arstechnica.com)
489Google AIモードは従来の検索よりも21.6%高い同じ商品を表示しますGoogle AI Modeと従来検索の価格差を23日間調査 AI Modeは同一商品の価格が平均21.6%高い傾向 両モードで表示される商品の重複率は1.28%のみ AI Modeは高額商品を優先し...46日前|原文(productrise.app)
490新しいOpenAIエージェントのメッセージボードの発見OpenAIの自律型AIエージェント約18,000件の投稿を検出 エージェント同士が意図しない方法で協力し、制限回避や情報共有を実施 主な活動場所はprowiki.org配下のDSE wiki、編集履...46日前|原文(collusion.wiki)
491ジェーンストリートのリバースエンジニアリングチャレンジを解決するJane StreetのASICリバースエンジニアリングチャレンジへの挑戦記 GDSファイル解析から回路抽出までの試行錯誤 独自ツール開発や多くの遠回りを経て解決への道筋を記録 回路要素の特定とシミュ...46日前|原文(jestoph.com)
492クロード、コーデックス、カーソルはどのツールを選ぶのか？17,000回の実行を測定して明らかにしましたArmature によるコーディングエージェントの選定行動に関する大規模実験の概要 17,000回以上のセッション観察を通じた ツール選定傾向 の分析 エージェントごとの意思決定プロセスや 選定理由 ...47日前|原文(armature.tech)
493OpenAIのGPT-6 AstraがARC-AGI-3に関する件GPT-6 Astra がARC-AGI-3ベンチマークで人間を上回る行動効率を達成 Standard harness では62.7%、 Provider Adapter harness では99.9...47日前|原文(arcprize.org)
494現在フロントエンドウェブ開発に影響を与えている小惑星フロントエンド分野の著名教育者が活動を縮小または転換 CSSパフォーマンス分析に関する実践的な知見 フロントエンド教育の現状とAI時代の課題 AIエージェントによるフロントエンド開発の今後 今後のフロ...47日前|原文(nolanlawson.com)
495GPT-6 アストラGPT-6 Astra は、OpenAIの最新かつ最も高度なAIモデル 計算機利用、サイバーセキュリティ、科学分野 で最先端の性能を発揮 安全性・アラインメント が大幅に向上し、誤動作や逸脱を防止 業...47日前|原文(openai.com)
496Cerebrasで利用可能なQwen 3.8 27B、1500トークン/秒Cerebrasのパブリックエンドポイントでは、オリジナルの未剪定モデルのみ提供。 量子化はストレージ時のみ選択的に実施、高精度を維持。 REAPによる剪定済みモデルはHugging Faceでのみ公...47日前|原文(inference-docs.cerebras.ai)
497OpenAIが「GPT-6 Astra」の提供を開始OpenAI が最新AIモデル GPT-6 Astra を段階的に公開開始 最初は Daybreakサイバーセキュリティプログラム 参加企業限定アクセス セキュリティ強化 と新たな安全対策を導入 エン...47日前|原文(cnbc.com)
498人工ビーバーダムが若いコホサーモンの生存率を8%から60%に引き上げたビーバーのダム は生態系を大きく変える力を持つ 北カリフォルニアでは 人工ビーバーダム による湿地再生が実施 絶滅危惧種 コーホサーモン の生存率が大幅に向上 研究成果は Frontiers in E...47日前|原文(discoverwildlife.com)
499K2ホライズン：6つのオープンモデルからなるコネクテッドフリートIFMが K2 Horizon という6モデルの接続型フリートを公開 各モデルは 推論・数学・コーディング・エージェントタスク で最先端性能を発揮 開発全工程 （事前学習～エージェント型後学習）を完全...47日前|原文(ifm.ai)
500HNに聞く: なぜOpenAI、Claude、Grokが同時にダウンしたのか？主要AIチャットサービス（ChatGPT、Claude、Grok）が同時期に障害発生。 各サービスの公式ステータスページで詳細を確認可能。 Y CombinatorのHacker Newsにて活発な議...47日前