AI cracks 30-year math problem in 6 hours

🧠 AI Named 'Aristotle' Just Embarrassed Every Math PhD

• An AI system called Aristotle solved a 30-year-old math problem in 6 hours, then verified its own proof in 60 seconds. Harmonic built it using "vibe proving" - where AI just feels its way to mathematical truth.

• We're speedrunning to mathematical superintelligence. Your PhD thesis that took 5 years? AI could probably knock it out during a coffee break. (source)

---

🇨🇳 China's Open Models Are Eating America's Lunch

• Chinese AI models from DeepSeek and Alibaba are getting more downloads than Google and Meta's models for the first time. Meanwhile, US labs are hoarding their tech like Gollum with the ring.

• China just flipped the script on AI dominance by actually sharing their homework while Silicon Valley plays keep-away. (source)

---

💰 Nvidia Casually Drops $2B on Chip Design Software

• Nvidia just threw $2 billion at Synopsys (chip design software company) because apparently owning the GPU market isn't enough - they want to control how future chips are designed too.

• Nvidia's not just selling shovels in the gold rush anymore - they're buying the entire mining operation. (source)

---

🇺🇦 Ukraine Building Its Own AI (With Google's Homework)

• Ukraine is creating its own LLM using Google's open Gemma framework. They specifically avoided ChatGPT because relying on foreign tech during wartime is suboptimal.

• "Sovereign AI" is the new nuclear program - every country wants their own chatbot that won't snitch to foreign governments. (source)

---

🎨 Stable Diffusion Alumni Score $300M at $3.25B Valuation

• Black Forest Labs (founded by ex-Stable Diffusion crew) just raised $300 million. They're now worth $3.25 billion for making AI that turns your drunk texts into Renaissance paintings.

• The generative AI bubble is so hot that "we made Stable Diffusion" is basically a $3B pickup line to VCs. (source)

---

🏦 HSBC Picks French AI Over American Tech Bros

• Banking giant HSBC signed with French startup Mistral instead of OpenAI. They'll use it to automate the soul-crushing parts of investment banking (so, most of it).

• Even boring banks are going all-in on AI - and Europe just scored a rare W against Silicon Valley. (source)

---

🧑‍💻 Accenture Gives ChatGPT to Tens of Thousands of Consultants

• Accenture is hooking up tens of thousands of employees with ChatGPT Enterprise. Because nothing says "consulting innovation" like copy-pasting from the same AI everyone else uses.

• The great workforce transformation is here - where "AI-assisted" means letting ChatGPT write your PowerPoints. (source)

---

🏭 Germans Building an "AI Gigafactory" (Not a Joke)

• Deutsche Telekom and Schwarz Group are building an "AI gigafactory" data center. They're begging the EU for a slice of that $20 billion fund to compete with US and China.

• Europe's trying to speedrun AI infrastructure after realizing they're playing catch-up with two pocket calculators and a dream. (source)

---

📱 ByteDance Puts AI Assistant in Chinese Phones

• TikTok's parent company is shoving its Doubao chatbot into ZTE smartphones. It already has more users than all Chinese competitors combined.

• ByteDance is speedrunning from "dance videos" to "controlling your phone's AI brain" - and winning. (source)

---

🚀 Company Makes Drugs in Space, Returns to Earth (Legally)

• Varda Space Industries successfully manufactured pharmaceutical crystals in orbit. Their CEO thinks it'll eventually be cheaper to send workers to space factories than keep them on Earth.

• We've reached peak capitalism - making drugs in space because Earth's gravity is inconvenient. (source)

---

🏡 Rural America to AI Data Centers: "Not in My Backyard"

• Trump supporters in Pennsylvania are fighting AI data centers that would eat their farmland and spike utility bills. Turns out nobody wants to live next to a building that uses more power than a small city.

• The AI boom's dirty secret - someone has to live next to these power-hungry server farms, and they're pissed. (source)

---

🎬 James Cameron Calls GenAI "Horrifying"

• The guy who made Avatar thinks generative AI is "horrifying" because it can create performances from text prompts. He insists his motion-capture tech "celebrates actors" while AI just... doesn't need them.

• Even tech-forward directors are drawing lines - Cameron spent millions capturing actors' souls, not replacing them. (source)

---

🔒 Coupang Leaks 34 Million Customers' Data (Oops)

• Korean e-commerce giant Coupang exposed 34 million customers' personal info for five months. Names, emails, addresses - the whole identity theft starter pack.

• As companies hoard data like digital dragons, the inevitable breaches get more catastrophic. (source)

---

🏛️ Trump's AI Czar Might Be Making Bank (Allegedly)

• NYT reports David Sacks could profit from his White House AI role through his many AI investments. Sacks called it a "nothing burger" and says he follows all ethics rules.

• The revolving door between Silicon Valley and DC is spinning so fast it's generating its own power source. (source)

---