Mathematical manuscripts and supporting proof artifacts produced by OpenAI
https://github.com/openai/math
Comments: https://news.ycombinator.com/item?id=49984976
#HackerNews #OpenAI #MathematicalManuscripts #ProofArtifacts #AIResearch
#proofartifacts — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofartifacts, aggregated by home.social.