“To those of my colleagues who predict that computers will soon replace human mathematicians by virtue of their superior skill and reliability in proving theorems, I am inclined to respond that the goal of mathematics is to convert rigorous proofs to heuristics. The latter are, in turn, used to produce new rigorous proofs, a necessary input (but not the only one) for new heuristics.”
– Michael Harris, Mathematics without Apologies: Portrait of a Problematic Vocation, 2015
Also, a Princeton Companion to Physics is scheduled to come out in 2018, with Wilczek as editor. The Princeton Companion to Mathematics – edited by Gowers, is quite nice, so I will be anticipating the physics one.