Recent results on lower bounds in circuit complexity. — LessWrong