Joey

details merchant

[Markus J. Buehler @ProfBuehlerMIT]

We've made a breakthrough in self-evolving AI scientists moving from "search" to "principled discovery": Scientific discovery requires that the search space itself changes, and an AI scientist must perceive this shift without intervention. We built an AI that achieves this for the first time with the ability to discover the scientific vocabulary it reasons in. Evidence, tools, artifacts, verifiers, failures & claims become typed provenance. We show three distinct modalities: 1) retrieval, adding known objects; 2) search, exploring a fixed schema; and critically: 3) discovery, a verified regime transition.

We solve the open-endedness evaluation problem by lifting agentic workflows into a typed copresheaf and proving, via a Kan obstruction, that true discovery is not unbounded generation but a verifiable schema expansion: old evidence is transported by Left Kan extension, and genuine novelty is mathematically quantified by the pointwise residual beyond the transported image - separating discovery from mere search and making novelty objective and measurable rather than a subjective judgment or benchmark delta.

Our AI scientist is built in a way that does not pre-conceive the approach it chooses; instead, we endow the system with formal power to adapt, evolve, and reason from first principles. Case studies include:
1⃣Builder/Breaker model that discovers mode-conditioned compliance in proteins;
2⃣CategoryScienceClaw that finds anisotropic fiber-network stiffness rules.

Great work in collaboration with my graduate student @fwang108_ @MITdeptofBE

F.Y. Wang & M.J. Buehler, Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence, arXiv:2606.01444, 2026

[Joey @joeymtan]

what are we doing here

[Joey @joeymtan]

deadlock is ruining my life

[Joey @joeymtan]

bro lmfao

[Joey @joeymtan]

i keep getting tiktoks of minecraft players doing weeks-long megabuilds on their hardcore worlds and it's making me feel like i've never worked a day in my life

[Joey @joeymtan]

rachmaninov is actually the goat he can't be beat

[big john the boshfather @Johnfis08605918]

Chinese in Dubai Marina ? Oh go on then. Bosh

[Joey @joeymtan]

mitchell hashimoto is such an animal, thank god for HCL

[Joey @joeymtan]

Guy who needs a haircut

[Allie @searobbing]

I’ve noticed that people of genius level intelligence often go too long between haircuts out of laziness or apathy.

[Joey @joeymtan]

openai ad pretty fire

[Happy Punch @HappyPunch]

New combat sport league where heavyweights just sprint full speed into each other

[Joey @joeymtan]

category theory has arrived

[Joey @joeymtan]

This is one of the great filters. This is our test

[Elsa @elsathora]

BREAKING: Americans will soon be able to use Klarna’s ‘buy now, pay later’ option to subscribe to OnlyFans

[Joey @joeymtan]

Mr beast is Elon musk for YouTube

[Joey @joeymtan]

bro lmfao

[Joey @joeymtan]

so what does it mean to scale cognitive labor?

my impression is that software engineering shifts more toward world building and things will take a coalition-building dominant market turn

[Joey @joeymtan]

yeah gpt-5.3-codex is insane

[Joey @joeymtan]

Academics be like

[Leah Libresco Sargeant @LeahLibresco]

Via ACX: "ChatGPT apparently got rewarded for using its built-in calculator during training, and so it would covertly open its calculator, add 1+1, and do nothing with the result, on five percent of all user queries."

https://t.co/8x0r6MTBRE

[ANGSUDO @K19Unknown]

My made drill/saw machine without using Arduino IDE

[Joey @joeymtan]

Pretty convincing ngl

[Sam Altman @sama]

First, the good part of the Anthropic ads: they are funny, and I laughed.

But I wonder why Anthropic would go for something so clearly dishonest. Our most important principle for ads says that we won’t do exactly this; we would obviously never run ads in the way Anthropic depicts them. We are not stupid and we know our users would reject that.

I guess it’s on brand for Anthropic doublespeak to use a deceptive ad to critique theoretical deceptive ads that aren’t real, but a Super Bowl ad is not where I would expect it.

More importantly, we believe everyone deserves to use AI and are committed to free access, because we believe access creates agency. More Texans use ChatGPT for free than total people use Claude in the US, so we have a differently-shaped problem than they do. (If you want to pay for ChatGPT Plus or Pro, we don't show you ads.)

Anthropic serves an expensive product to rich people. We are glad they do that and we are doing that too, but we also feel strongly that we need to bring AI to billions of people who can’t pay for subscriptions.

Maybe even more importantly: Anthropic wants to control what people do with AI—they block companies they don't like from using their coding product (including us), they want to write the rules themselves for what people can and can't use AI for, and now they also want to tell other companies what their business models can be.

We are committed to broad, democratic decision making in addition to access. We are also committed to building the most resilient ecosystem for advanced AI. We care a great deal about safe, broadly beneficial AGI, and we know the only way to get there is to work with the world to prepare.

One authoritarian company won't get us there on their own, to say nothing of the other obvious risks. It is a dark path.

As for our Super Bowl ad: it’s about builders, and how anyone can now build anything.

We are enjoying watching so many people switch to Codex. There have now been 500,000 app downloads since launch on Monday, and we think builders are really going to love what’s coming in the next few weeks. I believe Codex is going to win.

We will continue to work hard to make even more intelligence available for lower and lower prices to our users.

This time belongs to the builders, not the people who want to control them.