AMA at 9:30am PT with Head of Model Behavior @joannejang to talk all things ChatGPT's personality. https://
reddit.com/r/ChatGPT/comm
ents/1kbjowz/ama_with_openais_joanne_jang_head_of_model/
…
LLMS
-
OpenAI Head Discusses ChatGPT Personality in AMA Session
By
–
-
DeepSeek-Prover-V2: Open-Source Lean 4 Theorem Proving LLM
By
–
More details on DeepSeek-Prover-V2!
It comes in two sizes: 7B & 671B, and yes — the 7B variant beats Kimina-Prover Preview 72B! DeepSeek-Prover-V2 is an open-source LLM for formal theorem proving in Lean 4, initialized using a recursive pipeline powered by DeepSeek-V3. -
Hugging Face’s smolagents: Tiny, focused agentic framework tackles complexity.
By
–
The agentic framework of @huggingface
, smolagents, is the tinyest ever. It has fewer features than other frameworks -> that's exactly its goal. The main issue among agentic frameworks is complexity : they tend to pile up abstractions, trying to solve everything rather than being -
Learning Python with Modern AI Tools and LLM Platforms
By
–
Thanks! It's fun finally having some tangible ways to test what I've learned. So many great uses! I first wanted to learn Python way back in 2010, but it was still mostly manuals or pricey courses. Now CodeAcademy, ChatGPT, and other LLM platforms like Google Colab help a lot!
-
FAST Framework Boosts Multimodal LLM Accuracy While Reducing Tokens
By
–
Multimodal LLMs often "overthink"—producing long, verbose answers even for simple visual questions FAST (Fast-Slow Thinking for LVLMs) achieves SOTA accuracy while slashing token usage +10% accuracy over baselines Up to 67% fewer tokens used Trending on alphaXiv
-
Claude 4o consistency issues raised in user critique
By
–
Yes but even 4o is not 4o given the switch it for you underneath
-
Identifying Which LLM You’re Interacting With
By
–
I want to be able to pin precisely which LLM I am talking with is that too much to ask?
-
Critique du classement LMArena : illusion des performances modèles
By
–
There's a new paper circulating looking in detail at LMArena leaderboard: "The Leaderboard Illusion" https://arxiv.org/abs/2504.20879 I first became a bit suspicious when at one point a while back, a Gemini model scored #1 way above the second best, but when I tried to switch for a few
-
Xiaomi launches MiMo-7B-RL AI model
By
–
Xiaomi is entering AI game with a new MiMo-7B-RL open source model!
