Finally got around to reading this Cloudflare blog post about how they harnessed Mythos for their Project Glasswing preview: blog.cloudflare.com/cyber-fronti...
Who's Who of AI
Andrea Lathrop
Cognitive Science... tech stuff... dev psych... AI... former Aslin Lab (Master's) and Eppler Lab (with Jackie Gibson emeritus) so I'm a weird mix of Gibsonian affordances, visual statistical learning and anticipatory eye movements. Sometimes academic.
What they're sharing
Project Glasswing: what Mythos showed us blog.cloudflare.com
[2605.22763v1] Advancing Mathematics Research with AI-Driven Formal Proof Search arxiv.org
reuters.com
View on Bluesky →
[2605.10878] Neural Weight Norm = Kolmogorov Complexity arxiv.org
View on Bluesky →
arxiv.org
View on Bluesky →
youtube.com
View on Bluesky →
theintrinsicperspective.com
View on Bluesky →
theintrinsicperspective.com
View on Bluesky →
arxiv.org
arxiv.org
thinkingmachines.ai
Articles & links
Haven't read it, yet, but apparently the Deep Mind gang solved 9 more Erdös problems... arxiv.org/abs/2605.227...
Andrea Lathrop reposted
".. The app .. frequently miscounted and mislabeled items, such as confusing similar milk types or missing them altogether .." @reuters.com $SBUX www.reuters.com/business/sta...
Andrea Lathrop reposted
He finds that neural networks may be biased toward the simplest fit that explains the data OR the neural network with the smallest possible weight norm that fits the data must encode the shortest program that fits the data Neural Weight Norm = Kolmogorov Complexity Paper: arxi…
Andrea Lathrop reposted
well, lo, people have built a benchmark using a task called multi-armed bandit, where success depends on iteratively grasping the relative odds of payouts from different choices, and LLMs are (generally) shit at it arxiv.org/pdf/2403.15371 /
Andrea Lathrop reposted
In his keynote speech to Harvard graduates this week, @thedailyshow.com host Ronny Chieng said "Fuck AI!" Turns out you can talk about AI in a grad speech and not get booed. Watch our episode on these AI grad speeches: www.youtube.com/watch?v=VE0E...
Andrea Lathrop reposted
I'm not sure what to think about the new AI math results, but I found this perspective by Erik Hoel interesting: www.theintrinsicperspective.com/p/dumbo-coul...
Andrea Lathrop reposted
I'm not sure what to think about the new AI math results, but I found this perspective by Erik Hoel interesting: www.theintrinsicperspective.com/p/dumbo-coul...
I should just go down a rabbit hole, and read all of the source articles referenced in the Winston article, now, but I'm trying to clear tabs, so let's go with Ha and Schmidhuber, World Models: arxiv.org/pdf/1803.10122
Prior to the 17 tabs, I read: 1. The DeepMind open problems AI solver paper 2. The OpenAI Erdos problem paper 3. The mathematician response paper to the OpenAI solution Next up, if you would like to follow along: arxiv.org/pdf/2310.01425
Thinking Machines Lab offering $100k research grants for human-AI interactivity/collaboration (application deadline: June 19, 2026): thinkingmachines.ai/news/interac...
Their own posts
Recent commentary
So, obviously, a bunch of people are going to keep churning out LLM-harnessed math results, ad nauseam, because that's what the 'now' thing to do is, but I'm sort of wondering what the point of math is. Isn't it this grand puzzle we (human civilization) set for ourselves for a challenge?
I used to think it was weird that, on a ship full of engineers, the holodeck kept malfunctioning, and almost killing everyone, but now that I see how we are speedrunning agentic AI, it seems more plausible.
The most artful thing about the 'critique this "AI" [real, actually] Monet" stunt on Twitter is that OP then minted the [cropped screenshot of a Monet poster] on the blockchain as 'Inferior Image'.
Clearly, the Temperature parameter is the seat of LLM consciousness.
Ok, I have now (tried to read the OpenAI proof... that one is over my head, mostly because I can't decipher mathematician citations of other mathematicians on the fly, I don't have the world's conjectural & derivational history stored in my brain.) I also read the mathematicians response paper, and