Tobias J. Osborne

alethfeld. Rigorous Proofs via Adversarial AI Agents

Lattice-gauge-theory-and-tensor-networks. This is a project aimed at constructing gauge-invariant tensor networks for lattice gauge theory with a view to obtaining a continuous ground-state ansatz for pure Yang-Mills theory.

Tensor-networks-and-quantum-field-theory. This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.

Lyr.jl. Pure Julia OpenVDB parser for scientific visualization. Read sparse volumetric data (clouds, smoke, simulations) with immutable data structures, trilinear sampling, and ray traversal. Designed for path tracers and volume renderers.

Continuous-Limits-of-Quantum-Lattice-Systems. Paper on continous limits of quantum lattice systems

vibefeld. Agent-first CLI tools, UX patterns for LLM agents to prove mathematical results

ai-agents-seminar. HTML

What-is-a-quantum-field-state-. This is a project aimed at answering the question: "what is a quantum field state?"

firstproof. Testing the af (Adversarial Proof Framework) on the 10 research-level math problems from the First Proof paper (Abouzaid, Blumberg, Hairer, Kileel, Kolda, Nelson, Spielman, Srivastava, Ward, Weinberger, Williams). 6 of 10 problems investigated; structured proof trees with recorded dead ends, counterexamples, and partial progress.

polyceph. multi-headed intelligence for modern AI - a clojure agent system with dynamic tools and llm delegation

PicoGPT.jl. From-scratch GPT in pure Julia. Every gradient by hand. No AD, no GPU, no magic.

Bennett.jl. The Enzyme of reversible computation. LLVM-level compiler: any pure function → reversible circuit (NOT/CNOT/Toffoli gates).

generalrelativity. Lecture notes on general relativity

limner. A Clojure/Babashka TUI library for crafting beautiful terminal interfaces

quantumcomputing. Introduction to Quantum Computing — Lecture notes, exercises, and interactive visualizations

Barvinok-Pataki-AOU. Adversarial formalisation of Barvinok-Pataki theorem for order unit spaces

FQHE. Fractional Quantum Hall Effect: the iconic plot from first principles (Julia)

qvls-sturm-demo. QVLS-Sturm chemistry demo: VQE + Regen compiler + QVLS-Q1 trapped-ion backend. AGPL-3.0.

su2-fft. C implementation of the O(N^4) Fast Fourier Transform on SU(2) (Delgado et al. 2026), with FLINT arbitrary-precision parallel path. AGPL-3.0.

frontier. An explore/exploit controller for an orchestrator LLM: an append-only log + a derived FRONTIER/portfolio scoreboard injected via Claude Code hooks + a non-skippable circuit-breaker. The stop-loss a language model structurally lacks.