Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with …
arXiv:2602.18918v1 Announce Type: new Abstract: Large Language Models (LLMs) are increasingly used as scientific copilots, but evidence on their role in research-level mathematics remains limited, …
Brecht Verbeken, Brando Vagenende, Marie-Anne Guerry, Andres Algaba, Vincent Ginis
4 views