Safety
short summary of GPT-6 Astra and why it doesn’t bail OpenAI out of its economic mess:
short summary of GPT-6 Astra and why it doesn’t bail OpenAI out of its economic mess: they have made lots of progress (partly using neurosymbolic techniques!) on problems that can be formally verified
short summary of GPT-6 Astra and why it doesn’t bail OpenAI out of its economic mess: they have made lots of progress (partly using neurosymbolic techniques!) on problems that can be formally verified, but that progress was very expensive and doesn’t translate well outside of benchmarks, and on the ECI the gain was modest. Astra is not that much better than the la…
Related
- The US government absolutely should NOT bail out OpenAI. They have AFAIK been given more funding than anyone in history and there is no evid…
- Wrong! If an AI leverages symbolic operations (conditionals, operations over variables, code interpreters, etc) and neural networks it is ne…
- Hot take on OpenAI GPT-6 Astra*, with a challenge to @gdb’s claims about it being AGI toward the end: • Looks to be pretty impressive. Multi…
- people with advanced degrees who can’t distinguish between pure LLMs (which is what I critiqued in 2022) and LLMs enhanced with neurosymboli…
Source: Gary Marcus (X) | 2026-09-14