FeedOpenAI·Oct 6, 2026Sharing AI progress in mathematicsAI & MLMathematical ReasoningLeanTheorem ProvingTL;DRRead the original post Sign in to mark as read or skip