OP-00666 Solution claimed Global Birkhoff billiard integrability conjecture DS · AIM Open Applied Problems · Birkhoff conjecture · caustics · convex billiards