[News] update with latest news#1475

Merged

LeiWang1999 merged 2 commits intotile-ai:mainfrom

LeiWang1999:news

Dec 19, 2025

Commits on Dec 19, 2025

Update README.md with latest news, including CuTeDSL backend support, Z3 theorem prover integration, and migration to apache-tvm-ffi for improved compatibility.
LeiWang1999
committed
Update README.md to enhance CuTeDSL backend announcement with a link to related issue and clarify migration benefits to apache-tvm-ffi, reducing CPU overhead.
LeiWang1999
committed