[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.]

@AcerFur Avatar @AcerFur Acer

Acer posts on X about $2353tw, open ai, at least, tao the most. They currently have XXXXX followers and XX posts still getting attention that total XXXXX engagements in the last XX hours.

Engagements: XXXXX #

Engagements Line Chart

Mentions: XX #

Mentions Line Chart

Followers: XXXXX #

Followers Line Chart

CreatorRank: XXXXXXX #

CreatorRank Line Chart

Social Influence

Social category influence technology brands XXXXX% social networks XXXX%

Social topic influence $2353tw #19, open ai #1463, at least 4.76%, tao #551, if you 3.17%, give me #702, the first 3.17%, ai 3.17%, i am 3.17%, solve XXXX%

Top accounts mentioned or mentioned by @llllvvuu @jasonrute @t0tientqu0tient @littmath @chaitinsgoose @adriantmiranda @chasebrowe32432 @teortaxestex @gum1h0x @godelpilled @r19701813 @mathsboi42 @favidjandourek @applesjimmy @keytryer @grrrrregor @pentestingnoot @creative_math_ @sebastienbubeck @omarshehab

Top Social Posts

Top posts by engagements in the last XX hours

"LET'S GOOO TERRY TAO SAID NICE"
X Link 2025-12-01T07:50Z 2255 followers, 138.6K engagements

"Getting noticed by one of my idols was not on my bingo card but its definitely appreciated. Thank you Bloom 🥹🙏"
X Link 2025-12-02T22:44Z 2255 followers, 2400 engagements

"If you have expertise with writing highly optimised code we are in need of people who can write implementations of various descent and sieve algorithms. We also are looking for people with expertise in job scheduling parallelisation and networking"
X Link 2025-12-06T13:45Z 2255 followers, XXX engagements

"HOLY FUCK Thanks @SebastienBubeck I will enjoy the model"
X Link 2025-12-11T18:17Z 2255 followers, 3137 engagements

"Today I solved an Erdos problem (essentially certain but formalising it in Lean)"
X Link 2025-11-30T22:38Z 2255 followers, 44.7K engagements

"formalised fuck yeah"
X Link 2025-12-01T03:25Z 2255 followers, 163.3K engagements

"@t0tientqu0tient flunked tripos solved an erdos problem"
X Link 2025-12-01T07:59Z 2255 followers, 5340 engagements

"Sigh Erds problem XXX apparently already had a proof why does life refuse to give me a lasting W"
X Link 2025-12-03T09:26Z 2255 followers, 20.3K engagements

"GPT-5.2 xhigh is a good (but expensive) model sir"
X Link 2025-12-11T20:03Z 2255 followers, 3130 engagements

"@TaliaRinger The big Lean-specialised models are: Aristotle Aleph AlphaProof AxiomProver Gauss Trinity Of these only the first is currently publicly available"
X Link 2025-12-04T02:17Z 2237 followers, XXX engagements

"@AdrianTMiranda @gum1h0x @littmath I think there is an issue of selective bias. The Putnam is basically open to any US college student but the IMO goes through a rigorous selection process that selects able participants leading to perceived higher scores there than the Putnam"
X Link 2025-12-08T13:05Z 2229 followers, XXX engagements

"ok like XX% sure Ive solved another fr this time but will wait until I formalise it in Lean later in the week before declaring victory"
X Link 2025-12-10T06:18Z 2240 followers, 9597 engagements

"@KeyTryer it's giving"
X Link 2025-12-02T03:23Z 2255 followers, XXX engagements

"MY FAVOURITE MODEL YESSS"
X Link 2025-12-04T19:04Z 2255 followers, 1638 engagements

"How it feels trying to communicate to an @OpenAI researcher. This is why I stan DeepMind"
X Link 2025-12-12T02:30Z 2255 followers, XXX engagements

"@llllvvuu @HarmonicMath Yeah I have Aristotle. It unfortunately failed to formalise my proof"
X Link 2025-12-01T18:25Z 2254 followers, 6184 engagements

"1.5K followers damn hi new people"
X Link 2025-12-01T18:56Z 2254 followers, 1098 engagements

"seeing as this is blowing up erm hi would any AI labs care to hire me on their reasoning in LLMs team"
X Link 2025-12-01T20:12Z 2254 followers, 5291 engagements

"okay December is cool and all but where the fuck is OpenAIs IMO gold model I want to use it"
X Link 2025-12-02T00:05Z 2255 followers, 2276 engagements

"I am curious how Lean autoformalisers perform their proof search: Is it just starting from known results and trying to reach the desired statement or is it using a meet-in-the-middle approach"
X Link 2025-12-02T05:32Z 2255 followers, 3442 engagements

"Just sent off my first paper draft to the analytic number theory professor at mt uni for feedback. Hopefully its good 🙏"
X Link 2025-12-02T21:46Z 2254 followers, 6667 engagements

"My message to labs is simple: Please multiply your reward function by some multiplicative factor of the form 10/log(total used token count) and subtract an additive factor of the form 10/log(number of reasoning tokens used after the correct answer is first mentioned in CoT)"
X Link 2025-12-03T08:49Z 2255 followers, 10.4K engagements

"I gotta get on the RL game man Lets build the strongest maths model. I wanna make sure slop is not shipped"
X Link 2025-12-03T21:29Z 2254 followers, 2095 engagements

"lol it always warms my heart to remember that a number n is Fibonacci iff at least one of 5n2 X is square"
X Link 2025-12-04T16:39Z 2254 followers, 5284 engagements

"I cant wait for the era of mathematics where every paper posted onto arXiv will from there on be required to have a corresponding Lean file go with it and autoformalisers will be the big help here. The age of crankery/slightly flawed arguments will be over"
X Link 2025-12-06T06:38Z 2255 followers, 8512 engagements

"The day AI can solve either of these innocent-looking problems is probably the day we can say mathematical superintelligence has arrived"
X Link 2025-12-06T08:33Z 2255 followers, 18.2K engagements

"@DNonfeare Please use the reasoning model (tell it to think before answering). Otherwise it will write nonsense like this that it tries to self-correct and sweep things under the rug. Its wrong"
X Link 2025-12-06T13:11Z 2255 followers, XXX engagements

"Gemini X Deep Think achieves a new SoTA score on my IUMB benchmark It consistently errors out before producing an output for Q9 (tried at least XX times) but I have informed @lmthang of this so Deep Think should get a bit more stable in future"
X Link 2025-12-11T00:03Z 2255 followers, 1525 engagements

"@j_dekoninck Now THIS was the competition I was waiting to see the results for. As expected LLMs basically ace it lol"
X Link 2025-12-11T16:17Z 2255 followers, XXX engagements

"this is so weird to me like surely such a company would want to keep their characters etc proprietary and also not want a bad look on their brand by people generating weird slop involving those characters"
X Link 2025-12-11T17:42Z 2255 followers, XXX engagements

"Axiom in my opinion have the best shot at building actual mathematical superintelligence"
X Link 2025-12-11T18:07Z 2255 followers, XXX engagements

"@Michael_Druggan Yeah GPT-5.2 xhigh seemed to be making good progress in its CoT but it gets terminated after an hour of thought. I suspect it can do it but I wont ever know unless someone from OpenAI gives me a higher timeout limit"
X Link 2025-12-12T03:35Z 2255 followers, XXX engagements

"Okay not good enough to make non-trivial progress on Erds problems as far as I can tell from some light testing. Need the IMO gold model to do that"
X Link 2025-12-12T05:34Z 2255 followers, 4279 engagements

"Can someone from OpenAI give me early access to the IMO model please I promise to do lovely things with it at the cost of melting your GPUs"
X Link 2025-12-12T05:37Z 2255 followers, XXX engagements

"never-before-seen chambers so its not just memorisation). This shows clear adaptation to novelty which is general intelligence to me. My AGI test: have a model successfully solve a bunch of custom Portal X co-op chambers playing with itself allowing only text/voice"
X Link 2025-12-11T11:40Z 2249 followers, XX engagements

"@GRRRRRegor Pro on ChatGPT is medium reasoning effort as far as I can tell It failed Q9 only thinking for XX mins"
X Link 2025-12-11T23:07Z 2249 followers, XX engagements

"@zaako248 Tao is chill af lmfao"
X Link 2025-12-02T01:11Z 2250 followers, XXX engagements

"the thought that my IRL name will forever be associated with my furry account now is sending me lmfao"
X Link 2025-12-01T20:50Z 2253 followers, 2379 engagements

"all my OG oomfies are probably so confused seeing all my yap on their timelines I'm so sorry y'all lmao"
X Link 2025-12-02T16:56Z 2253 followers, 1008 engagements

"I feel so undeserving of the admiration Ive received now. This has put me in a really bad mood and I probably need to spend some time away from things"
X Link 2025-12-03T09:53Z 2253 followers, 2577 engagements

"@apples_jimmy I am betting DeepMind have resolved Navier-Stokes mid-2026 with a proven counterexample that blows up in finite time"
X Link 2025-12-05T20:49Z 2253 followers, 1541 engagements

"Spoiler: the first is equivalent to the Collatz conjecture and the second is equivalent to the Riemann hypothesis"
X Link 2025-12-06T08:35Z 2254 followers, 2303 engagements

"@JasonRute @llllvvuu A model that operates directly in Lean e.g. Harmonics Aristotle Axioms AxiomProver Logic Intelligences Aleph etc"
X Link 2025-12-10T03:09Z 2255 followers, XXX engagements

"@JasonRute @llllvvuu That wasnt my claim but I dont think they use as many as XXX calls. Aleph at least does things pass@1 as you can see on PutnamBench. My claim was that as indicated by AlphaProof vs Gemini Deep Think one would expect the informal systems to perform better than the former"
X Link 2025-12-10T03:17Z 2255 followers, XXX engagements

"the above plus can reach human-level performance in common-sense reasoning and ability-to-adapt-to-novelty benchmarks like SimpleBench and ARC-AGI. A nice marker would be solving challenging mazes and completing say Portal X all the way through (ideally generalising to"
X Link 2025-12-11T11:40Z 2255 followers, XX engagements

"Now that Ive got some attention on this site by people who are more in the know than I am: I would like to develop a BONIC volunteer distributed computing project on trying to computationally find elliptic curves over Q of high algebraic rank"
X Link 2025-12-04T04:06Z 2255 followers, 5404 engagements

"Our goal will be to develop a program that can autonomously fetch jobs for performing sieve searches on fibrations of various K3 surfaces and also perform descent algorithms to determine algebraic ranks of candidate elliptic curves"
X Link 2025-12-12T08:01Z 2255 followers, 1242 engagements