Quanta

Quanta

[:es]Proof Assistant Makes Jump to Big-League Math[:]

Mathematicians using the computer program Lean have verified the accuracy of a difficult theorem at the cutting edge of research mathematics.
Quanta

[:es]A Soil-Science Revolution Upends Plans to Fight Climate Change[:]

A centuries-old concept in soil science has recently been thrown out. Yet it remains a key ingredient in everything from climate models to advanced carbon-capture projects.
Quanta

[:es]How to Find Rational Points Like Your Job Depends on It[:]

Using high school algebra and geometry, and knowing just one rational point on a circle or elliptic curve, we can locate infinitely many others.
Quanta

[:es]Plasmid, Virus or Other? DNA ‘Borgs’ Blur Boundaries.[:]

Scientists have reported large DNA structures in some archaea that defy easy categorization.
Quanta

[:es]New Shape Opens ‘Wormhole’ Between Numbers and Geometry[:]

Laurent Fargues and Peter Scholze have found a new, more powerful way of connecting number theory and geometry as part of the sweeping Langlands program.
Quanta

[:es]How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer.[:]

For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise.
Quanta

[:es]DNA Has Four Bases. Some Viruses Swap in a Fifth.[:]

The DNA of some viruses doesn’t use the same four nucleotide bases found in all other life. New work shows how this exception is possible and hints that it could […]
Quanta

[:es]Mathematicians Prove Symmetry of Phase Transitions[:]

A group of mathematicians has shown that at critical moments, a symmetry called rotational invariance is a universal property across many physical systems.
Quanta

[:es]Neurons Unexpectedly Encode Information in the Timing of Their Firing[:]

A temporal pattern of activity observed in human brains for the first time may explain how we can learn so quickly.