Greg Burnham(@GregHBurnham):According to Astra, OpenAI’s results include ≈2 new solutions to FMOP problems (out of 40 left) and 12 new on FM Erdős (out of 63). Also we can take 372-722/4000… something like a 5-20% chance this model+compute solves an arbitrary open problem of ≈substantial interest.

Greg Burnham

@GregHBurnham

Researcher at @EpochAIResearch - on parental leave, mostly baby posts through November

加入 March 2016

808 正在關注 5.2K 粉絲

Greg Burnham@GregHBurnham

2026.10.06 23:34

According to Astra, OpenAI’s results include ≈2 new solutions to FMOP problems (out of 40 left) and 12 new on FM Erdős (out of 63). Also we can take 372-722/4000… something like a 5-20% chance this model+compute solves an arbitrary open problem of ≈substantial interest.