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
What is the AI alignment problem and how can it be solved?
10 May 2023
Artificial intelligence systems will do what you ask but not necessarily what you meant. The challenge is to make sure they act in line with human’s complex, nuanced values
Terra Nil review: City builder lets you leave the world a better place
3 May 2023
Simulation-style city builders like SimCity have tended to mirror US urban living. Terra Nil, the latest of a new and very different wave of builder games, puts nature first, says Jacob Aron
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
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
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
Hardspace: Shipbreaker review: strip spacecraft for parts in orbit
12 October 2022
This video game lets you work as a salvager in low Earth orbit. Essentially, it is like building a Lego set in reverse, and, like Lego, it is a very satisfying experience, finds Jacob Aron
