A new benchmark called FrontierMath is exposing how artificial intelligence still has a long way to go when it comes to ...