The Ledger
Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.
why aren't all 6 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable
Selke: AI might plausibly never solve problems like P versus NP
“Even if AI get, you know, continues getting, like, exponentially better at math, like, it might, you know, plausible will never solve something like P versus NP.”
Selke: OpenAI models discovered better bounds for spherical and binary codes
“Our models found better bounds for these cases as well.”
Selke: OpenAI's Astra proved that a non-sofic group exists
“So, so the result that Astra proved is simply that there exists a non-sulfic group.”
Selke: Only humans can generate 200-page mathematical proofs right now
“Like, only humans can generate, like, 200 page proofs right now.”
Selke: Non-mathematicians will be able to use advanced math without experts
“The ability of someone who's not working on math is, like, their literal job all the time to, like, understand what's going on and, like, you know, learn about some of the mysteries they might have wondered about will go up quite a lot. Also, you know, if you'…”
Selke: OpenAI's Astra improved bounds further simply when prompted again
“In, in this case, what the model was asked to do originally for codes was to improve the bounds by, like, some exponential factor, so it really, like, shows up in this, like, leading constant up here. And, you know, it improved the bounds, and it didn't try to…”