Vi står på tröskeln till en djupgående förändring inom matematikens område. Vibe Proving är här. Aristoteles från @HarmonicMath bevisade just Erdos-problem #124 i @leanprover, helt på egen hand. Detta problem har varit öppet i nästan 30 år sedan det spekulerades i artikeln "Complete sequences of sets of integer powers" i tidskriften Acta Arithmetica. Boris Alexeev löste detta problem med en betaversion av Aristoteles, nyligen uppdaterad för att ha starkare resonemangsförmåga och ett naturligt språkgränssnitt. Matematisk superintelligens närmar sig för varje minut, och jag är övertygad om att det kommer att förändras och dramatiskt påskynda framstegen inom matematik och alla beroende områden.

Se hela diskussionen här: