saw this tweet last night and told 5.6-sol what to do just checked, works 👍
You would also be bankrupt. Trust me. Tried it on one non erdos problem
Guardrails removed spam, off-topic, unclear, or duplicate replies.
Ask a question below.
Published answers will appear here.
saw this tweet last night and told 5.6-sol what to do just checked, works 👍
You would also be bankrupt. Trust me. Tried it on one non erdos problem
You would also be bankrupt. Trust me. Tried it on one non erdos problem
GPT-5.6 Sol is absurdly good—far beyond what I expected. Using the CDC prompt, it cracked Erdős Problem #796 and fully formalized the proof in Lean in just a few hours (with a lot of subagents)! Someone with enough @OpenAI credits should run the basic CDC prompt on all Erdös problems. That should settle A LOT of them! Problem: https://www.erdosproblems.com/796 Solution + Lean formalization: https://github.com/rishigajjala/erdos-796-lean
saw this tweet last night and told 5.6-sol what to do just checked, works 👍
Trying to repro those super dense gpt 5.x model reasoning traces is way harder than it seems. IDK if it's just obcene amounts of compute applied to what I'm trying now or if my technique is wrong. Either way OAI cooked
Guardrails removed spam, off-topic, unclear, or duplicate replies.
Ask a question below.
Published answers will appear here.
