Ios Safari will get an AI boost in iOS 18, macOS 15 with smarter search and web page ‘eraser’ May 1, 2024