@HarmonicMath
Building Mathematical Superintelligence
🪄🧙Aristotle is the mathematician's super-assistant Check out how @LorenzoLuccioli uses Aristotle to develop new results in algebraic combinatorics x.com/LorenzoLucciol…
The negation of Erdos unit distance conjecture, now formalized by Aristotle You can try it for free at aristotle.harmonic.fun x.com/AlexKontorovic…
JUST IN: Aristotle claims the top spot in lean-eval, the Lean AI formalization leaderboard! Aristotle is getting stronger and more capable by the day, try it out for your formalization needs.
Source: lean-lang.org/eval/
NOW LIVE: Ask Mode for Aristotle Agent Get real-time insights into your agent's work without interrupting its execution with Ask Mode. If you need to change direction rather than just ask questions, Instruct Mode is still active to let you steer mid-run. Try it out and let us know what you think!
Formal verification is the future of crypto x.com/dhsorens/statu…
In the future, all critical software will be formally verified. x.com/vnovakovski/st…
Mathematical superintelligence is nearer by the day. Wouter van Doorn presented at NYNTS how he used Aristotle to tackle an important unsolved problem in number theory. Check it out here: youtu.be/7G6B0w8Quok x.com/nasqret/status…
ICYMI: A few quality of life improvements landed in Aristotle Web to make it much more interactive and responsive: ▪ Live Updates. Aristotle can now share updates while it's in the middle of a run, so that you always know what it's doing and whether it's on track. ▪ Steering. You can message Aristotle while it's working if you want to redirect it, or if you just want to let it know it's doing a great job. Keep the feedback coming; we'll continue cooking ...
