Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

Nobody likes getting called out at work — especially when doing so happens on a JumboTron in front of tens of thousands of folks. Some MLB umpires are “stewing” about the new Automated Ball-Strike ...

PHOENIX — The fans love it. The umpires tolerate it. The players are getting used to it. And after nearly two weeks of the ABS challenge system implemented in Major League Baseball – with 585 ...

Automated Balls and Strikes dramatically changed the outcome of Thursday’s 17-2 rout of the Diamondbacks by the Braves. Second baseman Ozzie Albies successfully challenged the seventh pitch of his ...

The robots are here, and they are a hoot. MLB’s new automated ball-strike (ABS) challenge system was the star of opening weekend, the main character in the first scene of this baseball season. Prior ...

Welcome to Snyder's Soapbox! Here, I pontificate about matters related to Major League Baseball on a weekly basis. Some of the topics will be pressing matters, some might seem insignificant in the ...

With a new Major League Baseball season here, a major change will play a unique role in how the year progresses. Coming to the majors this season is the Automated Ball-Strike Challenge System, or ABS ...

SAN FRANCISCO — There it was, for the first time in Major League Baseball history, the outcome of a ball-strike call deciding by a machine. It happened in the fourth inning Wednesday night in the New ...

NEW YORK -- The Athletics had the highest success rate using the automated ball-strike system to overturn ball/strike calls during the first 10 days of spring training, winning 69.2% of challenges as ...

Athletics outfielder Lawrence Butler believes he had a highly influential role behind MLB introducing the ABS challenge system this season. Despite posting a losing record, the Athletics enjoyed an ...