Quanta MagazineComputer Science Computer Scientists Expand the Frontier of Verifiable KnowledgeQuanta Magazine - Kevin Hartnett The universe of problems that a computer can check has grown. The researchers’ secret ingredient? Quantum entanglement. “The verifier can send the …

Quanta Magazine A New Approach to Multiplication Opens the Door to Better Quantum ComputersQuanta Magazine - Kevin Hartnett In practice, quantum computers can’t run many programs that classical computers can, because they’re not allowed to selectively forget information. A …

Quanta MagazineComputer Science Mathematicians Discover the Perfect Way to Multiply | Quanta MagazineQuanta Magazine - Kevin Hartnett By chopping up large numbers into smaller ones, researchers have rewritten a fundamental mathematical speed limit. Four thousand years ago, the …

Quanta Magazine Cryptography That Can’t Be HackedQuanta Magazine - Kevin Hartnett Researchers have just released hacker-proof cryptographic code — programs with the same level of invincibility as a mathematical proof. Programmers …

Quanta Magazine A New Approach to Understanding How Machines ThinkQuanta Magazine - John Pavlus Neural networks are famously incomprehensible — a computer can come up with a good answer, but not be able to explain what led to the conclusion. …

Quanta Magazine Milestone Experiment Proves Quantum Communication Really Is Faster | Quanta MagazineQuanta Magazine - Kevin Hartnett In a Paris lab, researchers have shown for the first time that quantum methods of transmitting information are superior to classical ones. The new …

Quanta Magazine Mathematicians Seal Back Door to Breaking RSA Encryption | Quanta MagazineQuanta Magazine - Kevin Hartnett Digital security depends on the difficulty of factoring large numbers. A new proof shows why one method for breaking digital encryption won’t work. My …

Quanta MagazineComputer Science Graduate Student Solves Quantum Verification ProblemQuanta Magazine - Erica Klarreich Urmila Mahadev spent eight years in graduate school solving one of the most basic questions in quantum computation: How do you know whether a quantum …

Quanta Magazine Quanta Magazine - Illuminating Science | Quanta MagazineQuanta Magazine - Patrick Honner In mathematics, where proofs are everything, evidence is important too. But evidence is only as good as the model, and modeling can be dangerous …

Quanta MagazineQuantum Computing Teenager Finds Classical Alternative to Quantum Recommendation Algorithm | Quanta MagazineQuanta Magazine - Kevin Hartnett 18-year-old Ewin Tang has proven that classical computers can solve the “recommendation problem” nearly as fast as quantum computers. The result …

Quanta Magazine A Short Guide to Hard ProblemsQuanta Magazine - Kevin Hartnett What’s easy for a computer to do, and what’s almost impossible? Those questions form the core of computational complexity. We present a map of the …

Quanta Magazine Finally, a Problem That Only Quantum Computers Will Ever Be Able to SolveQuanta Magazine - Kevin Hartnett Computer scientists have been searching for years for a type of problem that a quantum computer can solve but that any possible future classical …

Quanta Magazine A Classical Math Problem Gets Pulled Into the Modern WorldQuanta Magazine - Kevin Hartnett A century ago, the great mathematician David Hilbert posed a probing question in pure mathematics. A recent advance in optimization theory is …

Quanta MagazineCognitive Computing To Build Truly Intelligent Machines, Teach Them Cause and EffectQuanta Magazine - Kevin Hartnett Judea Pearl, a pioneering figure in artificial intelligence, argues that AI has been stuck in a decades-long rut. His prescription for progress? …

Quanta Magazine Why Artificial Intelligence Like AlphaZero Has Trouble With the Real WorldQuanta Magazine - Joshua Sokol The latest artificial intelligence systems start from zero knowledge of a game and grow to world-beating in a matter of hours. But researchers are …

Quanta Magazine Smart Swarms Seek New Ways to CooperateQuanta Magazine - Kevin Hartnett New algorithms show how swarms of very simple robots can be made to work together as a group. One strategy would be to appoint a leader that …

Quanta Magazine The Argument Against Quantum ComputersQuanta Magazine - Katia Moskvitch The mathematician Gil Kalai believes that quantum computers can't possibly work, even in principle. Sixteen years ago, on a cold February day at Yale …

Quanta Magazine The Era of Quantum Computing Is Here. Outlook: CloudyQuanta Magazine - Philip Ball Quantum computers should soon be able to beat classical computers at certain basic tasks. But before they’re truly powerful, researchers have to …

Quanta Magazine Job One for Quantum Computers: Boost Artificial IntelligenceQuanta Magazine - George Musser The fusion of quantum computing and machine learning has become a booming research area. Can it possibly live up to its high expectations?

Quanta Magazine Quantum Algorithms Struggle Against Old Foe: Clever ComputersQuanta Magazine - Ariel Bleicher The quest for "quantum supremacy" – unambiguous proof that a quantum computer does something faster than an ordinary computer – has paradoxically led …

Quanta Magazine New Theory Cracks Open the Black Box of Deep LearningQuanta Magazine - Natalie Wolchover A new idea called the “information bottleneck” is helping to explain the puzzling success of today’s artificial-intelligence algorithms — and might …

Quanta Magazine Clever Machines Learn How to Be CuriousQuanta Magazine - John Pavlus Computer scientists are finding ways to code curiosity into intelligent machines. You probably can’t remember what it feels like to play Super Mario …

Quanta Magazine A Brain Built From Atomic Switches Can LearnQuanta Magazine - Andreas von Bubnoff A tiny self-organized mesh full of artificial synapses recalls its experiences and can solve simple problems. Its inventors hope it points the way to …

Quanta Magazine In Game Theory, No Clear Path to EquilibriumQuanta Magazine - Erica Klarreich John Nash’s notion of equilibrium is ubiquitous in economic theory, but a new study shows that it is often impossible to reach efficiently. In 1950, …

Quanta Magazine Awash in Sea of Data, Ecologists Turn to Open Access ToolsQuanta Magazine - John Rennie To assess the ocean’s health, ecology’s “rugged individualists” learned to get with the big data program. When marine ecologists released the Ocean …

Quanta Magazine Why Quantum Computers Might Not Break CryptographyQuanta Magazine - Mark H. Kim A new paper claims that a common digital security system could be tweaked to withstand attacks even from a powerful quantum computer. Math is hard. …

Quanta Magazine How to Force Our Machines to Play FairQuanta Magazine - Kevin Hartnett The computer scientist Cynthia Dwork takes abstract concepts like privacy and fairness and adapts them into machine code for the algorithmic …

Quanta Magazine Hacker-Proof Code ConfirmedQuanta Magazine - Kevin Hartnett Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The advances are being …

Quanta Magazine Computing’s Search for Quantum QuestionsQuanta Magazine - Stephen Ornes Recent tests show that quantum computers made by D-Wave Systems should solve some problems faster than ordinary computers. Researchers have begun to …