A team of computer scientists led by the University of Massachusetts Amherst recently announced a new method for automatically generating whole proofs that can be used to prevent software bugs and verify that the underlying code is correct.
As artificial intelligence systems grow larger and more powerful, their energy demands are rising dramatically. But recent research from the University of Massachusetts Amherst published in Nature Communications suggests that advanced AI capabilities may be achievable with dramatically lower energy consumption.
Researchers in the Riccio College of Engineering at the University of Massachusetts Amherst have demonstrated that redesigning both hardware and algorithms can make AI applications on edge devices more efficient. As proof of concept, their system achieved 95.24% accuracy in language identification while reducing computing resources by 90%—the highest reported…