Google DeepMind AlphaEvolve: The Rise of a Revolutionary AI-Coded Intelligence Body
Google DeepMind has launched AlphaEvolve, an AI coding intelligence capable of writing and optimizing code and making scientific discoveries on its own. The system, which incorporates large language models, evolutionary algorithms and automatic evaluators, has already made several breakthroughs in the field of mathematics, such as improving matrix multiplication algorithms and solving geometric puzzles. Meanwhile, it has achieved significant efficiency gains in Google data center optimization, chip design and AI training, marking a new milestone in the transformation of AI from a tool to an algorithmic innovation partner.
10-second Figma trick: create Apple's wind flow card web page, quickly improve the design texture
Bento Grids (Apple Style) is a visual design style that is minimalistic, clear and highly organized, commonly used in modern web and mobile app interfaces. The style creates a clean reading experience by presenting content through grid modules that emphasize white space, alignment and consistency. The article also provides specific steps to realize this layout using Figma, and recommends related plug-ins and tools.
NVIDIA Llama-Nemotron: The New King of Open Source Beyond DeepSeek-R1
NVIDIA releases open source Llama-NemotronAI models in 8B, 49B and 253B versions. The flagship LN-Ultra outperforms the 671 billion DeepSeek-R1 in multiple benchmarks with only 253 billion parameters, while enabling more efficient operation on a single xH100 node. The series' five-stage training process with innovative techniques includes inference switching, hardware-aware optimization and synthetic data training. The positive relationship between scale and performance of model performance parameters marks the AI efficiency-first era, and its open source license will accelerate technology adoption.
Google Gemini 2.5 Pro: a multimodal evolution from video to interactive apps
Google releases Gemini version 2.5 Pro, a major realization in the field of multimodal understanding and code generation. The model outperforms competitor Cl 3.7 Sonnet in programming capabilities, and is particularly adept at transforming video content and hand-drawn sketches into fully functional networks, significantly improving development efficiency. It demonstrates revolution in areas such as web development, review optimization and educational technology, creating a new paradigm for AI-assisted development.
Bolt.new: A Tutorial Guide to Creating Professional Websites with Simple Descriptions
Bolt.new is an AI-driven development platform where users write code by generating full websites directly from natural descriptions. It supports multi-framework generation of applications, installation of software packages, and enables dynamic code optimization and hand-drawn transformations. Users log in and enter website requirements to automate code, support multiple rounds of dialog optimization and real-time preview, and can deploy or download code. The key is to write detailed prompts that specify the type of site, style and target audience, while incorporating editors to improve accuracy. bolt.new is particularly well suited to prototyping, and can be used in conjunction with specialized tools such as Cursor for more complex projects. The platform is initially free, but will be charged in the future, making it suitable for entrepreneurs, content creators and developers.
DeepSeek Releases Prover-V2 Model: 671B Parameters to Boost Math Theorem Proving
DeepSeek open-sourced the DeepSeek-Prover2 model designed for math proofs on May 1, containing 671 billion parameters and 7 billion parameter versions. The model uses a combination of recursion and reinforcement learning to perform well in several math tests, such as the MiniFF test with a pass rate of 88.9%. The ProBench dataset released at the same time contains 325 questions to evaluate the model's capabilities. Experiments have found that the Chain of Thought model significantly proves accuracy, and the mini-model even outperforms the model on specific problems. The model is already at Hugging Face, supporting a new paradigm in math research.
Qwen 3 released: 235B model outperforms R1, Grok and o1 with Apache 2.0 license
Ali Tongyi Qianqian team released a new generation of open source large model Qwen3, topped the global open source model list. The series contains models, the flagship model performance exceeds a number of top models, deployment is significantly reduced. qwen 3 in a number of benchmarks to set a new record, and the innovative introduction of "hybrid reasoning" mode the model supports 119 languages, pre-training data up to 36 token, the community response is enthusiastic, within three hours to get the k GitHub star. The model supports 119 languages, and the pre-training data reached 36 token.
Lovable 2.0: How a Collaborative "Ambient Coding" Platform is Changing Software Development
European AI company Lovable launches 2.0 platform for code-free software development through natural language interaction. New support for multiplayer collaboration, intelligent chat agents, security scanning, significantly lowering the development threshold. It provides free and paid programs for startup teams to rapidly build product prototypes, and has 500,000 monthly users. The platform commercializes the concept of AI-generated "ambient coding" to facilitate digital transformation.
