π§ AI just solved 56-year-old math
Β·
π5 min read
π§ DeepMind's AI Solves Math Problems Older Than Your Parents
- Google's AlphaProof Nexus just cracked nine open ErdΕs problems - two of which had been unsolved for 56 YEARS. The setup?? An LLM duct-taped to a proof assistant, churning out machine-verified answers for a few hundred bucks each.
- Mathematicians spent decades on these. AI solved them for less than a steak dinner. Formal logic is officially cooked (in a good way??).
π΅οΈ White House Drops $9B on Spy Chips Because Of Course
- The US government is quietly spending $9 BILLION on AI chips for spy agencies - building data centers stuffed with Nvidia Grace Blackwell superchips and locking in a special contract for Anthropic's new Mythos model.
- The CIA cannot, under any circumstances, be caught using ChatGPT.com to summarize classified docs. National security is now a GPU procurement problem.
ποΈ Pope Leo XIV Tells Tech Bros to Touch Grass
- In his first major letter, Pope Leo XIV urged the world to slow the heck down on AI. He warned of "unending war" and called out new forms of slavery for the workers building these systems. Not subtle!!
- When the spiritual leader of 1.4 BILLION people @'s your industry directly, that's... a vibe shift. Ethics-washing just got a lot harder.
π¨π³ Huawei Invents New Physics to Dodge US Sanctions
- Huawei announced a "Tau Scaling Law" that lets them build advanced chips without shrinking transistors. They're targeting 1.4-nanometer equivalent density by 2031 through pure system efficiency wizardry.
- Sanctions said "you can't have the small transistors." Huawei said "bet." China's path to AI self-sufficiency just got a whole lot more believable.
πΈ DeepSeek Nukes Its Own Pricing by 75%
- DeepSeek permanently slashed its V4-Pro model price by 75%, down to $0.435 per million input tokens. That's wayyy cheaper than every closed-source rival currently flexing on Twitter.
- This is the AI equivalent of starting a price war at Costco. OpenAI and Anthropic are about to have a very uncomfortable Monday morning meeting.
πΌ McKinsey Kills the Billable Hour Because AI Did Its Job
- Consulting giant McKinsey is moving away from hourly billing because AI tools are doing all the grunt work in minutes. Clients now want to pay for actual business outcomes instead of PowerPoint hours.
- The entire professional services industry was built on "trust me bro, this took 40 hours." That bill is coming due. Bestie, the gig is up.
π Even Google Can't Keep Up with AI Security
- Google Cloud's COO straight-up admitted AI security is moving too fast - attacks now happen in seconds. Devs are getting hit with massive surprise bills as hackers exploit old API keys to hijack Gemini.
- If GOOGLE is struggling, your 12-person startup with the leaked .env file is cooked. "Shadow AI" is the new shadow IT, but spicier.
β Starbucks Yeets Its Glitchy AI Inventory Bot
- Starbucks killed its AI-powered inventory app just nine months after rolling it out across North America. The camera-based tool kept miscounting items and - I cannot stress this enough - couldn't tell different milks apart.
- Sir, this is a coffee shop. Sometimes a barista with eyeballs beats a $10M AI deployment. We love to see it π
π§ NVIDIA Drops AI That Generates Fake Brains
- NVIDIA released NV-Generate-MR-Brain, an AI that creates highly realistic synthetic 3D brain MRIs so researchers can train models without trampling patient privacy.
- Medical AI's biggest bottleneck is data. NVIDIA just turned on the firehose. Genuinely useful?? In THIS economy??
π₯ $2.4B Deal Proves Medical AI Is the Real Gold Rush
- Jardine Matheson is buying Australian medical imaging giant I-MED for $2.4 billion - a deal that includes I-MED's stake in Harrison.ai, which builds radiology AI.
- Big money has officially decided radiologists are an acquisition target. AI diagnostics aren't a science project anymore - they're a business.
π Perplexity Open-Sources "Bumblebee" for Paranoid Devs
- Perplexity dropped Bumblebee, a free security scanner for Mac and Linux that hunts down risky packages and sketchy AI configs - without accidentally detonating malware in the process.
- AI devs are the new prime target for hackers. A free, open-source threat scanner is genuinely a W. No notes.
β‘ India Becomes the AI Data Center Boomtown
- Schneider Electric says its India data center business is growing at double-digit rates, blowing past its core business. The reason?? Everyone wants AI-ready infrastructure closer to customers.
- The AI race isn't won in San Francisco - it's won wherever you can plug in 500MW without the grid catching fire. India's having a moment.
π Singapore's Economy Pops Off Thanks to AI Chips
- Singapore's economy grew 6% in Q1 2026, fueled by a chaotic 57.8% jump in electronics exports driven by global AI demand.
- Entire countries are now riding the AI hardware wave. This is what an Nvidia-shaped economy looks like.
β Amazon's "Bee" Records Your Entire Life and It's... Fine??
- Amazon's new Bee wrist wearable listens to your day and transcribes/summarizes every conversation. Great for meetings!! Also needs your location, contacts, and health data. Cool cool cool.
- We're officially in the "Amazon knows what you whispered to your dog at 2am" era. Convenience vs. privacy has never been less of a fair fight.
π³ AI Robot Cooks 500 Meals and Cleans Up After Itself
- The NoshOne Kitchen Robot uses AI to cook over 500 meals, dispense ingredients, stir, AND clean up. Trained on thousands of recipes. No tip required.
- AI is finally escaping the chat window and entering the physical world. Your kitchen is the new frontier. Sorry, line cooks.
β° The "Dreamie" Clock Wants to Save You From Your Phone
- The new Dreamie alarm clock plays podcasts over Wi-Fi via open RSS feeds - so you can fall back asleep without scrolling TikTok at 3am.
- Single-purpose tech is back, baby. In an AI-everything world, the most radical product is one that just... does one thing.
πͺ Tether Teams Up with Georgia for Official Stablecoin
- Crypto giant Tether is partnering with the government of Georgia to launch a digital version of the Georgian lari, aimed at cross-border commerce.
- Not AI, but worth flagging - a sovereign nation just handed crypto the keys. The line between private stablecoins and state money is officially blurring.