
Anil Kumar
@anilkumar09
I am a messenger.
ID: 44058551
02-06-2009 04:31:13
6,6K Tweet
531 Takipçi
4,4K Takip Edilen








Christian Szegedy When do you think we'll be at the point where we have a tool that can take a paper on, say, geometric Langlands, and formalize it without human intervention?


Some exciting news - recently had the pleasure of being featured as a guest creator on Grant Sanderson! The video is about AlphaGeometry, the 2024 DeepMind model that solved IMO geometry problems at a silver medal level. HUGE thanks to Grant for the guest feature🥹Check it out








