research automation

Noam Brown ✓ @polynoamial · 58m This was one of the bigger open questions in quantum cryptography > QUOTED: Chayanka_42 ✓ @42_gravity · Jul 23 GPT-5.6 Sol Ultra helped solve a six-year-old open problem in quantum cryptography by generating the construction and main proof ideas through Codex. ... > [embedded white document excerpt, cut off]: AI usage. The human authors take full responsibility for the claims and pr[oofs] and have carefully refined and verified them. The construction and main idea[s were generate]d entirely by Codex using GPT 5.6 Sol Ultra, using harness ideas generated [by] [UCLA?] Moonshot Harness [ZHC+26] and [Ope26].

Greg Brockman @gdb · Feb 13 we are now benchmarking our models on novel frontier research, via firstproof.org. of 10 math research problems which research mathematicians have solved but never published the solutions to, in a week, our model discovered likely correct solutions to at least 6 of them. > QUOTED: Jakub Pachocki @merettm · Feb 13 > Very excited about the "First Proof" challenge. I believe novel frontier research is perhaps the most important way to evaluate capabilities of the next generation of AI models. > ... > Show more