[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:24/cr:twitter::1233944124522455040.png) Acer [@AcerFur](/creator/twitter/AcerFur) on x XXX followers
Created: 2025-07-19 13:50:10 UTC

@VictorTaelin @christophcsmith The more important distinction is this a fully natural language LLM under the same constraints as human participants (4 and a half hours + no tools or internet searching) graded by three past IMO judges.

AlphaProof was a Lean-based formal system and used significantly more time.


XXX engagements

![Engagements Line Chart](https://lunarcrush.com/gi/w:600/p:tweet::1946568248847126618/c:line.svg)

**Related Topics**
[llm](/topic/llm)
[$2353tw](/topic/$2353tw)
[acer](/topic/acer)

[Post Link](https://x.com/AcerFur/status/1946568248847126618)