Archive for the ‘mathematics’ category: Page 6

Feb 1, 2024

AI-Powered Proof Generator Helps Debug Software

Posted by in categories: biotech/medical, cybercrime/malcode, engineering, mathematics

Not all software is perfect—many apps, programs, and websites are released despite bugs. But the software behind critical systems like cryptographic protocols, medical devices, and space shuttles must be error-free, and ensuring the absence of bugs requires going beyond code reviews and testing. It requires formal verification.

Formal verification involves writing a mathematical proof of your code and is “one of the hardest but also most powerful ways of making sure your code is correct,” says Yuriy Brun, a professorat the University of Massachusetts Amherst.

To make formal verification easier, Brun and his colleagues devised a new AI-powered method called Baldur to automatically generate proofs. The accompanying paper, presented in December 2023 at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering in San Francisco, won a Distinguished Paper award. The team includes Emily First, who completed the study as part of her doctoral dissertation at UMass Amherst; Markus Rabe, a former researcher at Google, where the study was conducted; and Talia Ringer, an assistant professor at the University of Illinois Urbana-Champaign.

Jan 31, 2024

The Math behind Adam Optimizer

Posted by in categories: information science, mathematics, robotics/AI

Why is Adam the most popular optimizer in Deep Learning? Let’s understand it by diving into its math, and recreating the algorithm.

Jan 31, 2024

Quasi-integrable Arrays: The Family Grows

Posted by in categories: information science, mathematics

A new approach to solving arrays of two-dimensional differential equations may allow researchers to go beyond the one-dimensional oscillator paradigm.

A frictionless pendulum and a pendulum clock behave alike, but they belong to different worlds: Hamiltonian systems and dissipative systems, respectively. In the Hamiltonian world, completely integrable—that is, solvable—systems serve as a mathematical basis for dealing with more general cases that aren’t integrable. An analogous strategy doesn’t work for nonlinear non-Hamiltonian dissipative systems, however. In that case, the best researchers can achieve is partial integrability. Until recently, it was thought that an array of globally coupled oscillators could be partially integrable only if each oscillator has only one degree of freedom. Now Rok Cestnik and Erik Martens, both at Lund University in Sweden, report on a quasi-integrable system consisting of N two-dimensional oscillators described by ordinary differential equations (ODEs) [1].

Jan 30, 2024

How to Build an Origami Computer

Posted by in categories: computing, mathematics

Two mathematicians have shown that origami can, in principle, be used to perform any possible computation.

Jan 29, 2024

Quantifying Inflammation in Progressive Multiple Sclerosis

Posted by in categories: biotech/medical, education, mathematics, neuroscience

“Smartly incorporating ChatGPT into education could actually benefit students and teachers.” Big Think.

Once students master the basics of math, they are allowed to use calculators. The same should be true of writing and ChatGPT.

Jan 26, 2024

New method flips the script on topological physics

Posted by in categories: mathematics, physics

The branch of mathematics known as topology has become a cornerstone of modern physics thanks to the remarkable—and above all reliable—properties it can impart to a material or system. Unfortunately, identifying topological systems, or even designing new ones, is generally a tedious process that requires exactly matching the physical system to a mathematical model.

Researchers at the University of Amsterdam and the École Normale Supérieure of Lyon have demonstrated a model-free method for identifying topology, enabling the discovery of new topological materials using a purely experimental approach. The research is published in the journal Proceedings of the National Academy of Sciences.

Topology encompasses the properties of a system that cannot be changed by any “smooth deformation.” As you might be able to tell from this rather formal and abstract description, topology began its life as a branch of mathematics. However, over the last few decades physicists have demonstrated that the mathematics underlying topology can have very real consequences. Topological effects can be found in a wide range of physical systems, from individual electrons to large-scale .

Jan 25, 2024

What is time? An astronomer explains

Posted by in categories: cosmology, mathematics, quantum physics

It wasn’t until Albert Einstein that we developed a more sophisticated mathematical understanding of time and space that allowed physicists to probe deeper into the connections between them. In their endeavors, physicists also discovered that seeking the origin of time forces us to confront the origins of the universe itself.

What exactly is time, and how did it come into being? Did the dimension of time exist from the moment of the Big Bang, or did time emerge as the universe evolved? Recent theories about the quantum nature of gravity provide some unique and fantastic answers to these millennia-old questions.

Jan 25, 2024

Chemists use blockchain to simulate more than 4 billion chemical reactions essential to origins of life

Posted by in categories: blockchains, chemistry, cryptocurrencies, finance, mathematics, supercomputing

Cryptocurrency is usually “mined” through the blockchain by asking a computer to perform a complicated mathematical problem in exchange for tokens of cryptocurrency. But in research appearing in the journal Chem a team of chemists has repurposed this process, asking computers to instead generate the largest network ever created of chemical reactions which may have given rise to prebiotic molecules on early Earth.

This work indicates that at least some primitive forms of metabolism might have emerged without the involvement of enzymes, and it shows the potential to use blockchain to solve problems outside the financial sector that would otherwise require the use of expensive, hard to access supercomputers.

“At this point we can say we exhaustively looked for every possible combination of chemical reactivity that scientists believe to had been operative on primitive Earth,” says senior author Bartosz A. Grzybowski of the Korea Institute for Basic Science and the Polish Academy of Sciences.

Jan 24, 2024

DARPA’s 2nd Tools Competition Focuses on AI Tools for Adult STEM, Data Science Learning

Posted by in categories: mathematics, robotics/AI, science

The Defense Advanced Research Projects Agency launched a second iteration of its Tools Competition to discover artificial intelligence-enabled technologies that can aid data science and other forms of adult learning.

The agency said Monday that the new program aims to upskill and reskill adults in science, technology, engineering and mathematics and similarly complex areas, preparing them for the 21st century labor landscape.

The opportunity is open to digital learning platform experts, technologists, researchers, students and educators who can propose AI tools that can provide feature tutoring and self-directed learning. The resulting platform may leverage AI or large language models.

Jan 23, 2024

Brain-based computing chips not just for AI anymore

Posted by in categories: biotech/medical, finance, mathematics, robotics/AI

With the insertion of a little math, Sandia National Laboratories researchers have shown that neuromorphic computers, which synthetically replicate the brain’s logic, can solve more complex problems than those posed by artificial intelligence and may even earn a place in high-performance computing.

The findings, detailed in a recent article in the journal Nature Electronics, show that neuromorphic simulations employing the statistical method called random walks can track X-rays passing through bone and soft tissue, disease passing through a population, information flowing through social networks and the movements of financial markets, among other uses, said Sandia theoretical neuroscientist and lead researcher James Bradley Aimone.

Continue reading “Brain-based computing chips not just for AI anymore” »

Page 6 of 132First345678910Last