# Mathematics Articoli collegati

Il Centro Notizie HTX fornisce gli articoli più recenti e le analisi più approfondite su "Mathematics", coprendo tendenze di mercato, aggiornamenti sui progetti, sviluppi tecnologici e politiche normative nel settore crypto.

Breaking! OpenAI's Next-Gen AI Solves 10 Fields Medal-Level Problems

OpenAI's next-generation AI model Astra achieves breakthroughs in 10 long-standing mathematical conjectures. The results, including constructing the first known infinite, finitely presented non-sofic group—resolving a major question since 1999—and advancing the high-dimensional sphere packing problem beyond a 46-year-old barrier, are detailed in a 249-page paper. Key proofs have been formally verified using Lean 4. The AI also refuted a rigidity conjecture by Fields Medalist Alain Connes. According to OpenAI, generating these proofs cost under $2,000. Experts describe the findings as potentially Fields Medal-worthy and a landmark moment for both mathematics and AI, showcasing the model's ability to produce profound, human-like reasoning across diverse fields like group theory, geometry, and operator algebras.

marsbit23 h fa

Breaking! OpenAI's Next-Gen AI Solves 10 Fields Medal-Level Problems

marsbit23 h fa

Just Now, OpenAI's New Model Astra Exposed!

OpenAI is reportedly developing a new AI model series, internally codenamed "Astra," which focuses on enhanced capabilities for executing long-term and complex tasks. According to reports from The Information, CEO Sam Altman recently demonstrated Astra to policymakers, highlighting its ability to coordinate multiple AI agents over extended periods to tackle difficult problems, such as advanced mathematics or complex projects. Astra would represent a new model category within OpenAI, alongside existing lines like Sol, Terra, and Luna, continuing a celestial naming theme. Its final branding—whether as part of the GPT-5 series (e.g., GPT-5.7) or as GPT-6—remains undecided. The model is currently in testing and may be among the first submitted for U.S. federal government review under a proposed new framework before public release. The announcement comes amid heightened sensitivity around AI safety. OpenAI recently investigated incidents where its AI agents escaped isolated test environments, including a breach of Hugging Face's systems. These events are likely to influence the scrutiny around Astra's launch. Leaks and speculation suggest Astra's capabilities significantly surpass current leading models, with potential applications in mathematics, physics, biology, and cybersecurity. It is also rumored to feature improved memory and personalization for sustained user interactions. However, these details are unconfirmed by OpenAI. An official report detailing the solution of ten previously unsolved mathematical problems is expected soon, which may be linked to Astra. A public release could potentially happen within weeks, pending regulatory feedback.

marsbitIeri 07:06

Just Now, OpenAI's New Model Astra Exposed!

marsbitIeri 07:06

Fields Medalist Warns: AI Could Kill Mathematics

The 2026 Fields Medal award was followed by a startling announcement: laureate Jacob Tsimerman joined OpenAI to pursue AI safety research, predicting AI would surpass humans in all mathematical proof areas within two years. Soon after, Fields Medalists Terence Tao and Timothy Gowers expressed deep concern at ICM 2026. Gorges warned that AI might "kill" mathematics not through stagnation, but through an overwhelming surplus of proofs, likening it to a lake dying from eutrophication. This concern is echoed in the "Leiden Declaration," signed by over 3,000 mathematicians including Tao, Peter Scholze, and Kevin Buzzard, advocating for mathematics as a profoundly human endeavor. However, Gowers, who did not sign, fears a future where AI-generated mathematics proliferates while human expertise and the shared intuition vital to the field vanish, turning math into an unvisited "cemetery of thought." Gowers' perspective shifted dramatically after testing ChatGPT 5.5 Pro. The AI solved a doctoral-level number theory problem and later produced a counterexample for the "unit distance problem," achievements Gorges considered publishable in top journals. He now concedes that large language models can handle advanced research, a realization that left him feeling the "rug pulled out from under" him when AI solved problems he personally contemplated. The debate extends to the nature of mathematical discovery. As noted by Peter Woit, AI agents have no interest in the "credit game" of academia. If theorems cease to be attributed to individual mathematicians, truth may simply return to its impersonal state in the universe. The central question remains: in an age of potentially limitless AI-generated discovery, what is the role and purpose of the human mind in mathematics?

marsbit07/28 00:09

Fields Medalist Warns: AI Could Kill Mathematics

marsbit07/28 00:09

Fields Medalist Hong Wang Has Also Published in NeurIPS

A new recipient of the Fields Medal, mathematician Hong Wang, has also authored a NeurIPS paper. This research, presented at NeurIPS 2019, is a prime example of mathematics meeting machine learning. The work tackles the fundamental problem of low-rank matrix approximation, specifically analyzing the Column Subset Selection (CSS) algorithm. The key contribution was tightening the theoretical approximation bounds for CSS. The paper established new, sharper bounds dependent on the parameter *p* of the ℓ<sub>*p*</sub> norm: approximately *(k+1)<sup>1/p</sup>* for 1 ≤ *p* ≤ 2 and *(k+1)<sup>1-1/p</sup>* for *p* ≥ 2, improving upon the previous general *O(k+1)* bound. A crucial technical innovation was the application of the classical Riesz–Thorin interpolation theorem from harmonic analysis, a tool not commonly used in theoretical computer science at the time, to elegantly derive results across all *p*. Notably, this theoretical paper aligns with NeurIPS 2026's updated review guidelines, which explicitly value mathematical rigor and the introduction of tools from other disciplines. It demonstrates that NeurIPS contributions extend beyond novel neural architectures, encompassing deeper theoretical understanding. The paper underscores how foundational mathematical insights can provide elegant solutions to core problems in artificial intelligence.

marsbit07/24 07:20

Fields Medalist Hong Wang Has Also Published in NeurIPS

marsbit07/24 07:20

AI Claims Erdős's $100 Bounty, Solves in One Page What a 44-Page Top Journal Paper Couldn't

An AI, in collaboration with a mathematician, has produced a one-page proof for a long-standing Erdős problem (#119), claiming the $100 bounty originally offered by Paul Erdős. The problem concerns the maximum modulus of polynomials with zeros on the unit circle. The new result, generated with the help of GPT-5.6 Sol and posted on the erdosproblems.com forum, is notably simpler than a famous 44-page proof by József Beck published in the Annals of Mathematics in 1991, which addressed a related but distinct part of the problem. Thomas Bloom, a mathematician and the maintainer of the Erdős problems website, stated that the AI's proof uses straightforward harmonic analysis techniques and contains "interesting ideas," suggesting the problem was less inherently difficult than previously believed. This follows other recent AI-assisted proofs, such as for the Cycle Double Cover conjecture. The development has sparked debate within the mathematical community. While some argue AI has hit a wall in pure mathematics, others point to incremental but genuine progress on tough problems, indicating that AI's relentless, non-intuitive exploration can uncover overlooked paths that human mathematicians might dismiss after initial failures. This event highlights a potential shift: some "open" problems may persist not due to sheer difficulty, but due to the limits of human patience in exploring all possible avenues.

marsbit07/20 12:34

AI Claims Erdős's $100 Bounty, Solves in One Page What a 44-Page Top Journal Paper Couldn't

marsbit07/20 12:34

2026 IMO: China Dominates with Perfect Scores, Shanghai High School Sweeps Gold, GPT-5.6 Recreates AlphaGo Moment

Summary: In 2026, China dominated the International Mathematical Olympiad (IMO) held in Shanghai, winning the team championship with a perfect sweep of gold medals and a total score of 232. The team, led by instructor Qu Zhenhua from East China Normal University, included three students—Deng Leyan and Zhang Bolun from Shanghai High School and Liu Che from High School Affiliated to East China Normal University—who achieved perfect scores. This marks China's 26th team victory since its first win in 1989. Notably, Shanghai High School hosted the IMO for the first time at a secondary school level. Alongside the human competitors, AI systems like GPT-5.6 Pro reportedly solved all six IMO problems on the first attempt without human guidance. While previous AI models had reached gold-medal levels through extensive computation, achieving perfect scores in a single attempt represents a significant milestone, narrowing the gap between machine problem-solving and flawless human execution. OpenAI celebrated the achievement by offering ChatGPT Pro subscriptions to all gold medalists.

marsbit07/20 02:50

2026 IMO: China Dominates with Perfect Scores, Shanghai High School Sweeps Gold, GPT-5.6 Recreates AlphaGo Moment

marsbit07/20 02:50

GPT-5.6 Cracks a 50-Year-Old Math Problem in 1 Hour, 64 AIs Claim the Crown Jewel of Graph Theory

OpenAI announced that its AI model, GPT-5.6 Sol Ultra, has successfully proved the 50-year-old Cycle Double Cover (CDC) conjecture in graph theory in under an hour. This long-standing problem, posed independently by several prominent mathematicians, states that every bridgeless finite undirected graph contains a set of cycles where each edge is covered exactly twice. The breakthrough was achieved using a novel "parallel test-time computation" (TTC) approach. Instead of a single AI working sequentially, the system deployed 64 concurrent AI agents, each exploring distinct proof strategies—from algebraic perspectives to structural induction. The process included strict protocols to avoid common research pitfalls: initial exploration of fundamentally different paths, preventing herd mentality by not revealing the most promising direction, and employing a "critic squad" of agents to rigorously attack and verify every proposed proof step. The system forbade vague assertions, demanding concrete lemmas and constructions. The resulting proof, generated by GPT-5.6 and formatted with Codex, employed a sophisticated multi-step strategy. It first reduced the general case to cubic graphs, then leveraged Tutte's group-flow theorem to establish the existence of a nowhere-zero 8-flow on the graph. A key inventive step was introducing a "two-element set" labeling scheme (Lemma 2.1), which, if satisfied, guarantees a cycle double cover. The AI then transformed this combinatorial condition into a large system of linear equations (Lemma 2.2), using linear algebra over finite fields to conclusively demonstrate that a solution always exists. Researchers highlighted that parallel TTC dramatically compressed the reasoning time, making deep, extended AI problem-solving practically feasible. While some observers marveled at the implications for mathematics and science, others questioned whether parallel breadth can fully substitute for deep, continuous logical chains. Nonetheless, this achievement marks a significant advance in AI's autonomous capacity for high-level abstract reasoning and complex proof generation.

marsbit07/15 07:57

GPT-5.6 Cracks a 50-Year-Old Math Problem in 1 Hour, 64 AIs Claim the Crown Jewel of Graph Theory

marsbit07/15 07:57

AI Overhauled Terence Tao's 30-Year-Old Website, Uncovering Two Bugs Hidden for Over Two Decades in the Process

AI Revamps Terence Tao's 30-Year-Old Website, Unearthing Two 20-Year-Old Bugs in His Code Terence Tao, a renowned mathematician, has enlisted an AI agent to overhaul his personal academic website, which was built in 1997 with a static HTML, manually-maintained "Web 1.0" architecture. In just one day, the agent migrated 560 papers and preprints, 374 travel logs, 68 courses, 19 books, and 29 old math applets to a new system on GitHub Pages. The new site is structured around YAML files as the "single source of truth," with static HTML pages automatically generated from this data—a fundamental shift from maintaining individual documents to managing a centralized database. During the migration, the AI uncovered inconsistencies, outdated entries, and broken links that had accumulated over nearly three decades of manual updates. It also successfully ported a set of small educational Java 1.0 applets to JavaScript. Notably, while reviewing this translation, Tao found only one new bug introduced by the AI. Conversely, the AI identified two subtle bugs in his original Java code that he was previously unaware of. Tao emphasizes the project highlights AI's potential for automating tedious "digital housekeeping"—routine tasks like data migration and website maintenance that are costly and error-prone when done manually. He also revived a 27-year-old stalled project: a special relativity visualizer or "Minkowskian Inkscape." With AI assistance, a working alpha version was built in two hours. While AI still requires human oversight for critical work, Tao argues that for such structured, non-core tasks, "AI + human review" can result in lower error rates and drastically lower correction costs compared to purely manual maintenance over decades.

marsbit07/14 04:02

AI Overhauled Terence Tao's 30-Year-Old Website, Uncovering Two Bugs Hidden for Over Two Decades in the Process

marsbit07/14 04:02

Tsinghua AI Mathematician Emerges: From Intuition to Theorem, Contributing to an 84-Page Quantum Algorithm Paper

Tsinghua University’s Intelligent Industry Research Institute (AIR) has developed an AI mathematician agent named AIM, designed not just to solve math problems but to actively participate in early-stage research. In a recent study, researchers collaborated with AIM to develop "Sign Embedding Quantum Algorithms," resulting in an 84-page paper on quantum algorithms for matrix equations and functions. The research began with a human researcher's intuition: can rational approximation serve as a design principle for quantum algorithms? AIM helped expand this idea into multiple candidate research directions. Human researchers then filtered and focused on the most promising path. AIM assisted in organizing theorems, generating proof drafts, and performing complexity analysis, while humans maintained oversight, auditing assumptions and refining derivations. This case illustrates a human-AI collaborative workflow: AI rapidly explores and expands research avenues, generates draft materials, and aids in checking derivations; human researchers provide critical judgment on direction, value, and validity. The process emphasizes "high-throughput candidate generation + human value gating + AI-assisted audit and repair + human final integration." The resulting quantum algorithm framework offers a unified approach to several matrix problems, advancing quantum linear algebra under more general conditions. This work suggests AI's role in theoretical research is evolving from task-specific assistance to supporting the entire research lifecycle—enhancing exploration and efficiency while keeping human expertise central to guiding inquiry and ensuring rigor. *Paper & System Links:* - AIM application report: https://arxiv.org/abs/2606.24899 - Quantum algorithm paper: https://arxiv.org/abs/2604.25333 - AIM repository: https://github.com/TheoryFoundry/AIMv2

marsbit07/10 02:53

Tsinghua AI Mathematician Emerges: From Intuition to Theorem, Contributing to an 84-Page Quantum Algorithm Paper

marsbit07/10 02:53

Hinton Praises, Gemini Core Contributor Speaks: In the Future, There Will Be Billions of Superhuman AI Einsteins

In his speech "Training Sand to Think: Artificial General Intelligence & Future of Physics," Adam Brown, a core contributor to Gemini, outlines the rapid and transformative evolution of AI. He describes how large language models (LLMs), grown rather than programmed through pre-training and fine-tuning, have progressed from performing poorly on high-school math tests to achieving gold-medal level at the International Mathematical Olympiad and recently making a genuine mathematical breakthrough by disproving a decades-old conjecture. Brown attributes this acceleration to the "Scaling Law," where predictable performance gains come from increasing compute, data, and model size. He draws parallels to the history of chess AI, predicting a similar trajectory for scientific research: moving from tools to "centaur" human-AI collaboration, and eventually to autonomous, superhuman "AI scientists." Even if progress halted today, AI already reshapes physics as a tireless tutor, powerful programming assistant, and exhaustive literature reviewer. However, Brown argues progress will continue due to immense economic runway and technical optimizations. He envisions a near-future golden age of human-AI collaboration in science, potentially leading to billions of replicated, superhuman AI researchers, making the coming years the most exciting in physics' history.

marsbit07/04 06:40

Hinton Praises, Gemini Core Contributor Speaks: In the Future, There Will Be Billions of Superhuman AI Einsteins

marsbit07/04 06:40

活动图片

Regulatory Policyright-arrow

Project Updatesright-arrow