221誰も知らなかった惑星を見つけたと思う。私は「Claude Code」を使ってそれを見つけた。ネットワークセキュリティ によるアクセス制限の通知 Redditアカウント でのログインまたは 開発者トークン の利用が必要 間違ってブロックされた場合は サポートチケット の提出が可能 継続利用のた...11日前|原文(reddit.com)
222OpenAIが3つの数学的成果を撤回OpenAIのGitHubリポジトリにて、Leanによる新たな形式化が追加 6件の新規形式化、19件の修正、3件の撤回が実施 全体の約42%の主要成果が形式化済み 今後も新たな形式化やエラー修正を継続...11日前|原文(twitter.com)
223「Math 2.0」は数学の進歩をより包括的に評価する必要があるMastodon のウェブアプリ利用には JavaScriptの有効化 が必要 JavaScriptを有効にできない場合は ネイティブアプリ の利用を推奨 各プラットフォーム向けに 公式アプリ が提供...11日前|原文(mathstodon.xyz)
224米国男性、音楽ストリームのボットファーミングで懲役刑を言い渡されるMichael Smith がAI生成楽曲のストリーミング詐欺で有罪判決 18か月の禁錮刑 と 800万ドルのロイヤリティ没収 10,000件以上の偽アカウント による不正ストリーミング AI楽曲数十...11日前|原文(thequietus.com)
225なぜ業界は「DeepSeek 4.1 Flash」について騒いでいないのか？DeepSeek 4.1 Flash は、実用面・コスト面で「frontier」モデルに匹敵 中国製LLM が急速に追い上げ、米国大手とほぼ同等のタスク処理能力 KVキャッシュ最適化 により、長時間利...11日前|原文(dgt.is)
226アポロ計画のソフトウェア開発を指導したマーガレット・ハミルトン氏が死去しましたMargaret Hamilton はNASAのApollo計画でソフトウェアチームを率いた伝説的なコンピュータ科学者 ソフトウェア工学を専門分野として確立し、130以上の論文を執筆 Apollo計画...11日前|原文(news.mit.edu)
227「ジョナサン」は地球上で最も古い陸生動物ですJonathan は推定194歳の世界最長寿陸生動物 遺伝子解析で長寿の秘密が一部判明 DNA修復 や ミトコンドリア機能 に関する特異な遺伝子変異 若い個体との メチル化状態 比較で新発見 さらなる...11日前|原文(404media.co)
228マスアポカリプスOpenAIによるAIが、数学界の長年の難問372件を「証明」したという歴史的ニュース。 証明の正当性や内容の理解は人間にはまだ困難で、専門家たちが必死に解析中。 AIによる証明の質や発表方法、今後の...11日前|原文(scottaaronson.blog)
229メタとマイクロソフトが「Claude AI」の従業員利用を減らすための措置を講じるMetaとMicrosoftは、AnthropicのClaude AIの社内利用を大幅に縮小。 自社開発のAIコーディングツールへの移行を加速。 AIコスト管理と開発者リソースの主導権確保が主な目的。...12日前|原文(rswebsols.com)
230クロード・ハイク 5.5Claude Haiku 5.5 は、これまでで最も 高速・低コスト・高性能 な小型モデル 高頻度・コスト重視 のタスクに最適化され、 大幅なコスト削減 を実現 Opus 5.5やSonnet 5.5...12日前|原文(anthropic.com)
231GPT-6と誰でも使えるインテリジェントUIGPT-6 モデルがChatGPTに導入され、より多くのユーザーが利用可能に Intelligent UI で対話が視覚的・インタラクティブに進化 回答速度と品質 が大幅に向上、部分的な応答も可能 安...12日前|原文(openai.com)
232Dockerエージェントdocker-agent は、YAML設定でAIエージェントを構築・実行・共有できるCLIプラグイン。 マルチエージェント 構成や豊富なツール連携、AIプロバイダー非依存性が特徴。 Docker De...12日前|原文(github.com)
233DuckDB ダックレイクDuckLake は SQL と Parquet を基盤としたオープンなLakehouseフォーマット DuckDB 拡張機能として DuckLake を直接読み書き可能 メタデータ はカタログDB、...12日前|原文(github.com)
234親が使っていたコーヒーメーカーが10日間で1TBのデータを消費していたことを発見した男性IT専門家 が両親のスマートコーヒーメーカーの異常なネットワーク通信量を発見 わずか 10日間で1TB ものデータ通信を記録 通信の大部分は 家庭内ネットワーク 内で発生 バグによる Wi-Fiアクセ...12日前|原文(dexerto.com)
235Show HN: Bigwords.page – どんな画面もサインに変えるアプリ。URLはアプリです。Big words for any screen は、リンクだけで全画面表示のサインやメッセージ、タイマーを作成できる無料サービス。 アカウント登録やアプリ不要、情報はサーバーに保存されない。 どのデ...12日前|原文(bigwords.page)
236ナビエ–ストークスの翻訳の迷いAIによる数学テキストの自動形式化 の信頼性に関する検討 自然言語から形式言語への翻訳 で生じる意味的忠実性の問題 Solvability Complexity Index (SCI) の観点からの困...12日前|原文(arxiv.org)
237Git操作、プルリクエスト、アクションに関するGitHubのインシデント2026年10月7日 にGitHubの複数サービスで障害発生 Git Operations、Pull Requests、Actions などが影響を受ける 原因を特定し、復旧作業と安定性の監視を実施 ...12日前|原文(githubstatus.com)
238ビザ、マスターカード、大手銀行が「反競争的」手数料を巡る新たな訴訟に直面San Diegoのピザ店がVisa、Mastercard、主要銀行を相手取り、手数料の価格操作を主張 既存の50億ドル和解後も反競争的行為が継続していると訴え 手数料が競争原理を阻害し、加盟店に過大...12日前|原文(classaction.org)
239ヴィクトリア朝のエリートはなぜこれほど効果的だったのか？現代の成功者本は、成功を厳格で魅力のないものとして描写 ヴィクトリア朝イギリスのエリートは、学問や規律よりも社交や娯楽を重視 当時のエリート教育はソフトスキルやネットワーク形成に重点 学校生活は勉強よ...12日前|原文(worksinprogress.co)
240ウェブページ用のアニメーションASCIIアート本文はアスキーアートで表現されたデザインについての解説 ASCIIアートの特徴や用途を簡潔に紹介 作成方法や注意点についても言及 代表的な活用例を箇条書きで説明 読者が自作する際のポイントを整理 AS...12日前|原文(ascii.rest)