Google DeepMind Uses Large Language Models to Solve Unresolved Mathematical Problems

The data to be translated: Google DeepMind has recently leveraged large language models to successfully crack a mathematical enigma. Using the AI tool FunSearch, they discovered new verifiable and valuable information that was previously unknown. FunSearch is a tool capable of discovering solutions in the field of mathematics, which is used in conjunction with a large language model named Codey. During the process, they also successfully tackled the bin packing problem. This study demonstrates the potential of large language models in mathematical research.

GPT-5.5 Takes the Lead in Utilization Efficiency, DeepSeek V4 Pro Wins the Title of Best Cost-Performance! Real-World Cybersecurity Attack and Defense Report on Large Models Released

The reasoning capabilities of large language models in the field of cybersecurity are facing a serious test. Security researcher Kasra Rahjerdi conducted simulated hacker attack tests on mainstream large models by building an APK with core vulnerabilities in book review data, revealing their true level of security reasoning and vulnerability exploitation. The test lasted 2 hours with a single budget of $10, intuitively demonstrating the performance of each model in complex logical challenges.

Predicting the Future! Google DeepMind CEO Says AGI Could Arrive Within Three Years

Google DeepMind CEO Hassabis predicts that Artificial General Intelligence (AGI) could appear as early as 2029-2030, with key breakthroughs potentially achieved within the next three years. He points out that increased investment by tech companies is accelerating the maturity of core technologies such as multimodal understanding, autonomous decision-making, and AI agents.

Betting on People Rather than Code: The Zig Project's Strict Policy Prohibiting LLM-Assisted Contributions Sparks Debate

As Generative AI sweeps through the programming field, the Zig open-source project has introduced a strict policy in the opposite direction: completely prohibiting the use of code or comments generated by large language models for contributions. After Simon Willison's interpretation, it sparked a discussion within the community about the trade-off between technical efficiency and talent development. The core conflict lies in the choice between code production and talent growth. The Zig maintainers redefined 'contributions,' emphasizing originality and the learning process.

Moonshot AI Collaborates with Tsinghua University to Launch PrfaaS Architecture, Breaking the Bottleneck of Large Model Computing Power

The efficiency of large language model inference has made a breakthrough. Tsinghua University and Moonshot AI jointly proposed a new architecture called "Prefill-as-a-Service," which splits the inference process into two stages: prefilling and decoding, and optimizes the allocation of computing resources, effectively solving hardware limitations and significantly improving model service performance.

Boston Dynamics' Spot Robot Gets New Upgrade: Integrated with Google's Gemini Model

Boston Dynamics and Google DeepMind have collaborated to integrate the Gemini Robotics-ER1.6 AI model into the Spot robot, significantly enhancing its capabilities in industrial inspection, particularly in leak detection and reading instrument data, thereby improving the robot's autonomous decision-making performance.