1181LLMはどのような数学が得意か？本記事は、OpenAIが数学と理論計算機科学の10大問題を解決した直後の状況を記録 LLM（大規模言語モデル）の数学的能力とその限界の現状分析 LLMが特に得意とされる「反例発見」の本質的意味とその難...70日前|原文(gowers.wordpress.com)
1182コードは安い。話を聞かせてください。LLM（大規模言語モデル）によるコーディングツールの登場で、従来のソフトウェア開発は根本的に変化 開発プロセスの労力・コスト・スキル要件が劇的に低減 従来のコード品質指標や努力の価値が揺らぎ、プロジェ...264日前|原文(nadh.in)
1183アップルクリエイタースタジオAppleは Apple Creator Studio を発表。Mac、iPad、iPhoneユーザー向けの サブスクリプション型クリエイティブアプリ群。Final Cut Pro、Logic Pro...281日前|原文(apple.com)
1184AGIの定義AGI（汎用人工知能） の明確な定義の欠如が現状と理想のギャップを不明瞭化 本論文は 定量的フレームワーク を提案し、AGIの評価方法を提示 Cattell-Horn-Carroll理論 に基づき、1...360日前|原文(arxiv.org)
1185OpenTSLM: 時系列を理解する言語モデルAI分野で新たな基盤モデル「Time-Series Language Models（TSLMs）」の登場 TSLMsはテキストと並んで時系列データをネイティブに扱う能力 従来モデルに比べて桁違いの効率...385日前|原文(opentslm.com)
1186トークンの価格が上昇していますAI業界の「コストは10倍下がる」神話の問題点を徹底解説。 フラットレート型サブスクリプションモデルの限界と崩壊の理由。 利用者の「品質への貪欲さ」と消費トークン量の爆発的増加。 サステナブルなAIビ...444日前|原文(ethanding.substack.com)
1187数学が証明以上のものであるなら、私たちはその残りの部分をもっと祝う必要がある現在、 数学界 では証明の自動生成が人間の理解を妨げる可能性が議論されている 「動機付けられた説明」 に学術的価値を与えるべきという提案 証明と説明の違い、および説明の重要性を強調 実例として Pri...32日前|原文(terrytao.wordpress.com)
118884日で任天堂64のゲームを逆コンパイルするSnowboard Kids のオリジナル版が 100%デコンパイル 達成 コミュニティと専門家の協力 が不可欠だった点を強調 AIの役割と限界、人間の直感や経験の重要性 IDOコンパイラの難しさ と...55日前|原文(blog.chrislewis.au)
1189EYカナダがサイバーセキュリティレポートを発表し、ほとんどの引用が虚偽であったErnst & Young (EY) Canada のサイバーセキュリティ報告書に 偽引用 や誤情報が多数含まれていた事例を調査 GPTZero のHallucination Checkツールで検証し...144日前|原文(gptzero.me)
1190認知的負債：速度が理解を超えるときAI支援開発により、コード生産速度と理解速度の乖離が拡大 コードの迅速な出荷が組織的な知識形成を阻害 可視化されない「認知的負債」が蓄積し、組織の長期的リスクに レビューや評価指標が実際の理解度を反映...235日前|原文(rockoder.com)
1191EUスタックにほぼ完全移行し、年間500ユーロを節約しましたプライバシー重視 と データ主権 を守りつつ、 使いやすさ も両立できる時代の到来 Proton を中心としたEU発ツール群への移行体験 コスト削減 と 利便性向上 の両立 一部の用途では 大手サービ...296日前|原文(zeitgeistofbytes.com)
1192クロード・ハイク 4.5Claude Haiku 4.5 は、最新の小型AIモデルとして全ユーザーに提供開始。 Claude Sonnet 4 と同等のコーディング性能を、コスト1/3・速度2倍以上で実現。 リアルタイムAI...371日前|原文(anthropic.com)
1193パランティアが政府への影響力をさらに拡大中Trump政権下で Palantir が米政府の主要ソフトウェア開発企業に急成長 Accenture、Booz Allen、Deloitteなどの大手コンサル契約大幅カット Palantirはこれら企...443日前|原文(wired.com)
1194自律型侵入テスター「XBOW」がHackerOneでトップの座に到達XBOW という自律型ペネトレーションテスターAIが、HackerOneの米国リーダーボードで初のトップ獲得 CTFや独自ベンチマーク による検証から、実際のバグバウンティ環境での運用へ発展 スケーリ...484日前|原文(xbow.com)
1195LLMの関数呼び出しはスケールしない；コードオーケストレーションはよりシンプルで効果的ですLLMにツールコールの全出力を渡すのはコスト高・低速という課題を指摘 出力スキーマが普及すれば構造化データ処理が容易になると提案 コードによるツールコール処理は効率的かつスケーラブルであることを強調 ...518日前|原文(jngiam.bearblog.dev)
1196ブリードウォー ベンチCodex Astra が全モデル中で最も安定した強さを発揮 いずれのモデルも 初心者レベル を超えるプレイは見られなかった Grok はBrood Warを十分にプレイできず モデルによっては RT...32日前|原文(bw.swerdlow.dev)
11973ヶ月間手作業でコーディングするBrooklyn でのコーディング・リトリート体験記 AI時代 にあえて「手書きコーディング」に集中した理由 Aily Labs でのAIエージェント開発経験 Recurse Center での学びと...187日前|原文(miguelconner.substack.com)
1198IBMがArmとの戦略的コラボレーションを発表IBM と Arm が戦略的コラボレーションを発表 AI やデータ集約型ワークロード向けの新しいデュアルアーキテクチャハードウェア開発 柔軟性・信頼性・セキュリティを両立するインフラ選択肢の拡大 ソフ...202日前|原文(newsroom.ibm.com)
1199ロンドンが世界のスタートアップの中心地になった理由この記事は、OpenAIの従業員がCEOのSam Altmanの復帰を求める公開書簡を提出した出来事を中心に解説。 従業員の大多数が経営陣に対し、Altman復帰を強く要求。 Board of Dir...267日前|原文(economist.com)
1200SupabaseがTursoを買収しますAIの進化により、ソフトウェア開発とデータベース需要が爆発的に増加。 SupabaseとTursoが連携し、新しいデータベースインフラを構築。 SupabaseはPostgres、TursoはSQLi...19日前|原文(supabase.com)