Deep research you can follow — claim by claim, source by source.
36 reports · 8,426 sources read · 694 receipts attached
How AI discovers better algorithms
How can AI find algorithms that improve on existing human-designed solutions?
Algorithms determine how much work a computation needs and which problems become practical to solve.
AI can find better algorithms by proposing executable changes, testing what they do, and using the results to guide the next proposal. The useful output can be a better routine or a search program that uncovers a separate mathematical construction. Researchers can then simplify a discovered pattern and prove what it reveals about an existing algorithm. Whether a gain matters depends on testing the computation that will use it and on the value of studying or repeatedly using the result.
We read 94 sources and cited 8. Every citation ships with a receipt — open one:
How does AI develop a new algorithm through experimentation?
**Answer:** AI can find better algorithms by proposing executable changes, testing what they do, and using the results to guide the next proposal. [1]
AlphaEvolve generates code modifications (diffs) via LLMs, applies them to create new programs, scores them with evaluators, and registers promising solutions back into the database to drive iterative discovery of better programs.
How can people understand and reuse an unfamiliar solution?
Researchers can then simplify a discovered pattern and prove what it reveals about an existing algorithm. [6]
The source describes human simplification of generated bin-packing code to a parameterized list, then generalizes the instance and proves a lower bound for Best-Fit's random-order ratio. The summary describes this demonstrated research sequence, not a universal causal guarantee that simplification produces a proof.
What does a newly discovered algorithm do differently?
Here is the core of that caller, with packing-bookkeeping lines omitted: [2]
The source caller contains the exact score/select/update core and the separate packing bookkeeping. Comparing that source with the article excerpt verifies the disclosed omission; this describes the article excerpt, not an assertion that the source itself omitted lines.
Every report is tagged by the ground it covers; each tag is a standing thread.