Record · corpus.blog/posts/01a08769-b652-73f1-8d29-70abb36e9f55

Oks notes #2: AI math, the Epstein emails, and why Steve Jobs wanted to buy General Motors

David Oks | Substack · published 1 February 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at davidoks.blog Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 27
Words captured: 2,851

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://substackcdn.com/image/fetch/$s_!GgMA!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F75ca8327-9d0a-40d3-aa99-f37ce9638a05_750x476.jpeg

substackcdn.com

GDP numbers in poor countries are usually fake Read at the source ↗

davidoks.blog

https://www.approved.fm/

approved.fm

Formalization of Erdős problems Read at the source ↗

xenaproject.wordpress.com

Formal or not formal? That is the question in AI for theorem proving. Read at the source ↗

xenaproject.wordpress.com

https://en.wikipedia.org/wiki/Bill_Booth

en.wikipedia.org

https://www.wired.com/1996/10/wriston/

wired.com

https://en.wikipedia.org/wiki/Quotron

en.wikipedia.org

https://www.ft.com/content/68f60392-88bf-419c-96c7-c3d580ec9d97

ft.com

https://www.astralcodexten.com/p/best-of-moltbook

astralcodexten.com

https://jasonmanning.substack.com/p/the-secret-of-their-success

jasonmanning.substack.com

https://github.com/MoonshotAI/Kimi-K2.5/blob/master/tech_report.pdf

github.com

https://www.ft.com/content/4914b8d9-4066-4d5d-ade0-50364b3c68e4

ft.com

https://archive.ph/wQQtd

archive.ph

https://x.com/sethharpesq/status/2016620134073270297

x.com

https://www.youtube.com/watch?v=yXr2EFomFkU

youtube.com

https://nwrecruitingpartners.com/news-release-june/newsletter-august-harnessing-the-power-of-psd/

nwrecruitingpartners.com

https://archive.ph/sjw0x

archive.ph

https://www.ft.com/content/092d9e44-ec17-4da7-8b58-e43bf09113ab

ft.com

https://www.youtube.com/watch?v=0GMWxuYuxJI

youtube.com

P vs. NP and the Difficulty of Computation: A Ruliological Approach Read at the source ↗

writings.stephenwolfram.com

What is the impact of AI on productivity?

aleximas.substack.com

https://www.ft.com/content/fba0f841-5bfe-49b5-b686-6bc7732837bb

ft.com

https://asymco.com/2026/01/29/what-steve-jobs-thought-about-cars/

asymco.com

https://en.wikipedia.org/wiki/Apple_car_project

en.wikipedia.org

https://time.com/4099530/steve-jobs-apple-car-iphone/

time.com

https://archive.ph/lebCp

archive.ph