[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](https://lunarcrush.com/gi/w:26/cr:twitter::1233944124522455040.png) @AcerFur Acer

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

### Engagements: XXXXX [#](/creator/twitter::1233944124522455040/interactions)
![Engagements Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1233944124522455040/c:line/m:interactions.svg)

- X Week XXXXXX -XX%
- X Month XXXXXXX +33%
- X Months XXXXXXXXX +480%
- X Year XXXXXXXXX +405%

### Mentions: XX [#](/creator/twitter::1233944124522455040/posts_active)
![Mentions Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1233944124522455040/c:line/m:posts_active.svg)

- X Month XX +77%
- X Months XXX -XX%
- X Year XXX +24%

### Followers: XXXXX [#](/creator/twitter::1233944124522455040/followers)
![Followers Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1233944124522455040/c:line/m:followers.svg)

- X Week XXXXX +20%
- X Month XXXXX +70%
- X Months XXXXX +276%
- X Year XXXXX +453%

### CreatorRank: XXXXXXX [#](/creator/twitter::1233944124522455040/influencer_rank)
![CreatorRank Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1233944124522455040/c:line/m:influencer_rank.svg)

### Social Influence

**Social category influence**
[technology brands](/list/technology-brands) 

**Social topic influence**
[$2353tw](/topic/$2353tw) #23, [ai](/topic/ai), [tao](/topic/tao), [gold](/topic/gold), [slop](/topic/slop), [gemini 3](/topic/gemini-3), [solve](/topic/solve), [at least](/topic/at-least)
### Top Social Posts
Top posts by engagements in the last XX hours

"formalised fuck yeah"  
[X Link](https://x.com/AcerFur/status/1995333446328086582)  2025-12-01T03:25Z 2228 followers, 163K engagements


"LET'S GOOO TERRY TAO SAID NICE"  
[X Link](https://x.com/AcerFur/status/1995399988852252738)  2025-12-01T07:50Z 2228 followers, 138.4K engagements


"@JasonRute @llllvvuu A model that operates directly in Lean e.g. Harmonics Aristotle Axioms AxiomProver Logic Intelligences Aleph etc"  
[X Link](https://x.com/AcerFur/status/1998590859605074405)  2025-12-10T03:09Z 2229 followers, XXX engagements


"Today I solved an Erdos problem (essentially certain but formalising it in Lean)"  
[X Link](https://x.com/AcerFur/status/1995261100649042185)  2025-11-30T22:38Z 2228 followers, 42.9K engagements


"@t0tientqu0tient flunked tripos solved an erdos problem"  
[X Link](https://x.com/AcerFur/status/1995402330150498712)  2025-12-01T07:59Z 2227 followers, 5324 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](https://x.com/AcerFur/status/1995586936401256951)  2025-12-01T20:12Z 2227 followers, 5268 engagements


"okay December is cool and all but where the fuck is OpenAIs IMO gold model I want to use it"  
[X Link](https://x.com/AcerFur/status/1995645366415561048)  2025-12-02T00:05Z 2226 followers, 2254 engagements


"@KeyTryer it's giving"  
[X Link](https://x.com/AcerFur/status/1995695356638904624)  2025-12-02T03:23Z 2227 followers, XXX engagements


"progress on another"  
[X Link](https://x.com/AcerFur/status/1996068133732581888)  2025-12-03T04:05Z 2226 followers, 10.9K engagements


"lol erm akturallyyy'd Erdos"  
[X Link](https://x.com/AcerFur/status/1996075541573615867)  2025-12-03T04:34Z 2227 followers, 3020 engagements


"Sigh Erds problem XXX apparently already had a proof why does life refuse to give me a lasting W"  
[X Link](https://x.com/AcerFur/status/1996149070092480844)  2025-12-03T09:26Z 2227 followers, 20.1K 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](https://x.com/AcerFur/status/1996331091641221563)  2025-12-03T21:29Z 2227 followers, 2082 engagements


"MY FAVOURITE MODEL YESSS"  
[X Link](https://x.com/AcerFur/status/1996656881289637982)  2025-12-04T19:04Z 2227 followers, 1603 engagements


"@GodelPilled You get XX uses a month iirc"  
[X Link](https://x.com/AcerFur/status/1996664328833896451)  2025-12-04T19:34Z 2225 followers, XXX 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](https://x.com/AcerFur/status/1997222818153713822)  2025-12-06T08:33Z 2228 followers, 18.1K 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](https://x.com/AcerFur/status/1998015961593446885)  2025-12-08T13:05Z 2227 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](https://x.com/AcerFur/status/1998592921273249827)  2025-12-10T03:17Z 2229 followers, XX 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](https://x.com/AcerFur/status/1998638496286990634)  2025-12-10T06:18Z 2229 followers, 3509 engagements