Skip to content

All AI news

Today 7 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.

  3. The Verge · AI52

    Nikon microscopic video competition winner disqualified for using generative AI

    Nikon disqualified the original first-place video in its Small World in Motion competition for not complying with the contest rules on generative AI. The video, by Dr. Ning Xu, claimed to show cilia moving in the airway of a child with PCD; after questions were raised online about its authenticity, Dr. Xu acknowledged on LinkedIn using AI-assisted post-processing to distinguish and visualize reconstructed features in grayscale images.

  4. The Decoder78

    OpenAI revenue keeps surging as company seeks $30 billion in fresh capital

    According to the Financial Times, OpenAI's annualized revenue rate at the end of September was about $50B; the earlier near-$70B figure was an accounting calculation comparable to Anthropic's, with the difference lying in how revenue from partner sales is recognized. Both comply with US GAAP.

    Why it matters: The piece clarifies the accounting differences between OpenAI's and Anthropic's annualized revenue figures, letting readers compare the two companies' revenue scale more accurately.

  8. TechCrunch · AI41

    Amazon and others are done keeping data center deals secret. Is it enough to build trust?

    Amazon says it will no longer use NDAs when negotiating data center deals with local governments, following a similar move by Microsoft earlier this year. The secrecy fueled community backlash against AI infrastructure, with hundreds of pause proposals or laws emerging from New York to San Francisco. TechCrunch’s Equity podcast also discusses why personal AI startups treat trust as the real product.

  10. AWS Machine Learning Blog65

    How Postman runs Agent Mode for 40 million developers on Amazon Bedrock

    Postman and AWS detail the production architecture of its Agent Mode, an AI-native capability covering API testing, documentation, discovery, and implementation, serving 40 million developers.

    Why it matters: The piece explains Postman's concrete practices in production—controlling tool scale, using schema reads instead of piling up tools, and treating context as the bottleneck—all transferable to other agent engineering.

Oct 9Fri
  4. Simon Willison38

    Quoting Matthew Green

    Cryptographer Matthew Green argues there is a 1% chance we live in a 'Minicrypt' world where public-key cryptography is fundamentally impossible, and a 15% chance we will actually lose confidence in existing public-key algorithms. He notes AI creates surprises far faster than humans (even AI-assisted) can replace standards, and only advance preparation enables recovery from such surprises.

  7. The Decoder55

    Anthropic's Claude Science creates the first complete ultraviolet map of the sky

    Anthropic's Claude Science has for the first time produced an ultraviolet map covering the entire sky, with astronomer Brice Ménard describing the process on Anthropic's website. The AI agent downloaded data from multiple space missions, calibrated and merged it, and used inpainting to fill in missing regions; in tests, predictions differed from actual measurements by about 10% on average. NASA's GALEX previously covered only about two-thirds of the sky and skipped bright star-forming regions, and the new map will be used as teaching material.

  8. The Verge · AI65

    OpenAI doubles down on decision to fire three AI safety researchers

    OpenAI said in a post on X that it fired safety researchers Jasmine Wang, Tomek Korbak and Mikita Balesni for violating clear policies on handling sensitive information, adding that its investigation found violations not mentioned in the trio's letter, without providing details. The move responds to an open letter the three published Thursday, in which they said they were dismissed for raising safety concerns and that their conduct complied with company policies at the time.

  10. The Decoder61

    OpenAI uncovers Russian and Iranian influence ops that planted fake stories in real news outlets

    OpenAI disclosed and banned ChatGPT accounts tied to two influence operations, one Russian and one Iranian, both of which planted content in legitimate media outlets under fake identities rather than running social media accounts. The Russian operation, "Dark Clark," spread disinformation discrediting Ukraine across Latin America, with fabricated audio and documents triggering fact-checks and official denials in Ecuador and Peru; OpenAI rated it Level 5 on the Breakout Scale of 6, the first Level 5 case in two and a half years of reporting.

  12. Semiconductor Engineering Chips and Packaging26

    Chip Industry Week In Review

    TSMC and GlobalFoundries signed a $2 billion agreement under which GlobalFoundries will manufacture silicon interposers for TSMC's CoWoS advanced packaging ecosystem at its Malta, New York plant, with volume production ramping in the first half of 2028.

  14. Simon Willison37

    ttok 0.4

    Simon Willison released ttok 0.4, a CLI tool for counting tokens built on OpenAI's open-source tiktoken library. The update fixes Click warnings, updates CI, and adds a --list-models command to list available models. The tool can run via uvx, for example cat file.txt | uvx ttok to count tokens in any file.

  18. Hugging Face Blog72

    The model that didn't exist, so you made it yourself

    Because the Hub only had a compressed version of the official 9B prompt rewriter for Qwen-Image 2.1, the author used HuggingChat's ML-intern mode to build a 0.8B student version that runs on CPU.

    Why it matters: The author shares seven complete projects offering a reusable workflow covering prompt structure, budget control, baselines and smoke tests, with all prompts and itemized compute costs included.

  20. 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.

  22. The Verge · AI46

    California is trying to shut down robot vs. human cage matches

    The California State Athletic Commission sent a cease-and-desist letter to startup Rek, calling its September 18 match between human Frankie LaPenna and a humanoid robot 'unapproved' and demanding it hold no more unapproved boxing or MMA-style events involving humans in California. The robot was piloted by a human through a 'remote virtual reality system,' and its body appears to come from EngineAI. Rek's next event, scheduled for Friday, will pit two armed robots against each other.

  24. The Decoder66

    Being mean to Claude can now get your account suspended under Anthropic's new TOS

    Anthropic has updated Claude's usage policy for the first time in over a year, adding a ban on sustained and gratuitous abuse or cruelty toward Claude. Violators can face warnings, rate limiting, restrictions, or termination of access. The company says the clause applies only to extreme cases and does not cover common frustration, pushback, dark creative themes, or model testing research. The policy also consolidates restrictions on fake account promotion, weaponized drones, and non-consensual surveillance, and acknowledges there may be exceptions for government contracts.

  27. 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.

  29. 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.