True although that doesn't necessarily mean more intelligence – theoretically smaller could mean more efficient – like how our computers have decreased in size but increased in performance.
Actually, intelligence is a hindrance, not help when fighting a lion. I mean, it's useful to have one smart person in the tribe, to invent all those weapons, but smart people tend to overthink everything, making them worse fighters/hunters.
This is absurd. The only reason modern humans overthink things is because the modern environment and conveniences do not really challenge humans in the same way they evolved to be challenged. A group of male humans is excellently evolved to fight a lion or a mammoth or another group of male humans, and in doing so, execute complex strategies and tactics as a team.