News for hackers. Stuff that matters.

A comment on An OpenAI model has disproved a central conjecture in discrete geometry. Parent comment

Re:An OpenAI model has disproved a central conjecture in dis... by se4u on Wednesday May 20, 2026 @07:53PM (#48215978)
When a qualifying noun is absent , then priors means prior beliefs.
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by xyzsparetimexyz on Thursday May 21, 2026 @01:38AM (#48218324)
Prior to what? Why not just say beliefs?
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by niek_pas on Thursday May 21, 2026 @04:49AM (#48219647)
"Update your priors" is a common expression in English: https://en.wiktionary.org/wiki/update_one%27s_priors#English
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by rob on Thursday May 21, 2026 @06:36AM (#48220434)
No it's not. Where do you come up with this? Just because you searched the phrase on Google and there's a single result for it on a wiki? Who do you know that's using this expression regularly?
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by eudamoniac on Thursday May 21, 2026 @02:30PM (#48227075)
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by staticman2 on Thursday May 21, 2026 @05:17AM (#48219888)
Your wiktionary link indicates it is not a common expression in English but instead something "rationalist community" people say.
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by pocksuppet on Thursday May 21, 2026 @06:05AM (#48220218)
HN is a rationalist community hangout.
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by repparw on Thursday May 21, 2026 @01:43PM (#48226445)
we're reading comments on a post about math proofs
[ Parent | on HN ]
Re:An OpenAI model has disproved a central conjecture in dis... by happytoexplain on Friday May 22, 2026 @10:11PM (#48243868)
"Common" is an exaggeration.
[ Parent | on HN ]