AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.
Albert Bartlett was born in Shanghai in 1923, worked on the Manhattan Project at Los Alamos, got his PhD from Harvard, and ...