Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics.
Nature From ACM News | June 21, 2021
Software called TLDR (too long, didn't read) automatically produces one-sentence abstracts of research papers.
Nature From ACM TechNews | November 30, 2020
Missing documentation and obsolete environments force participants in the Ten Years Reproducibility Challenge to get creative.
Nature From ACM News | August 26, 2020
The U.S. National Science Foundation has taken action in 16-to-20 individual cases, most involving "very well-known academics," in which foreign ties were not properly...Nature From ACM News | July 10, 2020
Scientists worldwide are scrambling to track and counter the spread of misinformation and conspiracy theories about the coronavirus pandemic.
Nature From ACM TechNews | June 8, 2020
The U.S. National Science Foundation estimated China's research and development funding is rapidly catching up to that of the U.S.
Nature From ACM TechNews | January 23, 2020
U.S. President Donald Trump nominated computer scientist and Arizona State University vice president Sethuraman Panchanathan to be director of the U.S. National...Nature From ACM TechNews | December 20, 2019
The open-source Julia language combines the speed of "compiled" languages such as Fortran and C with the interactivity and syntax of "scripting" languages such...Nature From ACM TechNews | August 6, 2019
A new artificial intelligence program beat elite professional poker players at six-player no-limit Texas hold'em poker.
Nature From ACM TechNews | July 12, 2019
Art historians are starting to utilize machine learning to provide empirical support for theories previously limited to the subjective eye of the beholders.
Nature From ACM TechNews | June 14, 2019
A spacecraft that was supposed to solve the mystery of methane on Mars has instead compounded scientists' confusion.
Nature From ACM News | April 11, 2019
Astronomers have finally glimpsed the blackness of a black hole. By stringing together a global network of radio telescopes, they have for the first time produced...Nature From ACM News | April 10, 2019
For the past year, space probe Hayabusa2 has pelted asteroid Ryugu with bouncing probes, shot a bullet at it, and taken a bite of it—all for science.
Nature From ACM News | April 8, 2019
Yoshua Bengio is one of three computer scientists who last week shared the US$1-million A. M. Turing award—one of the field's top prizes.
Nature From ACM Opinion | April 4, 2019