funding

Jonathan Gorard ✅ @getjonwithit · 21h
We're immensely excited to be partnering with @SimonDBarnett and @zavaindar of @_DimensionCap, @TaylorCSargent of @IndustriousVC, and @blader, as we deliver on the promise of formally verifying the physical universe, and of closing the last remaining gaps between the computational, mathematical, and physical worlds.

I wrote a short post about this exceptional group of people, and why we're so thrilled to be working with them, as we continue to build Lanyon. Link below 👇

[quoted tweet]
Lanyon AI @lanyon_ai · 21h
Last month, right around the time we officially came out of stealth, we also closed our initial $10.6 million fundraising round, led by @_DimensionCap, with participation from @IndustriousVC....

[article card]
Lanyon AI Emerges from Stealth to Build the Future of Scientific and Technical Computing
AP | Updated Mon, August 17, 2026 at 9:01 AM GMT+2
[photo of three men standing against a brick wall, one holding a hat and umbrella prop]
$10.6 million fundraising round led by Dimension backs a team of world-leading Princeton mathematicians and physicists building a radically new kind of scientific AI backed by mathematical proofs of correctness.

startupsformal verificationai for sciencefundingtwitter

🔁 Bogdan Ionut Cirstea reposted
Steve Newman ✔ @snewmanpv · 2h
Suppose the AI field is spending 20x as much on capabilities as safety (probably an underestimate). Shifting 10% of R&D to safety would 3x safety. We should absolutely be building a mechanism to "pace" progress, but meanwhile, increasing safety spending is low-hanging fruit (and, if you're an accelerator: this would reduce incidents that trigger pushback / regulation).

See e.g. tweets from @yonashav (x.com/yonashav/statu...) and @fleetingbytes (x.com/fleetingbytes/...)

[embedded screenshot, partially cut off, two side-by-side text panels]
left panel (partial): "...and control projects don't just mean esc[ape]... aren't suited for, it can include extremely... [b]uild better monitors and study the conditi[ons]... [e]licit collusion", "study generalization of p[olicy]... ent across RL run depth", "do historical an[alysis]... r generations, fix/prune every hack patter[n]... facto impossible, and then train an RL m[odel]... hack to see whether you can actually exp[loit]... fficient effort", or even "study scaling law[s]... nt compute to identify equilibria that mi[nimize]... ood RS at a top lab can do any of these. If [you have] ideas, dm me, I will get you hundreds."
right panel (partial): "...date out of these incidents is th[at]... nt (especially openai; although... at they are not investing enou[gh]... [highlighted] ng to spend hundreds of millio[ns]... ersecurity safety sub-team an[d]... llions of dollars in gpu costs o[n]... d issues like this"

fleetingbytes ✔ @fleetingbytes · Aug 6
i think that my big update out of these incidents is that the labs are not sufficiently transparent (especially openai; although silence from meta, xai, deepmind) and that they are not investing enough in safety...

ai safetyfundingtwitteralignment

Andrew Curran @AndrewCurran_

2026-01-29

openaifundingnvidiamicrosoftamazonsoftbankai-industrytwitter

ai-startupsfundingnon-transformer-architectureopenaitwitterself-replicating-factorieshype

ai startupsdeepmindsuperintelligencecoding agentsfundingtwitter