Trending topics
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Paata Ivanisvili
Professor of Mathematics @ UCI. Exploring what AI can (and can’t) do in math.
Install Aristotle. Get API key. Run it from your terminal. Pick any open problem in math and input in aristotle (in its natural language!). After several hours it will either produce full formal lean proof or may fail. 👏
Nov 30, 2025
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here.
Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica.
Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface.
Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.
85.3K
Top
Ranking
Favorites