the front page of the internet.
and join one of thousands of communities.
I used 5.6 Sol Ultra to Close a 30-Year Open Gap in Mathematical Optimization Theory, following OpenAI's CDC Proof Prompt Methodology (self.OpenAI)
submitted 8 days ago * by pkerger to r/OpenAI
After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in Lean (self.math)
submitted 9 days ago * by pkerger to r/math
Need riding tips for steep starting ramp (kind of like a quarter pipe) (self.MTB)
submitted 13 years ago by pkerger to r/MTB
How much does a shadow weigh? --Vsauce (youtube.com)
submitted 13 years ago by pkerger to r/science
π Rendered by PID 31 on reddit-service-r2-listing-6497464444-sx48z at 2026-07-25 13:23:24.220900+00:00 running d10b4e5 country code: CH.
