Menu

Blog

Archive for the ‘mathematics’ category: Page 20

Feb 12, 2024

Revolutionizing Physics With a Game-Changing Topological Approach

Posted by in categories: mathematics, physics

Innovative research introduces a practical, model-free method for exploring topological properties in materials, enhancing the scope and efficiency of topological studies.

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.

Feb 12, 2024

Paper page — InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Posted by in category: mathematics

Join the discussion on this paper page.

Feb 10, 2024

The Extraordinary Theorems of John Nash — with Cédric Villani

Posted by in category: mathematics

Fields medalist Cédric Villani explains some of John Nash’s most amazing theorems.


Fields medal winner Cédric Villani takes us through the very special world of mathematical creation of John Nash, who founded several new chapters of game theory and geometric analysis in just a few revolutionary contributions that seemed to come from nowhere.
Subscribe for regular science videos: http://bit.ly/RiSubscRibe.

Continue reading “The Extraordinary Theorems of John Nash — with Cédric Villani” »

Feb 9, 2024

Revolutionizing Diabetes Prediction: Simple Blood Test Outperforms Complex Methods, Thanks to Mathematical Modeling

Posted by in categories: biotech/medical, mathematics

Discover how a simple blood test is transforming diabetes prediction, outperforming complex methods, all thanks to the power of mathematical modeling.

Feb 7, 2024

Research team takes a fundamental step toward a functioning quantum internet

Posted by in categories: computing, internet, mathematics, quantum physics

Hong-Ou-Mandel interference of single-#photon-level pulses stored in independent room-temperature #quantum #memories Quantum #repeater #networks require independent absorptive quantum memories capable of #storing and #retrieving indistinguishable photons to perform high-repetition entanglement…


Research with quantum computing and quantum networks is taking place around the world in the hopes of developing a quantum internet in the future. A quantum internet would be a network of quantum computers, sensors, and communication devices that will create, process, and transmit quantum states and entanglement and is anticipated to enhance society’s internet system and provide certain services and securities that the current internet does not have.

A team of Stony Brook University physicists and their collaborators have taken a significant step toward the building of a testbed by demonstrating a foundational quantum network measurement that employs room-temperature . Their findings are described in a paper published in npj Quantum Information.

Continue reading “Research team takes a fundamental step toward a functioning quantum internet” »

Feb 6, 2024

Paper page — DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Posted by in category: mathematics

DeepSeekMath.

Pushing the limits of mathematical reasoning in open language models.


Join the discussion on this paper page.

Feb 6, 2024

Mathematical model connects innovation and obsolescence to unify insights across diverse fields

Posted by in categories: innovation, mathematics

In Lewis Carroll’s Through the Looking-Glass, the Red Queen tells Alice, “It takes all the running you can do, to keep in the same place.” The race between innovation and obsolescence is like this.

Recent evidence about the slowing of technological and scientific progress in contrast to the accelerating epidemiological risks in a globalized world—in the opposite direction—indicates the importance of the relative rates of and obsolescence.

When does innovation outpace, or fail to outpace, obsolescence? Understanding this dynamic is nascent, and the way that innovation is discussed is largely fragmented across fields. Despite some qualitative efforts to bridge this gap, insights are rarely transferred.

Feb 5, 2024

Scientists use AI to investigate structure and long-term behavior of galaxies

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

Bayreuth scientists are investigating the structure and long-term behavior of galaxies using mathematical models based on Einstein’s theory of relativity. Their innovative approach uses a deep neural network to quickly predict the stability of galaxy models. This artificial intelligence-based method enables efficient verification or falsification of astrophysical hypotheses in seconds.

The research objective of Dr. Sebastian Wolfschmidt and Christopher Straub is to investigate the structure and long-term behavior of galaxies. “Since these cannot be fully analyzed by , we use mathematical models of galaxies,” explains Christopher Straub, a doctoral student at the Chair of Mathematics VI at the University of Bayreuth.

“In order to take into account that most galaxies contain a black hole at their center, our models are based on Albert Einstein’s general theory of relativity, which describes gravity as the curvature of four-dimensional spacetime.”

Feb 2, 2024

Mathematical model reveals how a pit viper is able to find its dinner in the dead of night

Posted by in categories: food, mathematics

In the animal kingdom, there are many grand examples of species that make sense of their world by expertly deciphering even weak signals from their surroundings.

An eagle soaring above the ground spies a river fish down below, about to swallow a bug; a hungry black bear smells a morsel of food two miles away in a dense thicket; a duck-billed platypus, swimming in a freshwater creek, closes its eyes and detects the electric impulses of a tasty tadpole nearby.

Then there are the pit vipers.

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.

Page 20 of 146First1718192021222324Last