Urgent.News

What's breaking now, across thousands of outlets.

AI

Sources: Trump plans to host Dario Amodei at a private White House dinner on Sunday, an indication of thawing relations; Trump personally invited Amodei (Axios)

President Trump plans to host Anthropic CEO Dario Amodei at a private White House dinner on Sunday evening, sources familiar told Axios.

President Trump plans to host Dario Amodei, CEO of Anthropic, at a private White House dinner on Sunday evening. According to Axios, Trump personally invited Amodei. This move is seen as an indication of thawing relations.

The dinner invitation comes after some public appearances and discussions about AI. In a separate event, Dario Amodei was portrayed in a comedic sketch on Saturday Night Live, where he struggled to reassure people that AI isn't a threat to humanity.

No further details about the dinner or the topics to be discussed are available. The private dinner is set to take place on Sunday.

Brief written by urgent.news from Techmeme, Mashable — 2 reports on this story. Machine-written — may contain errors; check the original before relying on it.

This story

This is one outlet's version. Read the fullest account.

Read the original at axios.com →

More in AI

A Certification That Changes Every Run Is a Coin Flip With a Signature

The plan was clean, and I believed every word of it: three real agents I had already built — a repo guardian, a release-notes drafter, an incident commander — would register in HivePlane , the control…

  • Certification results varied with each run, demonstrating nondeterminism.
  • Certification became repeatable with deterministic agents and controlled environment.
  • Field test revealed importance of writing evidence before verdict in stack.

Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 days

On September 4, 2026, Anthropic published a complete Lean 4 proof of Fermat's Last Theorem: 13 million lines, written largely by Claude agents in 11 days, and checked by a machine rather than by…

  • Anthropic unveiled Lean 4 proof of Fermat's Last Theorem on September 4, 2026
  • Proof spans 13 million lines, verified by machine in 11 days
  • Mathematician confirmed validity but noted limited mathematical significance

More from Sunday 27 September →