Grok-3 just proved Riemann's hypothesis. We decided to pause its training to check its proof, and if the proof is correct, training won't be resumed, as the AI is deemed so smart that it becomes a danger to humanity.
Hieu Pham
1,683 posts
Something new 🇻🇳 | ex: @openai, @xai, @augmentcode, @GoogleBrain, @LTIatCMU, @Stanford, ACM ICPC, IMO🥈
Opinions are my own.
Born June 22
Joined February 2014
- As someone who programs on these 100K H100 GPUs for a living, I find this article ridiculous.Elon Musk claims to have finished a 100,000-strong H100 cluster in four months. How likely is that?
- In case you have forgotten, most PhD students -- including the brightest stars who can do way better work than any current LLMs -- are not paid $20K / month.🚨NEWS: OpenAI @sama told investors it might launch agents costing $2K to $20K/month to do tasks like coding and PhD-level research LOL, LMAO even.
- OpenAI is not open. StableDiffusion is not stable. EfficientNet is not efficient. May I have some more similar examples?
- After using uv for a while, I am convinced that installing Python by default on an operating system is such an evil blasphemous act.
- A friend of mine won an IMO gold, went on to obtain a PhD in algebraic topology, and now works at a frontier AI lab. This guy, however, doesn't know how to do integration by parts. He knows the principle, but treats those tricks as below him. AI models today give the same vibe.
- Which is precisely why we need competitors to OpenAI.Sam Altman says that companies who invest in OpenAI's competitors will stop receiving OpenAI's research roadmap and will have their information rights stopped
00:00 - It's 11:30pm, and many @xai people are in office, hard working at their computers. It's an amazing vibe. Everyone pushes their way to deliver the best experience to you users. Everyone supports everyone. No one fucks no one with politics. You can just do things.
- It is easier for an LLMs to write a chess engine than to learn to play chess. What are similar examples to humans?
- OpenAI accusing DeepSeek of "copying" from ChatGPT, and Dario's call for export control, are the pinnacle of coping.
- I noticed an alarming change within myself because of LLM usage: I have become lazy of reading. These days, if I ask @grok a question and its answer is long, I would get annoyed and tell it to give me a TDLR. Sometimes, I even become impatient enough to tell it to answer
- Naive question, so please roast me. Why don't we have diffusion reasoning models? The way humans think look a lot more like diffusion than autoregressive.






