ブログ

生成AIに関するヒント、チュートリアル、洞察を発見

古人10人がオープンマイクでラップ、このAI楽曲が1日で100万いいね

古人10人がオープンマイクでラップ、このAI楽曲が1日で100万いいね

古人10人とマイク1本、小さなオープンマイクの舞台。《过来人》は壮大なCGを捨て、杜甫や蘇軾、劉邦を「先を歩いてきた人」として語らせることで、公開初日に100万いいねを集めた。設定も巧いが、本当の資産は手書きのあの一節。だから追随作が量産されても同じ数字は出ない。

Ai·2026年10月24日·読了目安 11 分
仕様は人間が読み、コードは機械が読む

仕様は人間が読み、コードは機械が読む

GitHub Next と Microsoft Research の PDD Kit は、人間に Verus の仕様を承認させ、エージェントの Rust コードがあらゆる入力でそれを満たすことを証明する。Rust 限定の研究プレビューだが、負担は確かに移動した。

Ai·2026年10月23日·読了目安 13 分