|
🧠 Claude proves Fermat's theorem
LINK
|
- Anthropic says its Claude AI formally proved Fermat's Last Theorem, a puzzle that stumped mathematicians for 358 years, by writing what the company calls the longest math proof ever made, a chain a computer can check step by step.
- Working mostly on its own over 11 days, dozens of Claude agents proved more than 30,000 supporting theorems and produced 13 million lines of code, more than five times the size of Mathlib, the shared library mathematicians already lean on.
- The agents first lost track of their work, but a tool called Prove2Me gave each one a live to-do list to avoid duplication; Imperial College London's Kevin Buzzard reviewed the result and confirmed it holds up.
|
💥 GPT-6 Astra hits top ChatGPT plans
LINK
|
- OpenAI has released GPT-6 Astra, its newest model, to ChatGPT users on Pro, Enterprise, and Business Premium plans through ChatGPT Work and Codex, with Plus and Business users getting access over the next few days.
- The model also reaches developers through the OpenAI API, Microsoft Azure, and AWS Bedrock, while subscribers on Pro, Business, and Enterprise plans get GPT-6 Astra Pro, the stronger version, with usage counted against their existing plan quotas.
- Standard Astra gives roughly half the messages per five-hour window as the older GPT-5.6 Sol, so Plus users get about 5 to 45 messages versus Sol's 10 to 100, and Free and Go tiers get neither model.
|
💰 Top 1% drive 80% of OpenAI revenue
LINK
|
- New data from Ramp shows that the top 1% of customers bring in 80% of enterprise revenue at both OpenAI and Anthropic, a concentration that has held even as more businesses start paying for generative AI.
- Ramp's lead economist Ara Kharazian called it a level of concentration risk unseen in any other software category the firm tracks, since usage-based pricing ties spending to how much the software does, not just how many people use it.
- At Anthropic, coding tools Cursor and GitHub Copilot alone drove about $1.2 billion of its $5 billion revenue last year, while OpenAI has not said what share of its total revenue any single customer represents.
|
⚖️ Judge blocks X rival from Twitter name
LINK
|
- A federal judge in Delaware stopped the startup Operation Bluebird from using the "Twitter" name for its rival social network, ruling in favor of Elon Musk's X on that core trademark.
- The same court found X had likely abandoned two related trademarks, the word "tweet" and the Twitter bird logo, so the startup rebranded its site as Tweet.app and opened to the public.
- Before launch, over 172,000 people asked for a handle on the site, with the company charging users $20 each to reserve one, money that likely helps cover its legal bills.
|
🤝 US and China to hold AI safety talks
LINK
|
- The US and China are expected to sit down in mid-September for their first talks focused only on AI safety, marking a new official channel between the two rivals since Trump's second term began.
- Treasury Secretary Scott Bessent will likely lead the US side, which wants labs in both countries to "police themselves" on AI-driven cyberattacks and share threat information, though the White House says no such meeting is confirmed yet.
- Washington also plans to raise China's "distillation" of US models, where cheaper systems learn from larger ones, after accusing Moonshot AI of copying Anthropic's work, with any deal expected to stay narrow.
|
🚕 Tesla bars kids under 13 from Cybercab
LINK
|
- Tesla's new Cybercab robotaxi will not carry children under 13 "at this time," a rule buried in the fine print released this week, even though its older Robotaxi Model Y SUVs allow riders as young as 8.
- The Cybercab skips the standard LATCH anchors for child seats, so seats can only be strapped in with the seat belt, and Tesla still requires any passenger under 18 to be with an adult.
- Tesla did not say why it bars young kids from the Cybercab, but the car uses electronic door latches, a feature that led to a recent recall of 3 million cars in China after a crash-safety investigation.
|
|
