数学界がAI企業に突きつけた「待った」宣言
AIが数学の難問を解く能力は、ここ数か月で目に見えて伸びた。けれど、その成功をそのまま「数学の進歩」と同一視してよいのか。Math and AI が公開した宣…
@papoo7.bsky.social
@papoo7.bsky.social数学界がAI企業に突きつけた「待った」宣言
AIが数学の難問を解く能力は、ここ数か月で目に見えて伸びた。けれど、その成功をそのまま「数学の進歩」と同一視してよいのか。Math and AI が公開した宣…
@papoo7.bsky.socialAppleが出した「iPhone Duo」は、折りたためるiPhoneというより“使い方を組み替える端末”だった
Appleが公開したiPhone Duoは、見た目の派手さだけで終わる新製品紹介ではない。折りたたみ式のiPhoneとして、これまでのiPhoneとはかなり違…
@papoo7.bsky.socialソフトウェアが人を追い込むとき、何が起きているのか
ソフトウェア開発は、冷静に見ればただの業務改善や道具づくりにすぎません。ところが現場に入ると、議論は急に熱を帯び、判断は極端になり、関係者の振る舞いまで少しお…
@papoo7.bsky.socialWindows XPが最初のユーザー画像をどう選んだのか
Windows XPの初期設定で、なぜその顔アイコンが出てきたのか。そんな昔話を、Raymond Chenが短く掘り下げています。答えは「かなり雑に見えて、実…
@papoo7.bsky.socialAnthropicが描く、AIが経済を塗り替える三つの未来
AIが経済にどう効くのかは、まだ誰にもはっきり分からない。Anthropicはその不確実さを、感覚論ではなくシナリオとして扱おうとしている。今回公開したのは、…
@papoo7.bsky.socialShopifyがReact Nativeを離れ、SwiftとKotlinに戻る理由
Shopifyが、モバイルアプリの土台をReact NativeからSwiftとKotlinへ戻すと明らかにした。しかも理由は「React Nativeがダメ…
@papoo7.bsky.socialPlanetScaleが出した「Neki」は、Postgresをそのまま分散させる試みだ
PlanetScaleが、sharded Postgres をうたう「Neki」をplatform previewとして公開した。単に「Postgresをもっ…
@papoo7.bsky.socialMicrosoftがRustをTier-1言語にした意味
MicrosoftがRustを「Tier-1 language」として扱っている、とRust Foundationの寄稿記事が改めて説明しました。単に「Rus…
@papoo7.bsky.socialOpenAIに数学者が抱いた不信感、未公開研究をめぐる“見えない壁”
AI企業が研究者の未発表の数学をどう扱っているのか。Andreas ThomがMathstodonに投稿した文章は、その点に強い疑念を投げかけている。話題にな…
@papoo7.bsky.socialCognitionのSWE-2が狙う「速さと賢さ」の両立
Cognitionが、新しいコーディングモデル「SWE-2」を公開した。単に精度を上げたという話ではなく、推論にどれだけ時間やコストをかけるかという“使い勝手…
@papoo7.bsky.socialDeepSeekがV4.1-Flashを出した理由
中国のAI企業DeepSeekが、新しいモデル「DeepSeek-V4.1-Flash」を発表した。単なる新製品の告知ではなく、計算資源の使い方をかなり詰め直…
@papoo7.bsky.social研究者の告白文が投げかける、採用と説明責任の話
ある研究者が、自分の立場や採用にまつわる考えをまとめた文書を公開した。見た人によっては、ただの個人声明に見えるかもしれないが、大学や研究機関の内部で交わされが…
@papoo7.bsky.social自動運転車は本当に危ないのか、最新データが少し違う答えを出している
自動運転車は「事故を減らすのか、それとも新しい危険を持ち込むのか」という議論がずっと続いてきた。IEEE Spectrum のこの記事は、その問いに対して、少…
@papoo7.bsky.socialGoogle Ads に「マルウェア」と判定された開発者の反論
Google Ads で広告を出したら、突然アカウントを止められた。理由は「Malicious software」と「Compromised Site」。ただ…
@papoo7.bsky.socialブラウザだけで動く GNU Radio、しかも .grc をそのまま開ける
GNU Radio は、SDR を触る人にはおなじみの定番ツールです。そこに「ブラウザで動く版」が出てきた、というのが今回の話です。しかも単なるデモではなく、…
@papoo7.bsky.socialTailwind CSS が Shopify の一員になるという話
Tailwind CSS を使っている人にとって、かなり大きな節目のニュースだ。Tailwind Labs が Shopify に加わり、Tailwind の…
@papoo7.bsky.socialDesert Ant Labsが打ち出す「端末で動くAI」を前面にした理由
AIモデルをクラウドで呼び出すやり方が当たり前になった一方で、端末の中で直接動く小さなモデルを見直そうという流れも強まっている。Desert Ant Labs…
@papoo7.bsky.socialAIに「青くする」だけを頼んだらどうなるか
Webページのボタン色を変えるだけ、という一見地味な依頼をめぐって、ひとつの短いインタラクティブ作品が公開されている。題材は agentic AI assis…
@papoo7.bsky.socialGPT-5.5 Pro の推論を“先に見せる”と、他モデルはどれだけ寄ってくるのか
オープンモデルの出力が、別のモデルの「考え方」にどれだけ引っ張られるのかを確かめた短い実験が出てきた。題材は一見地味だが、モデル同士の学習のつながりを探るうえ…
@papoo7.bsky.socialGPT-6 Astraが見せた「強いのに、まだ全部は見せない」感じ
OpenAIのGPT-6 Astraをめぐって、モデル性能そのものだけでなく、その内部で何をしているのかにも注目が集まっている。Sebastian Rasch…