
Taneem Ullah Jan
4.2K posts

Taneem Ullah Jan
@taneemishere
Applied AI researcher and engineer














Axiom launched six months ago with one conviction: mathematics is the right foundation for building systems that reason. Today we announce Axiom's Series A. We raised $200M at a $1.6B+ valuation, led by @MenloVentures, to extend our lead in formal mathematics into Verified AI.








WebMCP is available for early preview → goo.gle/4rML2O9 WebMCP aims to provide a standard way for exposing structured tools, ensuring AI agents can perform actions on your side with increased speed, reliability, and precision.






9th grade algebra is actually fun. Differential equations is where I draw the line



if you've never *started* a software company from scratch & taken it from zero to launch, then you have no idea how painful that is. simply working at even early companies does not count. you can only really advise founders if you've played this role before.




