Researchers use Gemini Deep Think for "vibe-proving" open math problems
Original titleThe second paper show how researchers use "vibe-proving" with Gemini Deep Think to solve open problems, refute long-standing conjectures,...
AISummary
A new paper shows researchers using "vibe-proving" with Gemini Deep Think to tackle open problems and refute long-standing conjectures. The work also reports discovering obscure mathematical links across theoretical computer science, physics, and other fields.
Source: Quoc Le · x.comPublished · added here