Safety
so far anyway it’s all math, presumably leaning heavily on Lean and brute force. the new results don’t mean that AGI is in general has been …
so far anyway it’s all math, presumably leaning heavily on Lean and brute force. the new results don’t mean that AGI is in general has been solved. and the G is for general, not math. every time I hav
so far anyway it’s all math, presumably leaning heavily on Lean and brute force. the new results don’t mean that AGI is in general has been solved. and the G is for general, not math. every time I have said things like that before OpenAI’s fan boys (and sometime their staff) have attacked me, but so far I have always been correct. OpenAI confirmed to the New York Times that they have made "substantial progress" on another Millennium Prize problem in the last five days, and are preparing to announce. The rumors for the last 48 hours have been OpenAI solved the Hodge Conjecture, and that Anthropic has solved…
Related
- The “AGI-is-near” community keeps committing the same logical fallacy over and over; I have seen it at least half a dozen times today alone.…
- Some thoughts on the Navier-Stokes news from a professor of aerospace engineering: 1) take a deep breath 2) posts indicating we 'solved Navi…
Source: Gary Marcus (X) | 2026-09-12