Views expressed are my own.
Joined August 2016
- Tweets496
- Following870
- Followers2.8K
- Likes1.5K
Dirk Englund retweeted
A lens and a grating coupler, solved together, one slider between them.
Lemma ran Optiland for the lens and Tidy3D for the chip, then joined them at one plane above the grating.
Move the height slider in the notebook and both beams shift and spread together.
Try Lemma: axiomatic.ai/lemma/at-a-glan…
Dirk Englund retweeted
Our CEO @quantum_jake took the Tough Tech stage today to show what we're building.
He showcased one of our products, Lemma, the sandbox for scientists.
Hand it a paper. It re-derives the equations, checks each reference against the record, and returns an annotated PDF with every flag next to its evidence.
Hand it a simulation. It writes the code, runs it on the compute you choose, up to an H200 GPU, and brings back the notebook.
Hand it a plan. Each step gets a check before the next one runs.
Try Lemma today
platform.axiomatic-ai.com/r/…
#ToughTechWeek
New on arXiv, led by Hamza Raniwala: a full-stack quantum networking node from tin-vacancy centers in diamond on a tunable SiN photonic chip. GHz-scale spectral tuning, <80 ns spin gates, fiber-array readout, and a digital twin guiding the strain tuning. arxiv.org/abs/2608.11630
Dirk Englund retweeted
Congratulations to RLE’s James G. Fujimoto and Eric A. Swanson, named 2026 Citation Laureates by @ClarivateAG for their development of optical coherence tomography (OCT).
#CitationLaureates #CitationLaureates2026 #MIT
ALT James G. Fujimoto Headshot
ALT Eric A. Swanson Headshot
Dirk Englund retweeted
Our commitment to the scientists using Lemma: we will not front run your work. Axiomatic AI does not use your private work to race you to publication or patenting, or train capabilities for others without your permission.
How we treat your data: axiomatic.ai/blog/scientists…
You do the science, Lemma does the rest: platform.axiomatic-ai.com/r/…
Dirk Englund retweeted
QuEra + @HPE are bringing neutral-atom, fault-tolerant quantum computing into on-prem HPC on HPE Cray. National labs and enterprises get quantum next to their classical supercomputers, cloud or on-prem. The future of compute is both. buff.ly/yN3V0y6
Dirk Englund retweeted
A new study from MIT researchers could help to enable next-generation lidar sensors that are compact, durable, and have no moving parts. The key advance is a novel design for a silicon-photonics chip, which is a semiconductor device that manipulates light rather than electricity. news.mit.edu/2026/photonics-…
Dirk Englund retweeted
Given uncertainties in how ai companies use scientists’ prompts, traces, and data, we are clarifying our policy, here: axiomatic.ai/blog/scientists…
Dirk Englund retweeted
Lemma, an AI platform for science and engineering, is now in public beta!
When you do science, there are many painstaking moments.
Check out Uri, one of our scientists, as he puts Lemma to work on his own problem: building analogies for black hole scattering.
Start building here:
platform.axiomatic-ai.com/r/…
Dirk Englund retweeted
The navier-stokes business makes me think the rl systems spent a bit too much time listening to Lobachevsky by Tom Lehrer
A central task in science and engineering is catching errors — and the silent ones are the tricky ones! :)
AxQM: 1,019 kernel-checkable proof-synthesis tasks over 479 items of Nielsen & Chuang, in a Lean 4 library of finite-dimensional QM.
Graded by the kernel, not a rubric: compiles, no "sorry" in the dependency closure, no new axioms. So we human domain experts stay relevant a bit longer.
With Winston Yin, @quantum_jake & @FrankKoppens. @Axiomatic_AI
arxiv.org/abs/2609.05157
Great working together on this, @aadarwal and Kenaish!
very useful
Multimodal Intelligence has fundamentally changed the scope of Photonic IC design.
We are excited to share research in that direction!
On arXiv this week - arxiv.org/abs/2608.00084 - we present photonic component creation as a parametric, verifiable representation problem. 🧵
AI agents + formal verification for open problems in quantum information: an agent (Claude Fable 5) proved the Farhi–Goldstone–Gutmann QAOA conjecture, machine-verified in Lean 4. With Uri Kol, Maor Ben-Shahar & @KfirSulimany. @RLEatMIT @MIT @CQN_ERC arxiv.org/abs/2606.29687
AI agents + formal verification for open problems in quantum information theory: an agentic system on Claude Fable 5 proved the Farhi–Goldstone–Gutmann QAOA conjecture, machine-checked end-to-end in Lean 4. Correct by construction.
arxiv.org/abs/2606.29687
To drive, or not to drive? New in PRX Quantum: periodic driving of a diamond of random color centers dynamically decouples hyperfine qubits—and ratchets optical transitions into entanglement windows on the same clock beat. With Pratyush Anand, Louis Follet & Odiel Hooybergs!
Excited to share that our paper "Nanophotonic waveguide chip-to-world beam scanning" is now published in Nature. Congrats Matt Saha and the team at @MIT-QPAI, @MITREcorp , @SandiaLabs , @Axiomatic_AI, University of Arizona, and CU Boulder.
This work introduces a NEMS-photonic beam scanning platform for a new generation of light engines with massive parallelism.
Key results:
• 68.6 mega-spots/s/mm² beam-scanning at CMOS-level voltages
• RGB video produced from a cross section equivalent to 2 iPhone pixels.
How is this possible? the number of distinct spatial optical modes modes is ~ Area/(λ/n_eff)²). Because our device scans the waveguide (tiny mode cross section), that mode density approaches the fundamental limit, which is ~ 2 OM higher than what are
normally considered ultra high resolution displays
MIT News: news.mit.edu/2026/new-photon…
Open access: nature.com/articles/s41586-0…
#Photonics #Nature #MIT #QPAI #Nanophotonics
if @JacquesCarolan had become a car-mechanic rather than a quantum-mechanic ;) youtu.be/TcZ_bpP0RQc?si=87au…
pretty cool show too, lol