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

![pascalkwanten Avatar](https://lunarcrush.com/gi/w:24/cr:twitter::3339456483.png) ∇ₖPascal ∇ₚKwanten (∛) (Πασκάλ) [@pascalkwanten](/creator/twitter/pascalkwanten) on x 5430 followers
Created: 2025-07-19 02:30:56 UTC

Formal Mathematical Reasoning: A New Frontier in AI


XXXXX engagements

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

**Related Topics**
[coins ai](/topic/coins-ai)

[Post Link](https://x.com/pascalkwanten/status/1946397312089047181)