Toggle light / dark theme

An OpenAI model has disproved a central conjecture in discrete geometry

Today, we share a breakthrough on the unit distance problem. Since Erdős’s original work, the prevailing belief has been that the “square grid” constructions depicted further below were essentially optimal for maximizing the number of unit-distance pairs. An internal OpenAI model has disproved this longstanding conjecture, providing an infinite family of examples that yield a polynomial improvement. The proof has been checked by a group of external mathematicians. They have also written a companion paper explaining the argument and providing further background and context for the significance of the result.

The result is also notable for how it was found. The proof came from a new general-purpose reasoning model, rather than from a system trained specifically for mathematics, scaffolded to search through proof strategies, or targeted at the unit distance problem in particular. As part of a broader effort to test whether advanced models can contribute to frontier research, we evaluated it on a collection of Erdős problems. In this case, it produced a proof resolving the open problem.

This proof is an important milestone for the math and AI communities. It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI. It also demonstrates the depth of reasoning these systems now support. Mathematics provides a particularly clear testbed for reasoning: the problems are precise, potential proofs can be checked, and a long argument only works if the reasoning holds together from beginning to end. The method by which the problem was solved is also notable. The proof brings unexpected, sophisticated ideas from algebraic number theory to bear on an elementary geometric question.

Is materialism holding science back? | Adam Frank, Lisa Feldman Barrett, Michael Levin

Lisa Feldman Barrett, Michael Levin and Adam Frank discuss whether science should abandon its materialist framework.

Could a different metaphysics help science to progress further?

With a free trial, you can watch the full debate NOW at https://iai.tv/video/science-beyond-t… centuries, we’ve assumed that science has banished the transcendent and established that reality is entirely physical. But critics argue there are signs that a rigorous materialism might be holding science back. Increasingly, “emergence” is used to account for everything from consciousness to spacetime – a convenient placeholder for what materialist science may be unable to explain. Physicists like Heisenberg and Hawking concluded that science gives us models of reality, rather than final descriptions of its true nature, while there are scientists working in everything from biology to computer science who suggest that dualism is a productive metaphysical framework for their research. Materialism may have enabled science to reach beyond the dogmas of religion, but there are now those who are restlessly probing the limits of materialism itself. Does science need to assume a materialist account of the world or might this have fundamental limitations? Could a different metaphysics help science make progress on key questions, from the origin of life to the mysteries of quantum gravity? Or would abandoning materialism risk returning us to the myths of superstition and religion? #science #materialism #metaphysics Lisa Feldman Barrett is among the most cited scientists in the world for her research on the psychology and neuroscience of emotions. Adam Frank is an astrophysicist who explores the origins of stars, civilizations and consciousness, and is a leading figure in astrobiology and the search for alien life. Michael Levin is a synthetic biologist whose pioneering work in regenerative biology involves building biological robots to probe the nature of life, intelligence and evolution. Güneş Taylor hosts. The Institute of Art and Ideas features videos and articles from cutting edge thinkers discussing the ideas that are shaping the world, from metaphysics to string theory, technology to democracy, aesthetics to genetics. Subscribe today! https://iai.tv/subscribe?utm_source=Y… 0:00 Intro 1:34 Science cannot reveal objective reality 5:28 — History shows that materialism is one of many philosophies of science 8:59 There are some mathematical facts which are discovered, not chosen 12:14 Does materialism prevent mythical and superstitious views of reality? 14:56 There is no 3rd person view of the universe 18:05 Is science truly reproducible? For debates and talks: https://iai.tv For articles: https://iai.tv/articles For courses: https://iai.tv/iai-academy/courses.

For centuries, we’ve assumed that science has banished the transcendent and established that reality is entirely physical. But critics argue there are signs that a rigorous materialism might be holding science back. Increasingly, “emergence” is used to account for everything from consciousness to spacetime – a convenient placeholder for what materialist science may be unable to explain. Physicists like Heisenberg and Hawking concluded that science gives us models of reality, rather than final descriptions of its true nature, while there are scientists working in everything from biology to computer science who suggest that dualism is a productive metaphysical framework for their research. Materialism may have enabled science to reach beyond the dogmas of religion, but there are now those who are restlessly probing the limits of materialism itself.

Does science need to assume a materialist account of the world or might this have fundamental limitations? Could a different metaphysics help science make progress on key questions, from the origin of life to the mysteries of quantum gravity? Or would abandoning materialism risk returning us to the myths of superstition and religion?

#science #materialism #metaphysics.

Adverse impact of acute Toxoplasma gondii infection on human spermatozoa

Ultimately, QIML proves that we don’t need a fully fault-tolerant quantum computer to see results. By using quantum processors to learn the complex “rules” of chaos, we can give classical computers the boost they need to make reliable, long-term predictions about the most turbulent environments in the natural world.


Modeling high-dimensional dynamical systems remains one of the most persistent challenges in computational science. Partial differential equations (PDEs) provide the mathematical backbone for describing a wide range of nonlinear, spatiotemporal processes across scientific and engineering domains (13). However, high-dimensional systems are notoriously sensitive to initial conditions and the floating-point numbers used to compute them (47), making it highly challenging to extract stable, predictive models from data. Modern machine learning (ML) techniques often struggle in this regime: While they may fit short-term trajectories, they fail to learn the invariant statistical properties that govern long-term system behavior. These challenges are compounded in high-dimensional settings, where data are highly nonlinear and contain complex multiscale spatiotemporal correlations.

ML has seen transformative success in domains such as large language models (8, 9), computer vision (10, 11), and weather forecasting (1215), and it is increasingly being adopted in scientific disciplines under the umbrella of scientific ML (16). In fluid mechanics, in particular, ML has been used to model complex flow phenomena, including wall modeling (17, 18), subgrid-scale turbulence (19, 20), and direct flow field generation (21, 22). Physics-informed neural networks (23, 24) attempt to inject domain knowledge into the learning process, yet even these models struggle with the long-term stability and generalization issues that high-dimensional dynamical systems demand. To address this, generative models such as generative adversarial networks (25) and operator-learning architectures such as DeepONet (26) and Fourier neural operators (FNO) (27) have been proposed. While neural operators offer discretization invariance and strong representational power for PDE-based systems, they still suffer from error accumulation and prediction divergence over long horizons, particularly in turbulent and other chaotic regimes (28, 29). Recent work, such as DySLIM (30), enhances stability by leveraging invariant statistical measures. However, these methods depend on estimating such measures from trajectory samples, which can be computationally intensive and inaccurate in all forms of chaotic systems, especially in high-dimensional cases. These limitations have prompted exploration into alternative computational paradigms. Quantum machine learning (QML) has emerged as a possible candidate due to its ability to represent and manipulate high-dimensional probability distributions in Hilbert space (31). Quantum circuits can exploit entanglement and interference to express rich, nonlocal statistical dependencies using fewer parameters than their promising counterparts, which makes them well suited for capturing invariant measures in high-dimensional dynamical systems, where long-range correlations and multimodal distributions frequently arise (32). QML and quantum-inspired ML have already demonstrated potential in fields such as quantum chemistry (33, 34), combinatorial optimization (35, 36), and generative modeling (37, 38). However, the field is constrained on two fronts: Fully quantum approaches are limited by noisy intermediate-scale quantum (NISQ) hardware noise and scalability (39), while quantum-inspired algorithms, being classical simulations, cannot natively leverage crucial quantum effects such as entanglement to efficiently represent the complex, nonlocal correlations found in such systems. These challenges limit the standalone utility of QML in scientific applications today. Instead, hybrid quantum-classical models provide a promising compromise, where quantum submodules work together with classical learning pipelines to improve expressivity, data efficiency, and physical fidelity. In quantum chemistry, this hybrid paradigm has proven feasible, notably through quantum mechanical/molecular mechanical coupling (40, 41), where classical force fields are augmented with quantum corrections. Within such frameworks, techniques such as quantum-selected configuration interaction (42) have been used to enhance accuracy while keeping the quantum resource requirements tractable. In the broader landscape of quantum computational fluid dynamics, progress has been made toward developing full quantum solvers for nonlinear PDEs. Recent works by Liu et al. (43) and Sanavio et al. (44, 45) have successfully applied Carleman linearization to the lattice Boltzmann equation, offering a promising pathway for simulating fluid flows at moderate Reynolds numbers. These approaches, typically using algorithms such as Harrow-Hassidim-Lloyd (HHL) (46), promise exponential speedups but generally necessitate deep circuits and fault-tolerant hardware.

Quantum-enhanced machine learning (QEML) combines the representational richness of quantum models with the scalability of classical learning. By leveraging uniquely quantum properties such as superposition and entanglement, QEML can explore richer feature spaces and capture complex correlations that are challenging for purely classical models. Recent successes in quantum-enhanced drug discovery (37), where hybrid quantum-classical generative models have produced experimentally validated candidates rivaling state-of-the-art classical methods, demonstrate the practical potential of QEML even before full quantum advantage is achieved. Despite these strengths, practical barriers remain. QEML pipelines require repeated quantum-classical communication during training and rely on costly quantum data-embedding and measurement steps, which slow computation and limit accessibility across research institutions.

Open-source framework lets drones dodge obstacles in milliseconds while minimizing travel time

In the aftermath of a devastating earthquake, unpiloted aerial vehicles (UAVs) could fly through a collapsed building to map the scene, giving rescuers information they need to quickly reach survivors. But this remains an extremely challenging problem for an autonomous robot, which would need to swiftly adjust its trajectory to avoid sudden obstacles while staying on course.

Researchers from MIT and the University of Pennsylvania developed a new trajectory-planning system that tackles both challenges at once. Their technique enables a UAV to react to obstacles in milliseconds while staying on a smooth flight path that minimizes travel time.

Their system uses a new mathematical formulation that ensures the robot travels safely to its destination along a feasible path, and that is less computationally intensive than other techniques. In this way, it generates smoother trajectories faster than state-of-the-art methods.

This Common Houseplant Is Secretly Using Advanced Geometry

Scientists have discovered that the Chinese money plant hides a remarkable geometric system inside its leaves, revealing that nature may solve complex problems using mathematical rules similar to those found in computer science and city planning.

People often see meaningful shapes and patterns in random things. Maybe you have looked at clouds and spotted a sailboat, a seahorse, or even your great-aunt Rosemary. Scientists call this tendency “apophenia,” the human habit of finding patterns that are not really there. But in some cases, nature truly does follow hidden mathematical rules. Cold Spring Harbor Laboratory Associate Professor Saket Navlakha studies these kinds of patterns and recently uncovered one inside a familiar houseplant.

Hidden geometry in chinese money plants.

Learning physics can derail some students: New research shows the best way to keep them on track

For many undergraduate students, exploring the complexities of physics for the first time, from wading through advanced mathematics, to absorbing information in a large lecture format, can be a daunting endeavor—one that dissuades many students from continuing their studies.

Educators have known for some time that students tend to learn these subjects better in hands-on, or “active learning,” environments—but some are more effective than others.

Roadmap charts three paths to room-temperature quantum materials for cooler computing

Imagine a laptop that never gets hot, a phone that holds its charge for days, or a computer memory chip designed to permanently retain data, even when the power goes out. This is the possibility sitting inside a remarkable family of materials that a team of researchers from the University of Ottawa and the Massachusetts Institute of Technology (MIT) has spent years trying to understand, and they just published a comprehensive roadmap of the field to date in the journal Newton.

Magnetic topological materials sit at the crossroads of magnetism and topology in modern physics. Topology is the mathematical study of shapes that cannot be continuously deformed into one another. In these materials, that idea protects the flow of electrons in a way that normal materials simply cannot.

“Magnetic topological materials offer a unique platform where magnetism and quantum physics work together in ways we are only beginning to fully understand,” explains Hang Chi, Canada Research Chair in Quantum Electronic Devices and Circuits and Assistant Professor at uOttawa’s Department of Physics. “This review brings together the field’s most significant advances and gives researchers a shared foundation to build on.”

Generalization Dynamics of LM Pre-training

An AI has a limited amount of “capacity” (brainpower). Early in training, it develops quick, shallow circuits to memorize data because that’s the easiest way to get the right answer. Later, it develops complex circuits for actual reasoning. Because space is limited, these two internal systems are constantly competing for control. Whichever type of data the AI happens to be reading in a specific moment determines which circuit wins the battle.


People typically assume that LMs stably mature from pattern-matching parrots to generalizable intelligence during pre-training. We build a toy eval suite and show this mental model is wrong: throughout pre-training, LMs frequently and suddenly hop between parrot-like and intelligence-like modes, i.e. distinct algorithms implemented by distinct circuits. We call this mode-hopping. Across our suite, LMs can suddenly latch onto memorized or in-context patterns instead of in-context learning, use System 1 instead of System 2 thinking, pick up what sounds true instead of what is true, fail at multi-hop persona QA, out-of-context reasoning, and emergent misalignment — then just as suddenly revert and generalize. Mode-hopping is not explained by standard optimization dynamics: it is locally stable and can not be fixed by checkpoint averaging. We instead think of it as a capacity allocation problem: in a capacity-bounded model, generalizable circuits must compete with the shallow ones learned early in training, and the data in each pre-training window decides which circuits win. Our suite provides a cheap set of pre-training monitors and a new lens on generalization. Building upon our insights, we demonstrate three applications: (i) select intermediate pre-training checkpoints that strongly generalize reasoning and alignment, better than the final pre-or mid-training checkpoints, (ii) select pre-training data that controls and stabilizes generalization dynamics, and (iii) test prior generalization predictors, falsifying the monolithic belief that “simpler solutions generalize better”

Building general AI without generalization is doable but meh. We want an intelligence that learns deep, transferable structure, not a parrot that matches shallow patterns. Real generalization would unblock many today’s key open problems: data-efficient (online) learning, shortcut learning, transfer capabilities from verifiable domains (math, coding) to broader non-verifiable yet economically valuable domains, and maintain a coherent character that truly aligns with human values.

The distinction between parrots and intelligence is computational. Parrots repeat in-context patterns; intelligence infers in-context functions. Parrots encode a persona as bags of disconnected facts and traits; intelligence learns a shared persona representation that connects all. Parrots memorize reasoning steps; intelligence forms general reasoning circuits for entity tracking, backtracking, or even for highly abstract concepts like truth.

Liad Mudrik: Using Prediction Maps to Guide Theory Testing and the Search for the NCC

This talk is part of the “New Ideas in NCC Research” workshop of the Bamberg Mathematical Consciousness Science Initiative (BAMΞ). For more talks and details, see https://www.uni-bamberg.de/en/bamxi/r

Abstract: In recent years, the search for the neural correlates of consciousness (NCC) has been complemented, and influenced, by the ongoing efforts to test neuroscientific theories of consciousness. A key insight from these efforts, though, is that many theories remain underdeveloped and not fully specified, making it harder to establish stringent tests for their predictions. In this talk, I will present a novel methodological approach that represents scientific theories as networks of beliefs structured in a core-periphery manner. These Prediction Maps visualize theoretical claims and empirical predictions, and illustrate their inferential relations. This framework further facilitates systematic theory testing by allowing researchers to evaluate the evidential weight of different components of a theory, and to identify which experimental results would constitute the most informative tests. To do so, we apply graph-theoretic and network analysis metrics, quantifying the centrality of specific predictions. I argue that this approach can advance efforts to arbitrate between theories of consciousness and to identify their most promising candidate mechanisms as NCCs.

/* */