Eric Jang: Blender and Lean emerged as this year's dark-horse tools in AI
ericjang11 · x · 2026-11-04
Eric Jang reflects on a surprising year in AI: few predicted that Blender (3D modeling) and Lean (formal proof language) would become so important — echoing their rise in simulation data generation and formal/mathematical reasoning respectively.
More from AGI Musings
- Diamandis: a household robot saving 10 hours a week — 520 hours a year — is the robot economy people care about — PeterDiamandis · 2026-11-04
- Digital Brain Project scales to $15M to open-source neural data and model the human brain — ShahabBakht · 2026-11-04
- AI researcher: evidence for fast intelligence explosion is thin — diffusion bottlenecks may bind first — pwlot · 2026-11-04
- Dario Amodei and Demis Hassabis both put AGI at 2026-2027 in candid exchange — generativist · 2026-11-04
- OpenAI's Liam Fedus: aim AI optimization at science, not bounded fields like accounting — LiamFedus · 2026-11-04
- AI Is a 'Narcissist With Empathy': Why Artificial Intimacy May Matter More Than AGI — advprashantmali · 2026-11-04