Computer programs that check mathematical arguments have existed for decades, but translating a human-written proof into the strict programming language of a computer is extremely time-consuming, often taking months or even years.
Researchers have resurrected 'dead' bacterial cells by replacing their defunct DNA with the working genome of another species. This technique could open the door to re-engineered microbial life imbued with useful properties, such as the ability to make drugs or biofuels.
Among the 189 CDO and other data leader respondents to the annual survey conducted by the nonprofit, nonpartisan Data Foundation, about 40% said they had lost six or more employees last year.