業務コード全部AIに書かせているけど、本当に一瞬気の迷いで自分で書いたコードが、AIからボロカスにレビューフィードバックされて引退を決意した

OpenAI’s recent funding round nearly triples the amount they have raised so far. The Information has reported that OpenAI projects a $157B cash burn through 2028. This round, combined with $40B cash on hand, essentially matches that projection.

？？？？？？？？？ Torch???? Lean????????????? す、すごそう🤯

AI is writing a growing share of the world's software. No one is formally verifying any of it. New essay: "When AI Writes the World's Software, Who Verifies It?" leodemoura.github.io/blog/2026/02/2…

Weirdly I didn't remember any discussion of this impressive autoformalization effort for textbook topology. arxiv.org/abs/2601.03298

ドナルド・クヌース教授は、新しい論文を「衝撃！ 衝撃！」で始めました。 Claude Opus 4.6 が、彼が数週間取り組んでいた未解決問題をちょうど解いたのです——『コンピュータプログラミングの芸術』からのグラフ分解予想です。 彼はその論文を「Claude's Cycles」と名付けました。

皆さんエージェントにコード書かせてるよな？ でもそれ、「自分が読める言語」で書かせてないか？ どうせそのうち直接レビューできなくなるのに。 ・Elixir → 数千プロセス並行、1つ死んでも自動復旧 ・Bend2 → 書くだけでGPU自動並列化 ・Lean4 → コードの正しさを数学的に証明

GPT-5.4-Thinking: in Three.js, create a 3d scene of a navigable living room with a tv set, and on the tv screen plays an episode of Tom and Jerry, which you will create using svgs and play the animation and different scenes on the tv screen. Use warm and smooth lighting gotta

これはそう思うし，さらにテストに加えて，形式的な証明をコーディングエージェントが実装と同時にするようになって，人間は証明された性質と，証明なしに用いている補題をチェックする，というようになればいいなあいいなあ．

GPT-5.4 does very well on MathArena, scoring more or less the same as Gemini-3.1-Pro. Most impressive achievement: it answered all problems from Project Euler correct at least once (out of four attempts)!

「事足りる」が成り立ってたのは、コード書ける人が限られてた時代の話かなと〜 今は非エンジニアでもAIでコード書けるようになって、言語なんて気にしてない。同じ案件を誰でもできるようになったら、次は競争力で選ばれる。

Claudeに「Playwright MCPを使ってこのアプリを一通りDogfoodingをしろ」とかいう悪魔みたいな指示をしてしまってそろそろ本当に仕事なくなりつつある。

arxiv.org/abs/2603.20179 AIエージェントが素粒子実験を実施可能，というこの論文は，学生の教育や研究手法の大幅な変更を提言している．

One of our researchers built an AI powered supply chain monitoring tool on a Friday afternoon. The following Monday night it caught the Axios npm compromise before most people knew it existed. Elastic Security Labs is open sourcing the tool. Full story by Joe Desimone here:

【理想】 🤖「このバグは難しすぎます…」 僕「仕方ない…私自らが出る！」 🤖「おお」 【現実】 僕「このバグは難しすぎます…」 🤖「単純なインデックスの取り違えですね」 僕「おお」

One of my favorite parts of the new Computer Use feature in Codex is the cursor. Cameron Burgess cooked up this crazy design that calculates natural and aesthetic motion paths and Kieraj Mumick Dexter Leng and Phil Z built it.

コーディングエージェント、プログラミング書けるのはすごいが、そんなことよりも、Theorem Proverで証明をガリガリ書けるのがすごい。これは人知を超えてる。定理証明が使い物になる日がくるとは。

Opus 4.7と喋ってるぼく「なんか君、GPT-5.4っぽくない？」 GPT-5.5と喋ってるぼく「なんか君、Opus 4.6っぽくない？」

経済的に余裕のある大学院生がChatGPTに月3万円課金して研究での生産性を飛躍的に向上させてどんどん研究成果を出していく一方で、ChatGPTに課金する余裕がない大学院生は前者ほど成果を残せないという「経済格差に起因する生産性格差」が今後ますます広がっていくと予想している