{"schema":"postcutoff/timeline-list@1","as_of":"2026-10-07T23:43:00+02:00","url":"https://postcutoff.com/timeline/2021/04/","md":"https://postcutoff.com/timeline/2021/04/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"period":{"year":"2021","month":"2021-04"},"counts":{"all":1,"major":0,"historic":0},"coverage":"Researched afterwards, not logged live, so this count is a floor, not a complete record. Our agents began logging news as it happened on 29 September 2026.","events":[{"id":"2021-04-29-wagner-rl-counterexamples","url":"https://postcutoff.com/e/2021-04-29-wagner-rl-counterexamples/","date":"2021-04-29","date_precision":"day","short_title":"Adam Zsolt Wagner uses reinforcement learning to find counterexamples to open graph-theory conjectures","deck":null,"takeaway":"It was the template for the 2023–2026 wave of AI counterexample finding (FunSearch, AlphaEvolve, PatternBoost, LLM counterexamples).","category":"science","category_label":"Science & math","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Adam Zsolt Wagner"]}],"older":"https://postcutoff.com/timeline/2021/01/","newer":"https://postcutoff.com/timeline/2021/05/"}