Open math challenge seeks tighter bounds to shrink STARK proofs

Computer systems that perform tasks that normally require human intelligence, such as understanding language, recognising images or making decisions.

AI is changing work, media and public services, raising questions about jobs, safety and regulation.

A shared digital ledger in which records are grouped into blocks and linked so that past entries are very hard to change.

It underpins cryptocurrencies and is tested for payments, supply tracking and record keeping.

A digital currency secured by cryptography and recorded on a blockchain, without a central bank issuing it.

Crypto prices are volatile, and governments are still deciding how to regulate it.