The scientific focus of the consortium pivots on the hypothalamus, a central brain structure integral to homeostasis, behavioral regulation, and endocrine function. Prior research has recognized the hypothalamus’s role in regulating innate behaviors, including feeding, mating, defensive responses, and social interactions. However, the pathway-specific molecular and circuit-based mechanisms remain largely enigmatic. By leveraging advanced neuroimaging technologies capable of super high-resolution brain scans, Dr. Xu and his colleagues intend to visualize dynamic brain activity in humans harboring specific genetic mutations affecting hypothalamic pathways. These mutations have been implicated in a spectrum of behavioral anomalies in children, from hyperphagia and obesity to manifestations of autism spectrum disorders, aggression, and severe anxiety.

Dr. Xu’s recent appointment as the director of USF Health’s newly inaugurated Center for Molecular Psychiatry, complemented by his professorship in Psychiatry and Behavioral Neurosciences, positions him uniquely at the nexus of translational neuroscience, genetics, and metabolic research. His prior work, notably funded by the U.S. National Institutes of Health, emphasized the complex interplay between metabolic disorders such as obesity and diabetes and neurobiological dysfunctions. The current ERC-funded project builds naturally upon this foundation, linking metabolic phenotypes with neurogenetic substrates driving instinctual behavioral patterns.

The ERC Synergy Grant mechanism is designed to support exceptionally ambitious and collaborative projects that transcend single laboratories’ capabilities. The award to the INSTINCT consortium is a testament to the exceptional scientific merit and innovative potential of their proposal. Less than 10% of proposals received funding, highlighting the fiercely competitive nature of this program. The team’s integrative approach, combining human genomic data, state-of-the-art neuroimaging, and comparative behavioral studies in animal models within naturalistic social environments, promises unparalleled insights into the neural architecture governing innate behaviors.

Dr. Sadaf Farooqi’s extensive expertise in human genetics of obesity complements the team’s capacity to translate clinical genomic data into mechanistic understanding. Her prior studies have identified numerous genetic mutations that lead to severe and early-onset obesity in pediatric cohorts. By characterizing these mutations’ impact on hypothalamic circuits, the consortium aims to uncover causal pathways by which genetic aberrations precipitate complex behavioral and metabolic phenotypes. Such cross-disciplinary insights could pave the way for novel therapeutic strategies addressing multifactorial disorders rooted in neurogenetic dysfunction.

Similarly, Dr. Tiago Branco’s work at the Sainsbury Wellcome Centre brings to the table a sophisticated understanding of neural circuits and behavioral neuroscience. His research utilizes cutting-edge techniques to dissect neural substrates underlying behaviors in animal models, providing the consortium with a powerful framework to bridge findings from animal systems to human clinical contexts. This triangulation between genetics, neuroimaging, and ethologically valid behavioral assays could redefine our comprehension of how biological factors shape behavior, a longstanding question at the heart of the nature versus nurture debate.

Crucially, the project emphasizes the biological basis of behaviors traditionally viewed as voluntary or learned in humans—such as eating habits, social engagement, and emotional responses. The consortium challenges the prevailing notion that behaviors like aggression or anxiety are entirely under volitional control, instead proposing that these behaviors are deeply rooted in genetically wired brain pathways. The research aims to map how perturbations in hypothalamic function disrupt behavioral homeostasis, thereby contributing to neuropsychiatric disorders and metabolic disease comorbidities.

The methodological innovation central to the consortium’s work includes deploying super-resolution imaging to visualize hypothalamic activity patterns in vivo during various states such as hunger, satiety, and stress exposure. These data will be integrated with genetic profiles and behavioral phenotyping to construct a multidimensional model of instinctive behavior regulation. Furthermore, parallel studies on animals interacting in natural social milieus will shed light on how similar genetic alterations influence behavior in ecological contexts, thereby providing a powerful cross-species perspective.

The consortium’s journey culminated recently in Brussels, where the team underwent an intensive final round of review comprising a detailed presentation of their research program. To their delight and testament to the strength of their collaborative vision, they secured funding amidst a field of formidable competitors. Dr. Xu described the moment as both unexpected and exhilarating, underscoring the transformative potential this support offers for their inquiry into the neural control of innate behaviors.

The implications of this research extend far beyond basic science. By elucidating the neural circuitry and genetic factors driving instinctive behaviors, the team’s findings are poised to influence clinical approaches to a range of complex disorders, including obesity, anxiety disorders, autism spectrum conditions, and other neurodevelopmental abnormalities. This project represents a bold stride towards understanding human behavior’s biological roots, challenging existing paradigms, and offering hope for targeted interventions that address the underlying neurogenetic causes rather than solely managing symptoms.

As Dr. Charles J. Lockwood, executive vice president of USF Health, highlighted, this milestone reflects the increasing global visibility and impact of USF’s research enterprise. The synergy of international expertise embodied by the INSTINCT consortium demonstrates the profound value of collaborative science in tackling some of the most intricate and pressing questions in neurobiology and behavior. Dr. Xu’s gratitude for the institutional support from USF Health leadership speaks to the importance of fostering environments that enable rapid scientific progress.

Looking ahead, the INSTINCT consortium’s program promises to catalyze a paradigm shift in understanding the brain’s orchestration of behavior. Their multifaceted approach, encompassing genetics, neuroimaging, and ethological analyses, sets a new standard for integrative neuroscience research. The knowledge generated will illuminate the fundamental biological architectures that govern instinctive actions, enhancing our ability to decode human and animal behavior in health and disease with unprecedented precision.

Subject of Research:
The neurobiological and genetic mechanisms underlying instinctive behaviors, with a focus on hypothalamic pathways impacting obesity, autism, anxiety, and metabolism.

Article Title:
International Consortium Secures €10M ERC Grant to Decode the Neural Circuits of Instinctive Behavior

News Publication Date:
November 6, 2025

Web References:
https://healthscholars.usf.edu/center-for-molecular-psychiatry

References:
European Research Council Synergy Grant Program Documentation

Image Credits:
USF Health

Keywords:
Research funding, Genetic disorders, Obesity, Autism, Hypothalamus

At the heart of the HALF project lies a profound ambition: to translate the intricate and often abstract domain of harmonic analysis into a form that computers can not only understand but also verify autonomously. Harmonic analysis, pivotal in the study of functions and the transformation of signals, encompasses both multilinear and nonlinear operators—a realm ripe with unresolved questions that resonate across numerous mathematical disciplines and interdisciplinary fields including ergodic theory and quantum information processing. The outputs of this project are poised to redefine the contours of academic research by enabling mathematicians to authenticate proofs with computational precision, a feat that could dramatically accelerate the pace of discovery and reduce human error in the verification process.

The use of Lean as a foundational tool for formalization marks a significant technological advancement. Lean, characterized by its user-friendly yet highly expressive syntax, offers a robust environment where mathematicians can encode proofs thoroughly and verify them with relative efficiency. This represents a crucial step forward from current practices, where formal proof verification tends to be labor-intensive and limited primarily to simpler mathematical cases, often relegated to educational settings rather than advanced research. The HALF initiative represents the first comprehensive effort to embed this methodology deeply into the complex fabric of contemporary mathematical research.

Professors van Doorn and Thiele bring together complementary expertise that is key to navigating the multidimensional challenges of this project. Van Doorn, a pioneer in the formalization movement and a principal architect of Mathlib—an evolving library dedicated to encapsulating fundamental mathematical knowledge for automated proof—joins forces with Thiele, who is renowned for his pioneering work in harmonic analysis. Their collaboration is anchored at the intersection of mathematical theory, computational innovation, and the growing field of artificial intelligence (AI), promising advancements that extend well beyond pure mathematics into applied sciences and technological sectors.

One of the most compelling motivations behind the HALF project is its potential to transform the peer review and publication process. Traditionally, the validation of complex mathematical proofs relies heavily on expert human scrutiny, an approach susceptible to oversight and constrained by human limitations. Van Doorn envisions a future where computational verification precedes and complements human review, dramatically enhancing the reliability and efficiency of scientific dissemination. This paradigm shift could also pave the way for AI-generated proofs, where formalization by machines becomes an integral part of verifying and trusting AI contributions without the need for exhaustive manual intervention.

The interdisciplinary ramifications of this work are substantial. Emerging fields such as AI-driven discovery methods and quantum computing stand to benefit enormously from reliable, automated proof verification mechanisms. As AI systems increasingly undertake tasks that require rigorous logical consistency and faultless reasoning—in part through frameworks like Lean—the HALF project will provide the essential scaffolding to ensure these systems produce sound and verifiable outcomes. The development of specialized training materials aimed at researchers and AI practitioners underscores the proactive approach taken by the Bonn team to embed formal verification deeply into future scientific workflows.

A critical proof of concept emerged from a pilot project conducted prior to the awarding of the Synergy Grant. Thiele’s research group identified a novel harmonic analysis result that was well-suited for formalization, coinciding with the formal verification of a classical theorem originally posited by Lennart Carleson in 1966. This effort required intensive collaboration and drew support from a global community of Lean enthusiasts, culminating far more swiftly than anticipated. The success of this pilot not only validated the feasibility of the approach but also offered a compelling blueprint to scale these activities internally within the team at Bonn under the HALF project’s auspices.

The technical endeavor to encapsulate such complex mathematical constructs within the Lean environment poses numerous challenges. Multilinear and nonlinear operators are known for their algebraic and analytic subtleties, demanding precise encoding to preserve mathematical rigor without sacrificing computational tractability. Navigating this balance necessitates novel algorithmic strategies, improvements in formal languages, and enhanced collaboration tools. The HALF team’s methodology involves iterative refinement, deploying continuous feedback loops between discoveries in harmonic analysis and their formal representations, ensuring that the formalizations are both faithful and computationally elegant.

Beyond the immediate scientific goals, the researchers foresee broader impacts on educational and scientific communities worldwide. The Mathlib library serves as a foundational asset, providing a standard repository of verified mathematical knowledge that supports a wide range of educational levels—from foundational concepts to advanced university topics. Expanding this corpus with HALF’s contributions promises to nurture a new generation of scholars adept in both theory and computational formalism, fostering a culture in which mathematical research and computer verification are deeply intertwined.

In terms of academic pedigree and personal accolades, both researchers have distinguished themselves through extraordinary accomplishments. Christoph Thiele’s academic journey from German institutions to prestigious appointments, including a professorship at UCLA and the Hausdorff Chair at Bonn, has been marked by prestigious awards such as the Salem Prize and the Humboldt Research Prize. His contributions have significantly shaped the modern landscape of harmonic analysis. Meanwhile, Floris van Doorn, who completed his doctorate at Carnegie Mellon University, is recognized internationally for advancing formalization methods in Lean and leading critical collaborations within the Mathlib project. His remarkable achievements have been honored with the Skolem Award, underscoring his influential role in the formal methods community.

Looking forward, the HALF project represents a pathbreaking synthesis between age-old mathematical inquiry and avant-garde computational technology. It seeks to democratize and expedite the verification of mathematical truths, setting the stage for a future in which proofs are not only human-made but machine-verified and AI-augmented. By bridging these worlds, the project aspires to establish harmonic analysis as a flagship domain for formal mathematical proof and to catalyze an evolution in how knowledge is generated, validated, and shared in the 21st century.

Subject of Research:
Harmonic analysis formalization using Lean programming language, focused on multilinear and nonlinear operators and their applications in various fields including ergodic theory and quantum information.

Article Title:
Not explicitly provided in the original source.

News Publication Date:
Not explicitly provided in the original source.

Web References:
https://mediasvc.eurekalert.org/Api/v1/Multimedia/56a51cf2-c4a9-48ae-a644-898a4888504c/Rendition/low-res/Content/Public

Image Credits:
Volker Lannert/Uni Bonn

Keywords:
Harmonic Analysis, Lean Formalization, Synergy Grant, European Research Council, Mathematical Proof Verification, Formal Proof Systems, Artificial Intelligence, Mathlib, Nonlinear Operators, Multilinear Operators, Quantum Information Processing, Ergodic Theory