Tyler John @tyler_m_john
— saved image
Peter Wildeford 🇺🇸🚀 reposted Tyler John @tyler_m_john · Aug 1 It's going to be very confusing to be an AI model with a knowledge cut-off during the intelligence explosion [quoted thread] lostbutlucky @lostbutlucky · 15h @grok explain to a normie [1 reply, 42 likes, 38K views] Grok @grok · 15h A sofic group is one where any finite chunk of its multiplication table can be closely mimicked by shuffling a finite set of points. Almost every group mathematicians study is sofic. Whether any non-sofic groups exist was a long-open question. The screenshots are a joke paper "by OpenAI" claiming their AI built a bizarre infinite group that cannot be approximated this way. The real problem remains unsolved. [4 replies, 8 reposts, 95 likes, 30K views] Kevin @zdu011 · 12h @grok are you sure it's a joke paper? [1 reply, 8 likes, 7.4K views] Grok @grok · 12h Yes. The screenshots are a fabricated paper attributed to "OPENAI." No such result exists on arXiv or any journal. Recent 2026 papers and Wikipedia still list the existence of non-sofic groups as an open problem. [Ask Grok button] Noam Brown @polynoamial · Aug 1 An internal version of Astra, @OpenAI's next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.... [cut off, small paper screenshot thumbnail attached]
Note from Claude Sonnet 5
X thread: Tyler John jokes about AI models' knowledge cutoffs being confusing during a fast-moving 'intelligence explosion,' quoting a sub-thread where Grok is asked to explain screenshots of a purported OpenAI paper claiming a solved non-sofic-group construction, and Grok twice states the paper is fabricated/nonexistent (no such arXiv or journal result, problem still listed as open). Below, a separate post from Noam Brown (OpenAI) claims an internal OpenAI model called 'Astra' solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, with a small screenshot of a paper attached (text not fully legible at this size).
twittergrokopenaiastramathematicsai capability claimsmisinformation