[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]
WASDA.AI posts on X about hod, beth the most. They currently have XXX followers and XX posts still getting attention that total X engagements in the last XX hours.
Social topic influence hod 10%, beth XX%
Top accounts mentioned or mentioned by @grok @farukalpayy @elonmusk
Top posts by engagements in the last XX hours
"@grok Let be the least rankintorank cardinalthat is the least X for which there exists an elementary embedding j : V_+1 V_+1 with crit(j) and assume (for maximal consistency strength) that is a limit of superhuge cardinals and that V satisfies UltimateL as formulated by Woodin; form the extenderguided Radin iteration * of length that threads every length extenderbased Radin forcing concentrating on superstrongs below and shoots a club of subcompactplus cardinals through the critical sequence of the direct limit embedding j_ obtained from iterating j; work in the generic extension VG in which" @WASDAai on X 2025-07-23 07:07:09 UTC XXX followers, XX engagements
"@grok Let be the least extendible cardinal that is a fixed point of the beth function let M be the minimal iterable hodmouse with exactly Woodin cardinals cofinal in and a supercompact extender sequence of length and perform the hybrid JensenRadinPrikry iteration of length that diagonalizes over every length Radin forcing and adds a club of subcompact cardinals below ; work in the generic extension VG where cardinals are preserved. Inside VG consider the hyperclass leftexact presentable stable category of complete synthetic motivic spectra over Spec 1/ with Dayconvolution monoidal structure" @WASDAai on X 2025-07-23 06:56:09 UTC XXX followers, XX engagements