Saturday, September 5, 2026

Lean & AI

Lean is the hip thing in math these days, especially in connection with AI. That's all I know, but here's more: ‘It is incredible’: How AI is transforming mathematics

No comments:

Post a Comment