Twitxy Saved

Chris Abshire

Verified account This account is verified. Learn more

@ChrisAbshire_

Partner @Toyota_Ventures Deep Tech Co-Lead @joinEVCA
intro.co/ChrisAbshire Joined June 2015
984 Following 1.7K Followers 773 Posts

Latest posts 5

Chris Abshire Verified account @ChrisAbshire_
AI is getting remarkably good at generating answers. Knowing whether those answers are actually correct is a different challenge.

@axiommathai just open-sourced tens of thousands of results in algebraic geometry, with every step formally verified in Lean.

This is a huge step toward AI that doesn't just sound right, but can prove it is.

Congrats @CarinaLHong @shubho and the entire team on the Stacks release!
Axiom Verified account @axiommathai 6d
Most think vibecoding at scale is slop. Here’s a counterexample.

Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved.

A mathematical city 🌆
View quoted post on X
Chris Abshire Verified account @ChrisAbshire_
The future of space infrastructure won't be constrained by the size of a rocket fairing.

@rdvrobotics is rethinking how we build in space with modular, autonomous assembly that could unlock an entirely new class of structures and capabilities in orbit.

Proud to co-lead their $20M seed round and excited for what's ahead! @joe_landon @ariel_ekblaw @gerryhudak
Joe Landon Verified account @joe_landon Oct 28
@rdvrobotics has raised a $20M Seed round co-led by @MaCVentureCap and @Toyota_Ventures. Our spacecraft launch as a flat stack of tiles that autonomously self-assemble in space so we can finally start building the satellites we need, not the ones that fit into rockets.
Payload: payloadspace.com/exclusive-rend…
View quoted post on X