RT @rohanpaul_ai: Beautiful Paper. An LLM teaches itself from a single topic prompt, no human-written questions, no labels. An LLM play….

Just subscribed to chatgpt plus, but super unimpressed with gpt-5. It is quite fast, but for the first few queries, it made extremely rookie mistakes. E.g. Prompt: "Can I switch from credit card A to B?" Answer: "No, you can't switch from B to A". Underwhelming.

Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.

If the past 100 years have taught us anything, it is that people would be better off if we messed much less with artificial food sources and ingredients.

RT @KobeissiLetter: The US-China AI race is on:. Google has filed ~560 patent applications related to generative AI, the most among US and….

RT @xai: We've upgraded Grok 4's PDF processing abilities:. 1. Grok can now seamlessly handle massive PDFs - hundreds of pages and beyond!….

RT @Dr_Singularity: New AI Breakthrough from Google. Google developed a new active learning method that drastically reduces the amount of t….

RT @elonmusk: Grok Imagine video generation is now available on Android.

RT @Yong18850571: The report of Goedel-Prover-V2 is on arXiv now . Check out the details on self-correction, large….

RT @kimmonismus: 2/ How does it work? Genie 3 creates worlds frame by frame, remembering up to a minute of past scenes. You enter a text pr….

RT @deedydas: China just dropped an absolute bombshell AI for Math paper: not just Gold in IMO 2025, but >50% of all Putnam and 78% of all….

RT @AlexKontorovich: Congratulations to the Arnold Math Journal (owned by the Institute of Mathematical Sciences at Stony Brook @stonybrook….

RT @deedydas: One of the most important papers in AI: a tiny brain-inspired 27M param model trained on 1000 samples outperforms o3-mini-hig….

RT @rohanpaul_ai: Anthropic just showed that an AI's “personality” can be traced to specific directions in its brain ("Persona vectors"), a….

RT @JiaLi52524397: 🔥Releasing NuminaMath-LEAN, a large-scale dataset of 100K mathematical competition problems formalized in Lean 4, with m….

RT @jiqizhixin: This paper makes a bold claim!. AlphaGo Moment for Model Architecture Discovery. The researchers introduce ASI-Arch, the fi….

RT @PrincetonCS: ⏱️AI is making verification process easier, with models verifying proofs in minutes. 💻 Now, @prfsanjeevarora, @chijinML,….

Adam, Adam, who the f. k is Adam?.

RT @3blue1brown: New video on the details of diffusion models: Produced by @welchlabs, this is the first in a smal….

RT @cgarciae88: JAX 0.7.0 released with Shardy as the default partitioner, autodiff updates, jax.P as a shortcut for PartitionSpec, and a c….

RT @AlexKontorovich: Woohoo!! The "Medium" strength Prime Number Theorem was just proved in @leanprover Lean: (the bottom node in the pictu….