Thelonious Oditamo

here to force nuance

[Thelonious Oditamo @originaldint]

@satfillbch @alz_zyd_ i disagree, getting into top PhDs is a strong signal

[Thelonious Oditamo @originaldint]

theoretical computer science might feel the turbulence faster bc they are more interested in sucking the toes of the machine god

[Thelonious Oditamo @originaldint]

@creatine_cycle there's 3 of these in downtown palo alto and i'm convinced it's the first sign of ai takeover

[Thelonious Oditamo @originaldint]

@Noahpinion Noah really woke up and thought "I wanna get ratio'd today"

[Thelonious Oditamo @originaldint]

@__alpoge__ id prefer if fable made more distinct cool breakthroughs instead of copying openai. focus on contributing to science instead of flexing!

[Thelonious Oditamo @originaldint]

@EMostaque would be a complete renaissance for the field

[Thelonious Oditamo @originaldint]

@elonmusk this looks like a bad porno

[Thelonious Oditamo @originaldint]

@NateSilver538 idk, the PR from this has seemed pretty successful on twitter at least. also they're for sure trying to flex on their educational peers

[Thelonious Oditamo @originaldint]

@fleetingbytes this is why mathematicians are mainly paid to teach! the economy has basically already priced this in

[Thelonious Oditamo @originaldint]

@henrytdowling they're gonna keep flexing LLM math until they solve a Millennium problem (or specifically, Riemann or P vs. NP). until then, the PR benefits are too good even though it's a little strange

[Thelonious Oditamo @originaldint]

@theojaffee I think the main argument for such a case would be as a portent for what's the come, not on the basis of the results alone.

[Thelonious Oditamo @originaldint]

@AcerFur ! will the some other results achieved internally be shared later then?

[Thelonious Oditamo @originaldint]

@polynoamial isn't this like saying I only spent 1 dollar on my winning lottery ticket? the actual question is how many lottery tickets were purchased. Either way incredibly exciting, congrats to you and oai!

[Thelonious Oditamo @originaldint]

capturing the academic market share fr damn. also very clear what the internal oai mathematicians' tastes are based on the advances

[Sebastien Bubeck @SebastienBubeck]

yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more.

More thoughts here: https://t.co/8SjXONeh38

[Thelonious Oditamo @originaldint]

@ElliotGlazer when will a preprint be available?

[Thelonious Oditamo @originaldint]

sama was this meant to be a DM to elon

[Sam Altman @sama]

cool use case of chatgpt work i heard last night:

connect your family calendars and explain your kids' interests.

every morning for the drive to school, have it make a podcast that talks about one kid's soccer game that afternoon, one kid's upcoming birthday, some news, etc.

[Thelonious Oditamo @originaldint]

For every prominent AI x Math result, I think Twitter should run a contest where rando vibe mathers enter to provide the best video explanation of the conjecture. Winner gets to some indiscriminate number of Elonbucks.

[Thelonious Oditamo @originaldint]

@suchenzang predictions for '27?

[Thelonious Oditamo @originaldint]

@andrewgwils I could imagine mathematicians could use the flurry of LLM activity to identify fruitful paths they've overlooked, which would be a very meaningful contribution.