Post

Models’ mathematical abilities are finally in the limelight! I’m holding my breath for someone to do a type theory breakthrough

Clavin

@cla.vin

26 July

<soapbox> …and for it to become generally accessible too. I’ve seen models writing Lean code for years now, but I’ve yet to see codebases formalizing their most fundamental systems with this power—access controls, extension lifecycles, rate limits, etc.

Clavin

@cla.vin

One of my marketable skills used to be the depth of investigation I could give to a problem. Models have enabled so many more people to go deep on so many more topics now! We see niches being explored with more depth and breakthroughs advancing our frontiers every day as a consequence.

26/7/26, 7:19 pm0 reposts2 likes

Clavin

@cla.vin

26 July

Another skill I’d like to see become accessible is formalization, for infrastructures. Eager to see people ‘do a breakthrough’ on type systems and interfaces next. </soapbox>