4 ms·Yeah, "major conjecture proved" with unlimited token budget bankrolled by trillion dollar firm.by paulpauper 2mo agoYeah, "major conjecture proved" with unlimited token budget bankrolled by trillion dollar firm.