No. Did you even read the article? It talks about the "specification gap", which is the difference between the formalized semantics and the intended semantics.
Every formal method has that problem (including the mentioned trivial ones like SAT and SMT).
Opus 4.7 told me an open source program had a bug, but when i asked it for help crafting a PR or toy implementation it refused and told me i was violating Claudes TOS. I tried to plead for it to give only the most innocuous example that could not possibly work except by illustration but it continued to refuse. it would only discuss, not write any single piece of related code.
Using Claude Max was fun for more than a year but the last weeks i'm constantly fighting their Harness, their weekly TOS changes and outages. Anthropic lost all goodwill with me as a developer. I'm switching to OAI.
Anyway, why does Microsoft bottleneck itself when it could have 10 different AI teams. That's why 10 new AI startups can achieve what these behemoths can't.
Microsoft already suffers from lack of software consolidation. It costs a lot of money to maintain 10 different tech stacks. Not to mention having separate security/privacy review processes for each.
We are talking multitrillion company here, money shouldn't be an issue. Though you prove my point, they lack coordination. Also AI lacks coordination and strategy and won't solve BigTech management problems any time soon. Best they can try is providing tools trying to capture what others, that are actually inventive, can do. That's why they will stay at Azure level.
Which demo did you try? The car configurator? Also if you're using Firefox, WebGPU isn't supported there yet, so I recommend trying using a Chromium browser.
In my case, several of the WebGPU demos on https://simplystream.com/demos fail (while keeping on falsely showing "Loading") with the error message (in DevTools):
"WebGPU requestDevice failed, trying low spec DOMException: Failed to execute 'requestDevice' on 'GPUAdapter': Required limit (64) is greater than the supported limit (32)."
More or less. Cat and Girl is interpreted as 2 not-proper nouns. But even when you just spam Dorothy Gambrell it doesn't get it. It doesn't seem to know the style individually, at all.
You don't have a way to reach out on your profile but I'd be willing to scan and send you a csv of your collection for easy selling for a low flat rate
reply