The second paper show how researchers use "vibe-proving" with Gemini Deep Think to solve open problems, refute long-standing conjectures, and discover obscure mathematical links across TCS, physics…
Original titleThe second paper show how researchers use "vibe-proving" with Gemini Deep Think to solve open problems, refute long-standing conjectures,...
AISummary
…and more. Link to paper:
Source: Quoc Le · x.com