After glancing over a 100-page proof that claimed to solve the biggest problem in computer science, Scott Aaronson bet his house that it was wrong. Why?
An electric propulsion technology for miniature satellites aims to give them more mobility — and may eventually allow them to take on deep-space missions.
Broad-based MIT project aims to reinvent AI for a new era. By going back and fixing mistakes, researchers hope to produce ‘co-processors’ for the human mind.