Jake Taylor

Exploring the science and policy of critical and emerging technologies. Views are my own.

[Jake Taylor @quantum_jake]

A new DT up: https://t.co/T8nnpI8A9B

[Jake Taylor @quantum_jake]

FDTD in the browser? Yes, Axiomatic Intelligence builds this!

[Jake Taylor @quantum_jake]

So we’re pretty jazzed that marimo got GPU integration working, as of today (info here:  https://t.co/1WXkUJPaMR). You hand someone a URL — they're driving a 3-D finite difference time domain simulator from a browser.

[Jake Taylor @quantum_jake]

Making physics legible to AI systems today starts with digital twins – simulations of the system that are referenced back to empirical data, e.g., experiments. Our core tech today dramatically accelerates the engineer-in-the-loop build time for a digital twin. (1/4)

[Jake Taylor @quantum_jake]

But simulation tools are often a bit old (GPU optional) They also are typically pretty hard to get going. With AI, we’re able to mitigate some of these disadvantages quickly, which is great. But it can be hard for the user to realize that without substantial back-and-forth. (3/4)

[Jake Taylor @quantum_jake]

Nist: https://t.co/ZdhKXe3eBV
FRN: https://t.co/XyaoxDSKjX

[Jake Taylor @quantum_jake]

Thrilled to see @NIST’s AI consortium is opening up to new members again! Mandate also expanded to enable the foundations of integrating AI with our economy: “proven, scalable, and interoperable techniques and metrics to promote the development and use of AI.” Link below

[Jake Taylor @quantum_jake]

Link: https://t.co/eDlr633QeG

[Jake Taylor @quantum_jake]

Found in the wild: @USArmy War College seeing the benefit of Axiomatic Intelligence! (1/2)

[Jake Taylor @quantum_jake]

Great fun today covering how verification unlocks agentic AI for science and engineering at @RIKEN_JP today. Many thanks to the RQC team and Prof Nakamura for hosting!

[Jake Taylor @quantum_jake]

Presented at https://t.co/x7UhQX9mXM. And keep an eye out for our public release!

[Jake Taylor @quantum_jake]

Today @Axiomatic_AI’s Winston Yin showcased our upcoming tool that makes LEAN’s mathlib, the core source of truth for lean proofs today, accessible to agents — semantic theorem searches, similarity clustering, and extraction to support tactics and proving capabilities.

[Jake Taylor @quantum_jake]

https://t.co/YdojRSb8wL
https://t.co/2LN2p5sVZP
https://t.co/g7zrNCqgiF

[Jake Taylor @quantum_jake]

Members of our LEAN team are showcasing how a minimal agent can make good proofs, and discuss the sorryDB, a living benchmark of unsolved problems at ICLR's verifai workshop today. Come say hi to Borja, Austin, Krystian and @LeopoldoSarra at the poster session!

[Jake Taylor @quantum_jake]

@thisismattreed @nick_farina Incredible to see the progress!

[Jake Taylor @quantum_jake]

@martinmbauer (* except Thorium 229)

[Daniel Carney @four_form]

Gravity is probably quantized into gravitons.

If not, however, there are experimental consequences. In particular, some level of irreversibility/noise. We finally classified ~all such models and calculated the noise.

https://t.co/qN1qQ0AELS

[Charles W. Clark @g8ge]

Wow @JILAscience Adam Kaufman to lead new Google effort in neutral-atom quantum computing
https://t.co/kKr81Uda48

[Victor V. Albert @victorvalbert]

It's official: @preskill now at Oratomic, a new Rydberg atom startup led by @DolevBluvstein and joined by @RobertHuangHY. Exciting times!