For more than a decade, mathematicians have been unable to settle the question of whether the ABC conjecture has been solved.

At the Farnborough International Airshow this week, the usual noise around blockbuster jet orders took a back seat to something quieter and more telling. Executives from both Boeing and Airbus spent ...