Exploring the science and policy of critical and emerging technologies. Views are my own.
Joined February 2013
- Tweets 3,504
- Following 846
- Followers 4,153
- Likes 1,613
191 Photos and videos
Jake Taylor retweeted
Jun 13
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees.
The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance.
Access to all other Claude models is not affected.
We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible.
Read our full statement: anthropic.com/news/fable-myt…
12,404
25,692
87,499
88,210,745
Jun 13
Seeing really interesting capabilities on the local model side. Also Claude Fable/Mythos takedown is going to be the most important trial balloon of the year.
2
353
Jun 2
FDTD in the browser? Yes, Axiomatic Intelligence builds this!
1
1
311
Jun 1
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)
3
1
5
717
Jun 1
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)
1
233
Jun 1
So we’re pretty jazzed that marimo got GPU integration working, as of today (info here: marimo.io/blog/reintroducing…). You hand someone a URL — they're driving a 3-D finite difference time domain simulator from a browser.
93
May 29
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
1
1
319
May 29
Found in the wild: @USArmy War College seeing the benefit of Axiomatic Intelligence! (1/2)
1
1
285
May 29
275
May 22
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!
3
171
May 12
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.
1
1
205
Apr 26
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!
1
2
8
665
Jake Taylor retweeted
Mar 30
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.
arxiv.org/abs/2603.26075
40
46
274
23,322
Jake Taylor retweeted
Mar 25
Wow @JILAscience Adam Kaufman to lead new Google effort in neutral-atom quantum computing
blog.google/innovation-and-a…
7
18
947
Jake Taylor retweeted
Mar 20
It's official: @preskill now at Oratomic, a new Rydberg atom startup led by @DolevBluvstein and joined by @RobertHuangHY. Exciting times!
11
9
81
6,031