bluesky — Victor Frankenstein's Psychoanalyst — 9 Oct 2026
Anyway the thing I'm wondering why most is that apparently with the openAI math proof dump they fed in 8,000 questions a…
#machine-learning #ai-mathematics #research-methodology
Anyway the thing I'm wondering why most is that apparently with the openAI math proof dump they fed in 8,000 questions and a bit less than 800 got a proof. So for that ~90%, what did it do? That they're not also posting their failures isn't very academically rigorous of u.