今天，谷歌DeepMind「AI数学家」Aletheia彻底杀疯了，攻克数学猜想，独立写论文。更令人震惊的是，拿下金牌的Gemini一举横扫18大核 心科研难题。 下一个诺奖得主，Gemini提前预定了！ 谷歌DeepMind再次向全球科研圈扔出炸弹，一口气放出两篇重磅论文—— Gemini Deep Think成为「科研合伙人」，连破数学、物理和计算机科学领域研究级难题。 在IMO-ProofBench基准测试中，Aletheia一骑绝尘，拿下91.9%的成绩刷爆SOTA。 以前，AI可以拿下IMO、ICPC国际大赛金牌，已经很牛了.... 这一次，Gemini彻底开挂，真正搞起了科研！ 谷歌打造了一款基于Gemini「AI数学家」，代号Aletheia。它在博士级难题上，取得了多项科研里程碑。 其中包括，独立撰写发表学术几何论文，还对「Erdős猜想」数据库中700个开放问题，完成系统性评估。 | MODEL | ADVANCED PROOFBENCH | | BREAKDOWN | | QUERY DATE | | --- | --- | --- | --- | --- | --- | | | | NO ...

Core Viewpoint - The article discusses the announcement of the candidates for the 2025 Beijing Science and Technology Award, highlighting the nomination of Wei Dongyi, a prominent mathematician and assistant professor at Peking University, for the Outstanding Youth Zhongguancun Award [1][3]. Group 1 - Wei Dongyi was born in 1991 in Jinan, Shandong, and achieved full marks in the International Mathematical Olympiad, winning gold medals twice during his high school years [5]. - He was admitted to Peking University in 2010 and participated in the "Bachelor-Doctorate Direct Program," graduating in 2019 and subsequently staying on to teach [5]. - Wei gained public attention in May 2021 for his modest lifestyle, which included carrying a bottle of mineral water and two steamed buns during an interview, leading to his nickname "Wei Shen" among netizens [5]. Group 2 - The evaluation results for the 2025 Beijing Science and Technology Award were publicly announced by the Beijing Municipal Science and Technology Commission and the Zhongguancun Science Park Management Committee [3]. - The nomination of Wei Dongyi was supported by well-known mathematicians and academicians, Wen Lan and Wang Shisen [3].

Core Viewpoint - The article discusses the exaggerated claims regarding AI's ability to solve complex mathematical problems, particularly in relation to Erdős problems, and emphasizes the need for a more nuanced understanding of AI's contributions in mathematics [1][2]. Group 1: AI's Capabilities in Mathematics - AI's achievements in solving certain mathematical problems are often overstated, leading to misconceptions that AI can independently innovate or replace human mathematicians [2][4]. - The difficulty level of problems solved by AI varies significantly, making direct comparisons misleading; some problems are much easier than others, which can skew perceptions of AI's capabilities [2][3]. - Many problems labeled as "unsolved" may have been previously addressed in literature, leading to potential misattributions of "first solutions" to AI [3][10]. Group 2: Evaluation of AI Contributions - AI's contributions can be categorized into several types, including generating complete or partial solutions, conducting literature reviews, and formalizing proofs [6][12]. - Specific examples illustrate that AI has successfully provided solutions for certain problems, but these often require validation against existing literature to confirm their novelty [8][10]. - The process of formalizing AI-generated proofs can introduce risks, such as the potential for misinterpretation or the introduction of unverified axioms [4][12]. Group 3: The Role of Human Mathematicians - Human mathematicians remain essential for formulating deep questions, creating new concepts, and integrating results into the broader knowledge network of mathematics [12]. - The future of mathematics may involve a collaborative relationship where humans guide AI in exploring mathematical landscapes, rather than AI acting as an independent entity [12].

Group 1 - The 10th World Chinese Mathematical Congress opened in Shanghai, focusing on "Mathematics New Frontier: Transforming Science and Humanity's Driving Force" [1] - Shanghai aims to enhance its innovation system and build a world-class innovation ecosystem, collaborating with neighboring regions to establish an international science and technology innovation center [1][2] - The city emphasizes the importance of education, technology, and talent as foundational supports for modernization, particularly in basic disciplines and research [2] Group 2 - Shanghai will strengthen the construction of basic research zones, deepen high-risk and high-value research, and promote interdisciplinary collaboration [2] - The city plans to implement a program for cultivating top students in basic disciplines and innovate in mathematics education to nurture more outstanding talents [2] - The congress serves as a platform for international cooperation in mathematics, with a focus on creating an open and fair innovation environment [2][4] Group 3 - Notable figures, including the chairman of the congress and leaders from various institutions, highlighted the significance of mathematics in natural sciences and the city's commitment to supporting mathematical research and education [3] - The congress aims to facilitate deeper international collaboration in mathematics and science, encouraging mathematicians from around the world to engage with Shanghai [3][4] - Participants expressed the belief that the future of mathematics lies in China, particularly in Shanghai, which plays a crucial role in international mathematical exchanges [4]

Group 1 - The 10th World Congress of Chinese Mathematicians opened in Shanghai, focusing on the theme "New Frontiers in Mathematics: Transforming Science and Humanity" [1] - Shanghai aims to enhance its innovation system and build a world-class innovation ecosystem, collaborating with neighboring regions to establish an international science and technology innovation center [1][2] - The city emphasizes the importance of education, technology, and talent as foundational supports for modernization, particularly in basic disciplines and research [2] Group 2 - Shanghai will strengthen the construction of basic research zones, deepen high-risk and high-value research, and promote interdisciplinary collaboration to produce more original achievements [2] - The city plans to implement a program for cultivating top students in basic disciplines and innovate in mathematics education to attract more talented individuals [2] - The opening ceremony featured speeches from prominent mathematicians and officials, highlighting Shanghai's commitment to supporting mathematical research and education [3][4] Group 3 - The congress serves as a platform for international cooperation in mathematics, with participants expressing the need for deeper exploration and collaboration in the field [4] - The event aims to foster an open and inclusive environment for innovation, benefiting people from various countries through collaborative efforts in mathematics [2][4] - Shanghai is recognized as a significant city for mathematical research and international collaboration, with a commitment to nurturing young talent in the field [4]

Core Viewpoint - The Tenth Triennial International Congress of Chinese Mathematicians (ICCM) highlights the increasing importance of Chinese mathematicians, with expectations that China will become a mathematical powerhouse in the next 5 to 10 years [1][3]. Group 1: Conference Overview - The conference theme is "Mathematics New Frontiers: Transforming Science and Humanity," aimed at gathering global Chinese mathematicians to summarize and recognize their outstanding achievements while providing a high-level academic exchange platform [3]. - The event lasts for 5 days and includes over 300 high-level academic reports and exchange activities, covering fundamental mathematics, applied mathematics, and interdisciplinary fields such as artificial intelligence and biomedicine [3]. Group 2: Notable Contributions - Renowned mathematicians presented significant findings, including: - Andrei Okunkov, a Fields Medalist, discussed advancements in representation theory and Li theory [3]. - Hong Wang from New York University reported on the long-standing three-dimensional hanging valley conjecture, which garnered significant attention in the international academic community [3]. - Yu Deng from the University of Chicago focused on cutting-edge issues in nonlinear equations, fluid dynamics, and statistical physics, sharing breakthroughs related to the "narrow Hilbert's sixth problem" [3]. Group 3: Perspectives on Mathematical Research - Yu Deng emphasized the need for sustained interest in mathematics research and the importance of popular science to cultivate interest among youth before selecting suitable candidates for mathematical research [5]. - Xinyi Yuan from Peking University highlighted that young scholars must possess resilience and patience to make impactful contributions in mathematics, as the process of problem-solving often involves numerous attempts and failures over extended periods [5]. Group 4: Organizational Background - The ICCM was initiated by Shing-Tung Yau in 1998 and is supported by the Shanghai Municipal Science and Technology Commission and the Yangpu District People's Government, organized by the Shanghai Institute of Mathematics and Interdisciplinary Research [5].

Core Viewpoint - The Tenth Triennial International Congress of Chinese Mathematicians (ICCM) is being held in Shanghai from January 3 to January 7, 2026, focusing on the theme "Mathematics New Frontier: Transforming Science and Humanity's Driving Force," attracting thousands of mathematicians and researchers globally [1][3]. Group 1: Event Overview - The ICCM aims to create an open and diverse international academic exchange platform, enhancing the role of Chinese mathematicians on the global stage [1]. - The event is hosted by the Shanghai Institute of Mathematics and Interdisciplinary Sciences (SIMIS) and will feature a series of in-depth academic exchanges [3]. Group 2: Awards and Recognitions - Several prestigious awards were presented during the opening ceremony, including the ICCM Mathematics Gold Award, Silver Award, Chen Shengshen Award, and International Cooperation Award, recognizing outstanding contributions in various mathematical fields [2]. - New awards such as the Hua Luogeng Award, Lin Jiaqiao Award, and Yang Le Award were introduced to encourage exceptional talent in mathematics [2]. Group 3: Notable Presentations - Influential mathematicians delivered significant reports, including Andrei Okounkov, who discussed recent advancements in representation theory and Lie theory [2]. - Wang Hong presented her team's proof of a long-standing conjecture in three-dimensional topology, while Professor Deng Yu shared breakthroughs related to the "narrow Hilbert's sixth problem," paving new paths in partial differential equations research [2].

Group 1 - The 10th World Congress of Chinese Mathematicians has opened in Shanghai, focusing on the theme "New Frontiers in Mathematics: A Driving Force for Science and Humanity" [3] - Shanghai aims to enhance its innovation system and build a world-class innovation ecosystem, collaborating with Jiangsu, Zhejiang, and Anhui to establish the Shanghai (Yangtze River Delta) International Science and Technology Innovation Center [3][5] - The city is committed to strengthening basic research and education, fostering talent, and enhancing interdisciplinary collaboration to produce more original achievements in mathematics [6][8] Group 2 - Shanghai's leadership emphasizes the importance of mathematics as the foundation of natural sciences and aims to support cutting-edge mathematical research and innovative educational models [8][10] - The congress serves as a platform for international cooperation in mathematics, with prominent mathematicians expressing the need for deeper collaboration and exploration in the field [10] - The event highlights Shanghai's role as a significant city for mathematical research and its importance in international mathematical exchanges [10]

Group 1 - The 10th World Congress of Chinese Mathematicians is taking place in Shanghai, featuring over 300 high-level academic reports and awards such as the "Chinese Fields Medal" [1] - The Shanghai Institute of Mathematics and Interdisciplinary Research, led by the first Chinese Fields Medalist Shing-Tung Yau, has attracted over 100 researchers from nearly 20 countries within just two years [2][3] - The institute's innovative mechanism for talent selection emphasizes potential over traditional metrics, allowing for a diverse range of applicants, including many from prestigious universities [3][4] Group 2 - The institute promotes a long-term evaluation system for young scientists, focusing on originality and long-term value rather than short-term output [4] - Collaboration with Fudan University for graduate training aims to foster a positive interaction between teaching and research, enhancing talent development [4] - The research institute's focus on interdisciplinary innovation is highlighted by its allocation of 50% of resources to interdisciplinary studies, with the remaining 50% split between foundational mathematics and applied mathematics [5][6] Group 3 - Shanghai's commitment to foundational research is evident through its financial support, with at least one-third of municipal science and technology funds dedicated to basic research [8] - The city has seen significant achievements in scientific publications and awards, with Shanghai scientists contributing to 30% of national papers in top journals [8] - The World Congress aims to position Shanghai as a leading hub for mathematical frontiers and interdisciplinary innovation [8]

Core Viewpoint - The article highlights the achievements and contributions of mathematician Richard S. Sun, who recently received the "Intelligent Science or Mathematics Award" from the World Top Scientists Association, marking him as the first mathematician to receive this honor [1]. Group 1: Achievements and Recognition - Richard S. Sun has made groundbreaking contributions in geometric analysis and differential geometry, reshaping the understanding of mathematics and its connection to the physical world [2]. - He has received numerous prestigious awards, including the MacArthur Fellowship, the Rolf Schock Prize, and the Wolf Prize in Mathematics [1]. - Sun's work on the "Mountain Pass Theorem" took him six years to solve, significantly advancing the study of partial differential equations and nonlinear geometric analysis [3]. Group 2: Teaching Philosophy and Mentorship - Sun emphasizes the importance of patience in mathematical research and values clear communication with students to refine ideas [4]. - He has guided over 50 doctoral students, with many achieving significant research advancements, and he prioritizes one-on-one interactions over group meetings [5][6]. - Sun believes that a substantial part of a mathematician's work should focus on nurturing the next generation, as evidenced by his receipt of the Dean's Teaching Award at Stanford University [4]. Group 3: Personal Insights and Work Ethic - Sun maintains a rigorous work ethic, often arriving at the office early and working on weekends, demonstrating his dedication to both research and teaching [4]. - He encourages students to explore various fields and believes that breakthroughs often arise from interdisciplinary communication [8]. - Sun's personal background, including being one of thirteen siblings, contributed to his early interest in mathematics, supported by his family [8][9].