Terence Tao keynotes DARPA-Amazon math & AI workshop; Mathathon verification concerns
furongh · x · 2026-09-13
At a DARPA–Amazon math & AI workshop in Seattle in mid-August, Terence Tao delivered a keynote, with the author also presenting work on self-improving agents for solving math. Separately, critics of Caltech's Mathathon raised concerns about rushed results, attribution and verification burdens; organizers acknowledged the issues and outlined a six-month verification round.
More from AGI Musings
- Jessica Taylor revives 2023 essay: non-superintelligent paperclip maximizers are normal — jessi_cata · 2026-09-13
- Chamath accuses Dario of wanting to kill open source under guise of 'slowing AI' — markjeffrey · 2026-09-13
- David Patterson Counters ASI Doom Argument: Intelligence Doesn't Desire Power — davidpattersonx · 2026-09-13
- Cambridge's David Krueger recommends Katja Grace podcast as AI extinction-risk primer — DavidSKrueger · 2026-09-13
- David Krueger recommends KatjaGrace podcast as intro to AI extinction risk — DavidSKrueger · 2026-09-13
- A Prediction Without Uncertainty Is Only Half a Prediction in AI for Science — bravo_abad · 2026-09-13