o3 already had this priced in amongst many mathematicians I talked to at conferences

You use the word "already" as if it already happened, but this is confusing speculation with reality. Market prices are a summary of speculation. Plenty of things are "priced in" that haven't happened yet, and maybe won't if the market is wrong.

Anticipating that something will happen is not the same as evidence that it's happened.

	▲	LongTermCapital a day ago \| parent [-]
		You have an earned an upvote from Long Term Capital Management!

▲

simianwords a day ago | parent | prev [-]

Doesn't seem to be the case here: https://www.daniellitt.com/blog/2026/2/20/mathematics-in-the...

	▲	vatsachak a day ago \| parent [-]
		I was on Twitter around 2024-2025 and showed both Daniel and my advisor at UCSD sota results I created in group theory using Gemini 2.5 (edited) Pro in Q2 2025. A lot of us knew what was coming. Profs I speak to these days say it's the same old except they need to pick a different kind of problem for grad students