Terence Tao discusses mathematics in the age of AI
burny_tech · x · 2026-07-26
Terence Tao discusses what mathematics looks like in the age of AI, in an AI4Math talk linked by Jose A. Alonso.
Related event: Terence Tao at ICM: AI Ushers Math into an Era of Proof Surplus(14 posts)→
More from Research
- EdgeRock open-sourced: 72 MiB KV cache at 256K context, 99.1% smaller than Qwen3.5-4B — alifcoder · 2026-10-27
- EdgeRock-4B holds KV cache at 72 MiB across 256K context, 99.1% smaller than Qwen3.5-4B — alifcoder · 2026-10-27
- TRL adds Score Centering, a simple fix for RLHF training instability — lvwerra · 2026-10-27
- Latent-Foresight: world models that learn to predict their own future — abursuc · 2026-10-27
- UK AISI papers: no good safeguards yet against misuse of biological AI tools — davidmanheim · 2026-10-27
- CMU's XYBench: LLMs answer queries literally and reinforce user misconceptions — valentina__py · 2026-10-27