back
Get SIGNAL/NOISE in your inbox daily
Computers can help ensure that mathematical proofs are correct, but translating traditional maths into a machine-readable format is an arduous task. Now, the latest generation of artificial intelligence models is taking on the job, and could change the face of maths research
Recent Stories
Jan 19, 2026
App Store apps are exposing data from millions of users
An effort led by security research lab CovertLabs is actively uncovering troves of (mostly) AI-related apps that leak and expose user data.
Jan 19, 2026Stop ignoring AI risks in finance, MPs tell BoE and FCA
Treasury committee urges regulators and Treasury to take more ‘proactive’ approach
Jan 19, 2026OpenAI CFO Friar: 2026 is year for ‘practical adoption’ of AI
OpenAI CFO Sarah Friar said the company is focused on "practical adoption" in 2026, especially in health, science, and enterprise.