User reports GPT 5.6-Sol Pro finds math breakthroughs with prompts

A Reddit user claims to have run a harness in GPT 5.6-Sol Pro for 679 minutes (11 hours, 19 minutes), yielding two discoveries, including an improved bound on a niche problem. The post is anecdotal and unverified.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Z.ai CEO Jie Tang: GLM 5.3 gains come from RL, not parameter count
- New tool adds 14 skills to Claude Code and Cursor for Markdown diagrams
- Tool turns Claude into a team of AI employees on your Mac
- GOP panics over Big Tech ties as Trump shifts on AI regulation
- Ethan Mollick: Claude's skill creator beats ChatGPT for reusable skills