The Guardian

= Math AI 
{synonym}
{title2}

<AGI-complete> in general? Obviously. But still, a lot can be done. See e.g.:
* <The Busy Beaver Challenge> deciders


Automated theorem proving

Zermelo-Fraenkel axioms with the axiom of choice

{c}
{tag=Mole (espionage)}
{wiki}

\Image[https://web.archive.org/web/20230105104912oe_/https://substackcdn.com/image/fetch/w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fbucketeer-e05bbc84-baa3-437e-9518-adb32be77984.s3.amazonaws.com%2Fpublic%2Fimages%2F21912636-f1f7-41a9-9d70-19e64733d81c_640x480.jpeg]
{title=<Bill Haydon> played by Ian Richardson in the <Tinker Tailor Soldier Spy (TV series)>[1979 Tinker Tailor Soldier Spy (TV series)]}

\Image[https://web.archive.org/web/20220628225849im_/https://i.guim.co.uk/img/static/sys-images/Guardian/Pix/pictures/2011/9/13/1315907015051/Colin-Firth-as-Bill-Haydo-007.jpg?width=620&quality=85&auto=format&fit=max&s=d8a3e02ee10bcb882b3ce5c5067aca0c]
{title=<Bill Haydon> played by Colin Firth in the <Tinker Tailor Soldier Spy (film)>[2011 Tinker Tailor Soldier Spy (film)]}


Bill Haydon

Zero-based numbering

Formal verification

Programming language construct

British newspaper

American newspaper

Minecraft clone

{c}
{tag=Oxford slang}

Short for <Doctor of Philosophy>, it's how some weird places like the <University of Oxford> say <PhD>. In <Oxford> they also analogously say <MPHil>.


DPhil

Dell

{c}
{tag=Conjecture by Erdős}

Described at: https://arxiv.org/pdf/2107.12475.pdf[] where a relation to the <Busy beaver scale> is proven, and the intuitive relation to the <Collatz conjecture> described. Perhaps more directly: https://demonstrations.wolfram.com/CollatzSequenceComputedByATuringMachine/


Erdős' conjecture on powers of 2

{tag=Academia is broken}

* https://experimentalhistory.substack.com/p/the-rise-and-fall-of-peer-review The rise and fall of peer review by Adam Mastroianni (2022)

One of the most beautiful things is how they paywall even <public domain> works. E.g. here: https://www.nature.com/articles/119558a0 was published in 1927, and is therefore in the public domain as of 2023. But it is of course just paywalled as usual throughout 2023. There is zero incentive for them to open anything up.

\Video[https://www.youtube.com/watch?v=LM91MXgfmLc]
{title=What they don't tell you about <academic publishing> by <Andy Stapleton> (2021)}

\Video[https://www.youtube.com/watch?v=5xgbRxA_7DI]
{title=The publishing scandal happening right now by <Andy Stapleton> (2023)}
{description=TOOD get the name of the academic who quit.}


Ciro Santilli @cirosantilli  40