There is a follow-up work to the paper below. arxiv.org/abs/2510.15814 Almost all credit for this to the creativity and persistence of Marco. This paper presents a positive result, the quoted one had a negative result.

gust of wind slammed my umbrella into my face and broke my glasses 💯

big mac

sunday walks

some wide and slouchy looks

pour one out for these guys, they are being evacuated to Florida as we speak

> we’ve made an AI Scientist that runs for days and makes genuine discoveries. Working with external collaborators, we report seven externally validated discoveries across multiple fields

(2) As a compelling example, they used AlphaEvolve to discover a new construction for the finite field Kakeya conjecture; Gemini Deep Think then proved it correct and AlphaProof formalized that proof in Lean. AI-powered Maths research in action! Paper: arxiv.org/abs/2511.02864

when you have an extra Kali Malone ticket but no one wants to come. Kali Alone 😞

dressed in some old navy

Magee dinner jacket, £4.00

more accurate jacket proportions with this camera angle