An independent research hub.
We conduct research across artificial intelligence, mathematics, quantitative finance, and physics.
Our research combines formal machine proof, simulation, and empirical testing with advanced agentic AI capabilities.
Founded by Dr. Tamás Nagy, researcher and entrepreneur.
Different subjects, one research system.
Four entry points into current work across artificial intelligence, mathematics, quantitative finance, and physics.
When In-Context Learning Implements Gradient Descent
A machine-checked identity, real-model probes, and falsification tests reporting both supporting and negative evidence.
Paper · DOI · proof status → Mathematics / Research frameworkThe Latent
A mathematical program studying finite structural representations of smooth systems across multiple domains.
Paper · DOI · research status → Quantitative finance / Published methodThe Projected-Generator Method
A deterministic framework for path-dependent pricing with explicit assumptions, benchmark comparisons, and formal error-certificate structure.
Paper · benchmarks · verification → Physics / Computational researchSpectral Error Mitigation
A model-based investigation of noise inversion for quantum computers using computation and explicit physical assumptions.
Paper · model · evidence →One hub, three focused programs.
Thalens connects formal reasoning, mathematical and quantitative research, and practical ways to explore specialist knowledge.
Formal reasoning and machine proof.
Machine-checked mathematics, verification methods, and rigorous research artifacts.
Explore proof research → 02 / Spectral MeasureQuantitative finance research.
Mathematical work on pricing, risk, markets, uncertainty, and quantitative models.
Visit Spectral Measure ↗ 03 / Knowability LabResearch made explorable.
Transparent, interactive applications built from research, advanced models, and specialist knowledge.
Visit Knowability Lab ↗Claims and evidence develop together.
Methods are chosen for the question, with assumptions, tests, and limits kept visible in the research record.
Founder-led research.
Thalens is led by Dr. Tamás Nagy. It brings together mathematical research, software engineering, empirical investigation, and formal verification across a shared research program.