diff --git a/math/z3/Makefile b/math/z3/Makefile
index f4f27d32517b..63d368089c33 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	z3
-DISTVERSION=	4.13.4.0
+DISTVERSION=	4.14.1.0
 CATEGORIES=	math
 MASTER_SITES=	https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
 DISTNAME=	${PORTNAME}_solver-${DISTVERSION}
diff --git a/math/z3/distinfo b/math/z3/distinfo
index 519e40ed8032..13cb429023d9 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1736078545
-SHA256 (z3_solver-4.13.4.0.tar.gz) = 66944689398d19f831f94524e95e99961d998afa27cfef1918a5a441029ea73f
-SIZE (z3_solver-4.13.4.0.tar.gz) = 4969872
+TIMESTAMP = 1742299618
+SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113
+SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426
diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist
index 3c98fbec2351..31b2e987ef5e 100644
--- a/math/z3/pkg-plist
+++ b/math/z3/pkg-plist
@@ -18,6 +18,6 @@ lib/cmake/z3/Z3ConfigVersion.cmake
 lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/z3/Z3Targets.cmake
 lib/libz3.so
-lib/libz3.so.4.13
-lib/libz3.so.4.13.4.0
+lib/libz3.so.4.14
+lib/libz3.so.4.14.1.0
 libdata/pkgconfig/z3.pc