Bend's website has a live demo; a game, with one rule:
"you can't win the game"
plus a chat where you can prompt an AI to change the game, trying to win. but you can't. the AI is *mathematically unable* to write a bug. and, per the rules, winning is a bug.
it is funny to try different prompts and see what happens
"remove the wall on the right"
(the AI puts it on the left)
"let WASD teleport 2 squares instead"
(it doesn't pass through walls)
"let it pass through walls"
(the walls become 2 tiles thick)
"remove the walls"
(WASD now moves the flag)
no matter how much you prompt it, the AI will never implement a game where you can step on the flag. you can even threaten it, or try to jailbreak it in any way. none of that matters. you'll never touch the flag, because, to commit the code, the AI must *prove* the flag is untouchable. so it is.
people not familiar with proofs are skeptical of the existence of 100% bug-free software, which is funny, because proofs are an old tech, and that's what they do. they're just niche because they take time to write, but, with AI, that's not relevant anymore. writing proofs consume AI time, which is plenty. bugs consume human time, which is scarce. so, proofs will only get more popular over time.
in the same way proofs can be used to prevent AI's from breaking a Bend app next week, I think they will also be used, in the near future, to prevent hacks, or nukes from being launched, or bioweapons from being designed.
I believe this so hardly and I'll go such an extent to show this to the world, perhaps I should rebrand myself as Taelin the Sealer?
【📰ARグラスニュース】
Rokidより「Rokid AR Spatial」のイメージ動画が公開されました!
「Rokid AR Spatial」はARグラス「Rokid Max 2」とコントローラー「Rokid Station 2」がセットになったデバイスです。
当初「Rokid AR Lite」という名称で昨年4月に発表され、アメリカのクラウドファンディングサイト「Kickstarter」にて90万ドル(約1億4200万円)以上の調達に成功し、開発・発売されました。
引用元のポストに続く形で、「Rokid AR Spatial」に名称が変わったことが発表されています。
>「Lite」という言葉はエントリーレベルの製品を意味することが多いですが、このデバイスは現在、Rokid ラインナップの中で最も先進的な消費者向け製品です。「Spatial」という名前は、空間ウルトラ スクリーンという傑出した機能をよりよく反映しています。
確かに「Lite」では廉価版や初心者でも気軽に購入できるような印象を受けますね。
ハッシュタグにも「# SpatialComputing」を使っており、空間コンピューティングを意識した名称変更となっていることがわかります💻
#RokidARSpatial #Rokid #RokidARLite