GitHub - openai/math

Shared on Bluesky by 9 AI experts (top 5 by trust)

• Mark Riedl @markriedl.bsky.social: OpenAI is working on at least 722 (so far) math manuscripts, all on GitHub in various stages of verificantion github.com/openai/math Why? I… →
• Ted Underwood @tedunderwood.com amplified

  @eriskii.net

  Jesus fuck

  View on Bluesky →
• K Kyle Cranmer @kylecranmer.bsky.social amplified

  Mark Riedl @markriedl.bsky.social

  OpenAI is working on at least 722 (so far) math manuscripts, all on GitHub in various stages of verificantion github.com/openai/math Why? I guess because they can?

  View on Bluesky →
• Tim Kellogg @timkellogg.me: OpenAI has released 100 math results along with reasoning summaries, proofs, and descriptions of how they did it this was done in coordinat… →
• Dashiell @dashiells.bsky.social: I don't think there's a world where mathematicians aren't pissed about this. 1. Dumping everything is what the advisory group said 2. Just y… →