Toggle light / dark theme

MIT solved a century-old differential equation to break ‘liquid’ AI’s computational bottleneck

Last year, MIT developed an AI/ML algorithm capable of learning and adapting to new information while on the job, not just during its initial training phase. These “liquid” neural networks (in the Bruce Lee sense) literally play 4D chess — their models requiring time-series data to operate — which makes them ideal for use in time-sensitive tasks like pacemaker monitoring, weather forecasting, investment forecasting, or autonomous vehicle navigation. But, the problem is that data throughput has become a bottleneck, and scaling these systems has become prohibitively expensive, computationally speaking.

On Tuesday, MIT researchers announced that they have devised a solution to that restriction, not by widening the data pipeline but by solving a differential equation that has stumped mathematicians since 1907. Specifically, the team solved, “the differential equation behind the interaction of two neurons through synapses… to unlock a new type of fast and efficient artificial intelligence algorithms.”

“The new machine learning models we call ‘CfC’s’ [closed-form Continuous-time] replace the differential equation defining the computation of the neuron with a closed form approximation, preserving the beautiful properties of liquid networks without the need for numerical integration,” MIT professor and CSAIL Director Daniela Rus said in a Tuesday press statement. “CfC models are causal, compact, explainable, and efficient to train and predict. They open the way to trustworthy machine learning for safety-critical applications.”

Scientists Created a Black Hole in The Lab, And Then It Started to Glow

A new kind of black hole analog could tell us a thing or two about an elusive radiation theoretically emitted by the real thing.

Using a chain of atoms in single-file to simulate the event horizon of a black hole, a team of physicists has observed the equivalent of what we call Hawking radiation – particles born from disturbances in the quantum fluctuations caused by the black hole’s break in spacetime.

This, they say, could help resolve the tension between two currently irreconcilable frameworks for describing the Universe: the general theory of relativity, which describes the behavior of gravity as a continuous field known as spacetime; and quantum mechanics, which describes the behavior of discrete particles using the mathematics of probability.

Boltzmann Brains — Why The Universe is Most Likely a Simulation

Start learning today with Brilliant! https://brilliant.org/upandatom.

Watch Part 2 over on Isaac Arthur’s channel.

https://www.youtube.com/channel/UCZFipeZtQM5CKUjx6grh54g.

If you’d like to know more about Boltzmann Brains, here are some informative papers:
https://arxiv.org/abs/hep-th/0208013
https://arxiv.org/abs/0704.2630
https://arxiv.org/abs/hep-th/0611271
https://arxiv.org/abs/hep-th/0611043
https://arxiv.org/abs/1708.00449
https://arxiv.org/abs/1702.

Hi! I’m Jade. Subscribe to Up and Atom for physics, math and computer science videos!

*SUBSCRIBE TO UP AND ATOM* https://www.youtube.com/c/upandatom.

Meta AI Has Built A Neural Theorem Prover That Has Solved 10 International Math Olympiad (IMO) Problems — 5x More Than Any Previous Artificial Intelligence AI System

The scientific world has long acknowledged that proving mathematical theorems is an essential first step in developing artificial intelligence. To prove the truth or falsity of a conjecture, one must use symbolic thinking and sort through an unlimited number of alternatives. These tasks are beyond the capabilities of even the most sophisticated AI systems.

The state of the art in artificial intelligence today is to create machines that can “solve at once” or come up with a whole answer to a problem in a single go. However, this is not how most individuals approach difficult situations. Mathematical reasoning is significantly more challenging to formalize and measure.

Meta AI has made an important development at the intersection of artificial intelligence and mathematics. The neural theorem prover developed by the team has completed five times as many IMO problems as any other AI system before it, totaling ten. Concerning miniF2F, a popular mathematics test, the AI model outperforms the state of art by 20% and outperforms Metamath by 10%.

Computer scientists succeed in solving algorithmic riddle from the 1950s

For more than half a century, researchers around the world have been struggling with an algorithmic problem known as “the single source shortest path problem.” The problem is essentially about how to devise a mathematical recipe that best finds the shortest route between a node and all other nodes in a network, where there may be connections with negative weights.

Sound complicated? Possibly. But in fact, this type of calculation is already used in a wide range of the apps and technologies that we depend upon for finding our ways around—as Google Maps guides us across landscapes and through cities, for example.

Now, researchers from the University of Copenhagen’s Department of Computer Science have succeeded in solving the single source shortest problem, a riddle that has stumped researchers and experts for decades.

The mathematics that makes us realize we don’t know much: Behavior of spin glasses

Spin glasses are alloys formed by noble metals in which a small amount of iron is dissolved. Although they do not exist in nature and have few applications, they have nevertheless been the focus of interest of statistical physicists for some 50 years. Studies of spin glasses were crucial for Giorgio Parisi’s 2021 Nobel Prize in Physics.

The scientific interest of spin glasses lies in the fact that they are an example of a complex system whose elements interact with each other in a way that is sometimes cooperative and sometimes adversarial. The mathematics developed to understand their behavior can be applied to problems arising in a variety of disciplines, from ecology to machine learning, not to mention economics.

Spin glasses are , that is, systems in which individual elements, the spins, behave like small magnets. Their peculiarity is the co-presence of ferromagnetic-type bonds, which tend to align the spins, with antiferromagnetic-type bonds, which tend to orient them in opposite directions.

Cryptography’s Future Will Be Quantum-Safe. Here’s How It Will Work

In 1994, the computer scientist Peter Shor discovered that if quantum computers were ever invented, they would decimate much of the infrastructure used to protect information shared online. That frightening possibility has had researchers scrambling to produce new, “post-quantum” encryption schemes, to save as much information as they could from falling into the hands of quantum hackers.

Earlier this year, the National Institute of Standards and Technology revealed four finalists in its search for a post-quantum cryptography standard. Three of them use “lattice cryptography” — a scheme inspired by lattices, regular arrangements of dots in space.

Lattice cryptography and other post-quantum possibilities differ from current standards in crucial ways. But they all rely on mathematical asymmetry. The security of many current cryptography systems is based on multiplication and factoring: Any computer can quickly multiply two numbers, but it could take centuries to factor a cryptographically large number into its prime constituents. That asymmetry makes secrets easy to encode but hard to decode.

/* */