Latest / MAG 7 Daily / Ep 20: Nine open Erdős problems fell to Google DeepMind's proof system, two unsolved for fifty-six…

Transcript

Ep 20: Nine open Erdős problems fell to Google DeepMind's proof system, two unsolved for fifty-six… · MAG 7 Daily

• 0:00
  Nine open irdish problems fell to google deep mines proof system, two unsolved for 56 years.
• 0:06
  This is MAG 7 Daily, episode 20. At the top of the tape, the Dakota reports a science study
• 0:12
  of alphaproof nexus, the system built around Gemini 3.1 Pro. Gemini drafts proofs in the
• 0:18
  formal language lean and revises them there. Lean checks each draft after every edit, and
• 0:24
  error messages steer the next attempt.
• 0:27
  On harder sub-problems, it can call the specialized alpha-proof tool, though deep-mind reports
• 0:32
  these Erdoche problems were solved without that call.
• 0:35
  It proved 44 conjectures from the OEIS integer sequence database, and it tightened a known
• 0:41
  bound in min-max optimization, a method some labs use when training models.
• 0:47
  The team posted those solutions online before the paper.
• 0:50
  That science tally cuts against the paper's own much larger list.
• 0:54
  The decoder counts 353 open problems on the list the paper uses, and most of them are
• 1:00
  still untouched.
• 1:01
  Open AI lately uploaded hundreds of machine proofs to GitHub and skipped the journals.
• 1:07
  The association for human mathematics, led by Terrence Tao, called for a boycott.
• 1:12
  That boycott objects to treating machine proofs as settled when they never face a journal.
• 1:17
  DeepMind's pick of science does not on its own and the argument over what counts as done.
• 1:22
  The information writes that spending across the 7 on AI data centers has Amazon at $220 billion
• 1:29
  this year for new capacity, with Alphabet and Meta grouped in that class.
• 1:34
  Walmart supplies the growth number that Peace Prince, about 5.6% expected revenue growth this year,
• 1:41
  roughly a third of Amazon's estimated rate.
• 1:43
  That account says the outlay holds only if business demand for AI services takes off.
• 1:49
  Tech Insider lines up three clouds on game latency, with a headline band of 10 to 20 milliseconds
• 1:54
  for AWS wavelength against Azure Edge zones and Google's Edge.
• 1:59
  Those milliseconds are not a site count, and the dollar outlay is not a latency measurement.
• 2:04
  Microsoft shows up as Azure, not as a capital spending peer in the information's account.
• 2:09
  Meta sits on the bill and off the millisecond table, and neither piece says how many of the
• 2:15
  dollars chased that latency band instead of full campuses.
• 2:18
  CTECH reports Amazon has now talked about as a possible buyer for the Israeli AI startup
• 2:23
  DeCart at a reported $7 billion.
• 2:27
  That sum is a reported price on a deal that has not been signed.
• 2:31
  Bloomberg reports that on Monday, Microsoft commercial chief Judson Altoff and TikToks
• 2:36
  Chew said excitement around artificial intelligence may be outrunning how unfinished the technology
• 2:42
  still is.
• 2:43
  They ranked cybersecurity as the bigger near-term issue, ahead of AI moving too fast.
• 2:49
  Mark Gurman writes that the home unveiling covers home view, a new Apple TV, a HomePod
• 2:54
  mini, and accessories LG is building.
• 2:57
  He says the aim is to guard the iPhone as much as to furnish the house.
• 3:01
  He said he was told the new Apple TV 4000 and HomePod mini should open for pre-order starting
• 3:06
  this week. MacRumors reports Apple is selling a limited
• 3:10
  Diwali edition of AirPods 5 in India. The case cut with a rangoli set around a heart-eyes
• 3:15
  emoji. The price is 17,900 rupees. The same Indian price as the regular AirPods 5 with
• 3:22
  wireless charging case. Sales started October 11th and run through November 11th, 2026.
• 3:29
  While stock lasts, via the online store, the Apple Store app, and six retail stores,
• 3:34
  two pairs per customer. The addition is left out of other airpods promotions and out of business,
• 3:40
  education, and corporate employee purchase plan pricing. Purchase terms warn that a repair or
• 3:45
  replacement may come back as a standard charging case, depending on supply. Artist Arushi
• 3:51
  Kethoria leads free rangoli workshops on iPad and Procreate with an Apple pencil and a brush
• 3:57
  to Mimic Powder. Tuesday, October 13th, 2026 is the date set for Apple's home unveiling.
• 4:04
  Mac rumors, citing German, expects those new Apple TV 4,000 and HomePod mini-models to
• 4:09
  go on sale Friday, October 30th, 2026. An Apple has not confirmed that date in this reporting.
• 4:16
  The Rangoli workshops run October 14th through November 9th in India, at a handful of sites
• 4:22
  in the United States, Canada, Malaysia, and Singapore.
• 4:25
  Before we go, the reported Amazon interest in D-Cart is the deal still waiting on sign
• 4:30
  terms.
• 4:31
  That's Mag 7 Daily for today.
• 4:33
  Nothing in this show is financial advice.
• 4:36
  I'm Patrick and Vancouver.
• 4:37
  See you tomorrow.
• 4:39
  This show comes to you from the Narin Network.
• 4:41
  If you want another sharp, weekly briefing, longevity weekly has you covered.
• 4:45
  The week in aging science, each finding with its evidence level.
• 4:49
  All our shows are free at NarinNetwork.com.
• 4:52
  and if you would rather hear only your shows in your order, Narrow Personal builds you a private daily edition.
• 4:59
  The details are at narennetwork.com. Join.
• 5:02
  This episode used AI voice synthesis of my voice. Editorial selection and analysis are my own.