Loading activity…
@kevinweil
BoD @Cisco @Stoke_Space LTC @USArmyReserve Ex CPO+Science @OpenAI, Pres @Planet, Head of Product @Instagram @Twitter ❤️ @elizabeth ultramarathons kids cats math
AI
A user shared an image they say they think about all the time.
AI
A post praises Yann LeCun's analogy that boats reduced the importance of swimming but enabled the discovery of new lands.
AI
OpenAI says it drew on an independent mathematics advisory group’s advice about how to release the results.
AI
Anthropic says Claude worked largely unsupervised for days, using methods developed by SLAC’s Lance Dixon and colleagues. The company puts the cost at a few thousand dollars and says Dixon independently verified the result.
AI
Vinod Khosla announced the hire and quoted Broda inviting AI founders—especially those building AI infrastructure—to get in touch.
AI
Posts say 25 Fields Medal winners signed a declaration warning of a mismatch between AI companies and mathematics. Supporters stress understanding and scientific communities; critics say AI proofs can still yield insights.
AI
Kevin Weil questions the lack of a number for comparing future models.
AI
Colleagues reply after he posted plans to start something new.
AI
OpenAI gives Plus and Pro users GPT-5.6 Sol for every chat and adds a reasoning slider while expanding Luna access for free users.
AI
Announces shift to advisor role and return to posting on the platform.
AI
Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.
AI
AI figures online react with praise to the unexpected social media mention.
