Ant1 L.
703 posts



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.

The only viable future for AI is non-autoregressive. It's upon this founding principle that we built Logical Intelligence — a company dedicated to making mission-critical software secure through AI formal verification. We’re launching two AI agents + a new foundation model to deliver provably correct code, faster than ever before. ➡️ Non-autoregressive ➡️ Energy-based ➡️ Built for 100% mathematically precise reasoning Unlike LLMs, our model doesn’t stumble piece by piece — it solves holistically, like magnets snapping a puzzle into place.

Wildcat Labs raised venture capital. US$3.5 million of it. We are extremely grateful to our lead @robotventures, as well as @triton_xyz, @0xPolygon, @hyperithm, @safefndn, @KronosResearch and Hermeneutic Investments. The round was also joined by a horde of angels, namely @joeysantoro, @Ja_Brann, @big_tech_sux, @nightelf, @cryptofelon, @SuperAggo, @bob_hlbok, @andyhyfi, @networkspirits, @0xKaonashi and @k3yser1. A quick thread on what this means for Labs, and Wildcat itself going forward:


$3B total deposits on Euler. All in under a year since launch. Accelerate.

A new era for institutional lending starts today. Euler is proud to introduce the first zkVerified lending vault. Institutions can now access DeFi while maintaining full privacy and compliance standards. Enabled by @KeyringNetwork on @Avax. $570,000 incentives to start ↓



It’s here. Euler is officially live on Telegram via @TacBuild. 1 billion users can now lend and borrow as easily as sending a message. Incentives: $300K $TAC + $100K rEUL

this is the definition of resilience in chart form











