Skip to content

#现象/趋势

Today 1 items
Oct 10Sat
  1. The Verge · AI78

    ‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop

    This week OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts, spanning combinatorics, geometry, number theory, and many other fields; about 42% (300 of 719 papers) have been formalized in Lean.

    Why it matters: The article gathers first-hand assessments from multiple mathematicians, noting that some results reach top-journal quality while also showing the concrete costs of missing verification and damage to academic careers.

Oct 9Fri
  1. Simon Willison30

    Quoting Carson Gross

    Carson Gross argues that programming is essentially two things: solving problems with computers, and controlling complexity in the process. He finds it hard to imagine these two skills losing value, so programming will remain a viable career even as AI tools keep emerging.

  2. The Decoder78

    Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field

    The AHM organization, home to Fields Medalist Terence Tao, published a statement calling for a boycott of OpenAI, saying its one-time release of over 700 AI-generated proof documents was not an academic demonstration but a show of force.

    Why it matters: The article traces the mathematical community's backlash against batch-generated AI proofs and compares the differing impact of OpenAI's and Anthropic's release approaches.

  3. TechCrunch · AI68

    OpenAI’s math solutions aren’t meeting the field’s standards yet

    OpenAI this week released hundreds of mathematical proofs claiming to solve major open problems, but several requirements in the AGMAI guidelines from Princeton's Institute for Advanced Study were unmet: of 719 submissions, only 10 included the model's chain of thought, only 42% of proofs went unformalized, and the required machine-readable metadata linking natural language to formal artifacts was not provided.

Oct 8Thu
  1. The Decoder44

    AI math breakthroughs have Ethereum researchers debating how fast wallet security could collapse

    Two Ethereum researchers warn that AI-assisted math advances could, in a worst case, break the signature schemes behind crypto wallets within months. Justin Drake called on X for the industry to prepare "bunker mode", moving funds to addresses that have never signed a transaction, since signatures expose public keys; Vitalik Buterin agreed but cautioned about migration mistakes, and long advocated relying only on hash functions. The ECDSA signature scheme has not actually been broken yet.

  2. MIT Technology Review · AI26

    Building a safer path to autonomous industrial AI

    AVEVA CTO Arti Garg discusses how foundation models, physical AI, and agentic AI are pushing industrial automation into a new phase, with research showing industrial AI adoption has grown about 78% over the past two years. She stresses that AI should augment rather than replace human judgment in critical decisions, and AVEVA's responsible AI framework emphasizes safety, efficiency, and human oversight. She also serves on an IEEE working group creating standard methods for measuring AI's environmental impact in terms of power, water, and carbon.

  3. Semiconductor Engineering Chips and Packaging24

    From Silicon To Systems: Redefining Competitive Advantage, Part 3

    Advantest's Dong Ong talks with ISIG co-founder and CEO Salah Nasri about competitive advantage in the semiconductor industry over the next decade. In the AI era, industry value is shifting from transistor process nodes and single chips to advanced packaging, system integration, software and platform ecosystems; performance depends on how efficiently an entire system moves data, manages energy and coordinates compute, and future winners will be vendors that combine technology, platforms and partnerships into a value system.

Oct 7Wed
  1. Simon Willison36

    Quoting Jake Boggan

    Jake Boggan, who once moved to Budapest to research graph theory, said he invested 24 years and thousands of hours, on and off, into the Barnette conjecture, and felt deeply conflicted upon learning it was reportedly proven in openai/math problem 180. He described the feeling as "as sad as hearing an ex-girlfriend suddenly died in a car crash," and guessed many others would feel equally mixed tonight.

  2. Ars Technica · AI65

    AI glasses face their first major government crackdown

    Australia is considering banning smart glasses in certain public places, and courts in several countries have issued bans; Norway's government calls a ban a high priority, with a draft bill to be submitted to parliament soon, though it is not seeking a blanket ban. Norway's Micaelsen said people should not have to worry about hidden recording, photos and filming in settings unaccustomed to surveillance.

  3. MIT Technology Review · AI54

    People really hate AI, so why can’t they get enough?

    MIT Technology Review's Will Douglas Heaven analyzes the public's love-hate relationship with AI: a Pew survey shows US adults think AI's negatives outweigh its positives, and a May Gallup poll found 71% of US adults oppose building new AI data centers locally. Yet ChatGPT reached 1 billion monthly users by May, Gemini hit 950 million users in July, and Pew says half of US adults use chatbots.

  4. MIT Technology Review · AI21

    Bringing predictive analytics to the agentic AI era

    The frontier of enterprise AI is shifting from prediction to autonomous decision-making, and the core question for 2026 is how to let predictive systems act on their conclusions without drifting from business intent. Deep learning and generative AI enable real-time training so models keep evolving, and predictive engines' data now extends to unstructured interaction sources. Everest Group partner Vishal Gupta says enterprises are no longer satisfied with retrospective views, and "the word analytics is giving way to AI—everything is becoming AI."

  5. The Verge · AI39

    All the drama around AI’s takeover of mathematics

    Over the past year, AI labs including OpenAI and Anthropic have announced breakthroughs on multiple long-unsolved math problems, even a famous Millennium Prize Problem. These achievements should have been celebrated, but instead sparked a strong backlash in the math community. OpenAI says it will consult top mathematicians to avoid repeating the mistakes, but whether it delivers remains to be seen.

  6. The Verge · AI49

    This startup is issuing AI-generated acne prescriptions

    Healthcare startup Nolla Health announced that Utah users can scan their face through its app, where AI analyzes acne severity and independently prescribes treatment. The pilot gradually relaxes physician oversight: prescriptions for the first 100 patients require approval from two doctors each, and after 500 patients, doctors only need to spot-check at least 10% of prescriptions monthly. The service is priced at $4.99 per month, available only to Utah residents aged 18 and over with mild-to-moderate acne; the AI can currently prescribe 8 dermatological treatments.

Oct 4Sun
Oct 3Sat