Yeah, "major conjecture proved" with unlimited token budget bankrolled by trillion dollar firm.