### AMS Website Scheduled Maintenance Notice

The AMS website will not be available on Wednesday, November 20, 2019, 6:00am through 8:00am Eastern Time due to system maintenance. JMM registration will not be available during this down time.

We apologize for any inconvenience this may cause. For questions please contact AMS Customer Service at cust-serv@ams.org or (800) 321-4267 (U.S. & Canada), (401) 455-4000 (Worldwide).

# Mathematical Digest

### Short Summaries of Articles about Mathematics

in the Popular Press

"With Major Math Proof, Brute Computers Show Flash of Reasoning Power" byGina Kolata. *New York Times*, 10 December 1996.

This article describes a recent proof, produced by a computer, of amathematical conjecture that some of the best mathematicians of this centuryhave tried and failed to prove. The Robbins conjecture, a statement inmathematical logic, was first proposed in the 1930s by Herbert Robbins, who isnow 81 years old and a professor at Rutgers University. William McCune, acomputer scientist at Argonne National Laboratory, wrote the automatedreasoning program that produced the proof of the conjecture. His colleague,Larry Wos, called the fact that the computer could solve such a problem "a sign of power, ofreasoning power." The article discusses speculation that such programs mightfundamentally change how mathematics is done.

*-Allyn Jackson*