链游在韩国为什么不火?

区块律动2019-09-24 tarihinde yayınlandı2024-09-19 tarihinde güncellendi

İlgili Okumalar

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?

marsbit8 dk önce

Fields Medalist Warns: AI Could Kill Mathematics

marsbit8 dk önce

NVIDIA's 20-Year CUDA Moat Collapsed Over a Weekend, Claude Single-Handedly Got AMD's New GPU Running

In a single weekend, Claude, an AI agent from Anthropic, successfully ported and optimized its cutting-edge model to run on a brand-new AMD MI355X server rack without any manual code intervention. This feat demonstrates a potential breakthrough in overcoming NVIDIA's long-established CUDA software ecosystem dominance, built over two decades. Anthropic's team simply instructed Claude to get the AMD machine running. By Monday, it not only worked but was showing a continuously improving performance curve. The achievement impressed AMD CEO Lisa Su and accelerated a major deployment partnership: Anthropic plans to deploy up to 2GW of AMD Instinct GPUs starting in 2027. The key enabler is AMD's new ROCm.AI platform, a toolbox designed specifically for AI agents like Claude. It provides AI-readable documentation, including chip instruction sets (ISA), and tools like the Hyperloom service that allows agents to autonomously profile performance, identify bottlenecks, test configurations, and generate optimized kernels. In a demo, Hyperloom boosted the output speed of a model by 38%. This represents a fundamental shift. While CUDA's strength lies in its vast, human-expert-driven ecosystem of tools and tacit knowledge, AMD's strategy is to make its hardware and software stack directly accessible and optimizable by AI agents. An agent can parallelize tasks—debugging, profiling, coding—that would take human engineers years to master, compressing the traditional software adaptation timeline from years to tasks. The competition is no longer just about peak hardware specs but also about how well AI can read, utilize, and tune a platform.

marsbit8 dk önce

NVIDIA's 20-Year CUDA Moat Collapsed Over a Weekend, Claude Single-Handedly Got AMD's New GPU Running

marsbit8 dk önce

Just Now, Peking University Alumna Lilian Weng Announces Resignation: The Best 'Alignment' in the AI Era Is Taking Care of Yourself

Lilian Weng, a Peking University alumnus and former OpenAI executive, has announced her departure from Thinking Machines Lab, the AI startup she co-founded with ex-OpenAI CTO Mira Murati 20 months ago. Her resignation comes shortly after the company released its first open-source model, Inkling. In her farewell message, Weng cited health reasons as the primary factor, stating that the past seven months involved more illness than any other period in her life. The intense pressure and guilt of being unable to work during critical periods, like the Inkling launch, became unsustainable. She expressed that she could not continue in a role where she felt unable to give her full effort. Weng joined OpenAI in 2018, contributing to projects like the Dactyl robotic hand and later building the Safety Systems team from scratch. She is also widely known for her influential technical blog, Lil'Log. Her departure follows a period of high expectations and challenges for Thinking Machines, which secured a record $20 billion seed round at a $120 billion valuation in 2025 but has since seen fluctuations in its valuation and the departure of other key co-founders. Weng emphasized that she remains passionate about AI but needs a more predictable and defined role without the relentless pressure of a co-founder. Her exit highlights the immense personal toll and speed of competition in the AI industry, where the drive for progress often clashes with human limits. Her decision underscores that stepping back to prioritize well-being can be an act of courage.

marsbit27 dk önce

Just Now, Peking University Alumna Lilian Weng Announces Resignation: The Best 'Alignment' in the AI Era Is Taking Care of Yourself

marsbit27 dk önce

İşlemler

Spot
活动图片