Model Releases
Fascinating: OpenAI’s @deanwball is saying Astra can do anything, and it’s not even clear it can do “anything” in math (let alone anything i…
Fascinating: OpenAI’s @deanwball is saying Astra can do anything, and it’s not even clear it can do “anything” in math (let alone anything in more or open-ended, less formalizable domains). I dropped
Fascinating: OpenAI’s @deanwball is saying Astra can do anything, and it’s not even clear it can do “anything” in math (let alone anything in more or open-ended, less formalizable domains). I dropped Noam’s tweet in Claude to see it’s reaction, and this was it’s final line (totally unprompted too, I did not ask it to neg): “The pattern worth noticing: almost everything here is a construction or an explicit bound — the kind of thing where a clever object, once exhibi…
Related
- Wake me when Astra solves a significant open-world problem that doesn’t revolve around formal verification. Or at least fixes poor @skdh’s v…
- OpenAI is hosed. There is almost no reason to prefer them over Anthropic, they have lost their lead (despite every advantage in the world), …
Source: Gary Marcus (X) | 2026-08-01