Mini Model, Major Proof: o1-mini Solves It
·51 words·1 min
Likely the first true original math research done by a model!
Both Sonnet 3.5 and GPT 4o came up with an original interesting conjecture but couldn’t generate the correct proof nor could human math researchers for months. Then o1 came out and that also failed but o1-mini did it… https://x.com/robertghrist/status/1841462507543949581