Should all mathematical proofs be checked by a computer?
5 July 2023
Proofs, the central tenet of mathematics, occasionally have errors in them. Could computers stop this from happening, asks mathematician Emily Riehl
-
Subject
-
Section
-
Type
-
Topics
-
Author
-
Issue
-
Premium
Memcomputer chips could solve tasks that defeat conventional computers
22 May 2023
An alternative form of computer chip called a memcomputer could offer benefits over existing machines, and now a proof-of-principle digital memcomputer shows how these devices could be scaled up
Edible computer chips could control digestible drug-delivery robots
25 April 2023
Researchers are working on edible computer chips to control robots that can operate inside the human body to precisely deliver drugs before safely being digested
Crystal impervious to radiation could be used in spaceship computers
4 April 2023
Putting two forms of semiconductor material called gallium oxide together seems to make it completely resistant to radiation
ChatGPT outperforms humans at labelling some data for other AIs
29 March 2023
OpenAI’s ChatGPT labelled text samples used in AI training with more accuracy than people did. The approach could automate some of the human labour involved in AI development
Hackers can make computers destroy their own chips with electricity
19 January 2023
A feature of server motherboards intended to allow remote updates can be abused to trick the machines into damaging themselves beyond repair
A stack of Apple laptops could work as a powerful supercomputer
16 November 2022
Supercomputers are expensive to buy and run, but connecting up lots of consumer Apple computers that contain M1 chips may be able to do the same job for less
Computer chip made using mushroom skin could be easily recycled
11 November 2022
The base of computer chips and batteries tends to be made from unrecyclable plastic, but using skin from a certain species of mushroom instead would reduce electronic waste
Emissions from world's chip manufacturing hub are growing each year
2 November 2022
Taiwan is where most of the world’s high-tech chips are made. Demand for the components is increasing, as is the associated environmental cost
Hackers can turn computer cables into antenna to steal sensitive data
26 July 2022
Computers are sometimes kept disconnected from the internet, or "air gapped", to avoid remote hackers gaining access to steal data, but now there is a way to use a hard drive cable to transmit information via radio waves
