Researcher at Unknown
Developer of Håstad-style PCPs referenced in the context of MAX-CUT inapproximability results
How media typically covers Håstad
Research or work cited
AlphaEvolve, an LLM code mutation agent, achieves new near-optimal results in complexity theory including improved inapproximability bounds for MAX-CUT, MAX-Independent Set, MAX-4-CUT, MAX-3-CUT, and metric TSP, with the system also evolving faster verification procedures up to 10,000× speedup.
“Developer of Håstad-style PCPs referenced in the context of MAX-CUT inapproximability results”