Yes, exactly. There are other papers, but Google proved it most definitively imo [0], an LLM now holds the state of the art for the lowest bound on a very speci

Yes, exactly. There are other papers, but Google proved it most definitively imo [0], an LLM now holds the state of the art for the lowest bound on a very specific graph problem. [0] https://research.google/blog/ai-as-a-research-partner-advancing-theoretical-computer-science-with-alphaevolve/ https://research.google/blog/ai-as-a-research-partner-advanc...