Proofs on Valency Bloghttps://blog.valency.io/tags/proofs/Recent content in Proofs on Valency BlogHugoen-usTue, 06 Oct 2026 15:47:57 -0700Valency hosting AI-accelerated math works from OpenAIhttps://blog.valency.io/posts/valency-hosting-ai-accelerated-math-works-from-openai/Tue, 06 Oct 2026 00:00:00 +0000https://blog.valency.io/posts/valency-hosting-ai-accelerated-math-works-from-openai/Valency Hub now hosts the OpenAI October Math Results: 722 openly licensed math works released by OpenAI, 162 of them with verifiable proofs.