3 ms·

I guess top mathematicians are also mere word generators? https://openai.com/index/model-disproves-discrete-geometry-conjecture/ https://openai.com/index/model

• grey-area 4mo ago
  They’re useful tools, they’re not general AI, nor are they anywhere near the scenario in Dune.
• thinking_cactus 4mo ago
  Being a human may be sufficient (with important exceptions) to play chess, but playing chess well is not sufficient to be a human. Likewise with math, it turns out, it appears. Likewise with most other things we classify as needing intelligence, I bet. It turns out that intelligence is not the same as humanity or sentience etc..
  • the8472 4mo ago
    But they're gaining more and more formerly exclusively human capabilities, increasingly advanced ones. The future isn't here yet, but good policy requires extrapolating and considering predictable consequences before they happen.