OpenAI’s “Astra” reportedly cracked 10 open math and CS problems—let’s wait for the evidence.
Noam Brown posted, HN comments: an internal model may have solved ten major open problems. Nothing is published. We observe, we do not conclude.
17 h ago 8 8