Simon Willison·· 9 d ago
Quoting Jake Boggan
Quoting Jake Boggan
AI summary
Commenting on the openai/math discussion on Hacker News, Jake Boggan said he spent 24 years and thousands of hours on Barnette's Conjecture, and last summer briefly thought he had solved it. The conjecture is said to have been proven at problem 180, and he described feeling a far-off sadness on hearing the news, like learning an ex-girlfriend had died suddenly in a car crash.
Selection record
Threshold 76Media and individualsFirst 22Second 18
Not admittedSum of both 40 < twice the threshold 152
- Source tier
- Media and individuals; this tier's threshold is 76
- Pre-filter
- passed：引用OpenAI数学成果，涉及AI研究
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: Simon Willison · simonwillison.net