It may be "the most significant moment in mathematical history." AI is solving hundreds of enduring math mysteries. “If a human did this, it would be an instant Fields Medal, no questions asked,” said one math professor. www.wsj.com/tech/ai/open...
AI · News
42 posts in AI that are news, facts and calls to action, where the model is sure of the intent. Page 1 of 2: the top 7, then 3 the model is less sure belong here.
Ranked Bluesky · Mastodon
About 7 in 10 posts here get an intent label; the model only labels the ones it is sure of.
#Meta just published how it secures #Muse, its personal AI agent, and the architecture is worth studying for anyone building agentic systems. The core idea: assume the agent will be attacked, and design the system so a compromised agent causes minimal damage. • Each user gets an isolated cloud VM (the Muse Secure VM) running the agent, a browser, code execution, subagents, and scheduled jobs. • Real credentials never enter the VM. The agent works with surrogate tokens, and a separate component called Sentinel swaps in the real credential only at the network boundary.
Show more of this post
• Sentinel is the only thing that can talk to connectors or the internet. The agent proposes, Sentinel allows, denies, or asks the user. The agent cannot override it. • Tainted egress: once a process touches private data, it loses automatic network permission. Any later outbound action needs human approval. This is Meta's answer to the "lethal trifecta" of private data, untrusted input, and a way to send data out. • The model is trained with prompt injection in mind, but Meta's position is that model-level defenses are never enough, so the real controls live at the OS level. Notably, Meta also opened a public bug bounty for Muse: up to $300,000 per report, including up to $130,000 for a successful prompt injection affecting a single user. The broader lesson: permission needs an owner outside the agent that wants to act. #AIAgents #AISafety #Cybersecurity #PromptInjection #Meta research.meta.ai/blog/security…
When I reported my "CBS Sunday Morning" story about the AI panic last week, I kept thinking about my conversation with Daniel Kokotajlo, who quit OpenAI when he became alarmed at its recklessness. Today, he's one of the clearest, most thoughtful AI thinkers. Here's a transcript of that interview.
> A man convicted of manslaughter in Arizona will be resentenced because an AI-generated video of his victim speaking from beyond the grave was ruled to have carried "undue emotional weight" as an impact statement. An appellate court in Arizona ruled that the manslaughter charge will remain, but the judge must reconsider the length of the man’s prison term because of AI. To be clear, the victim's sister, Stacey Wales, who generated the video, was in no way deceitful. She wrote her own perceptions of what victim Gabriel Horcasitas would have said as a way of expressing her impact statement, put the words in the AI-generated video of her brother, and she disclosed all of this to the court.
Show more of this post
> She compared it to the way courts thought of photography in the late 19th century. > "It took about 15 years […] and about five landmark cases in the United States that went all the way up to the Supreme Court before photography was an accepted standard to be used in the courtroom for evidence, identification, and testimony, et cetera,” she said. “I believe that's what we're seeing now with AI. It is a brand new medium.” 404media.co/her-ai-generated-v…
OpenAI’s legal & security teams used AI to generate parts of the wording of the Medicare email warning that was sent to the government's Services Australia inbox. Humans reviewed the final email before sending the message. #auspol www.theguardian.com/australia-ne...
AHM (Association for Human Mathematics) Statement on OpenAI’s October 6 Release of Mathematical Documents: www.ahmath.org/statements
The dump of 722 preprints on github by OpenAI on solutions to open mathematical problems does not mention numerical analysis. Nevertheless, there is one that is of relevance, namely about the complexity of matrix-matrix multiplications of square matrices. The preprint claims to prove that this […]
More in AI
The model is less sure these belong here, so they sit outside the ranking.
DHH did some experiments with LLMs that put #ElixirLang in a bad position. José Valim and others in the community saw this and said: "Hey, you used more resources with the other languages. It's an unfair comparison with Elixir". DHH: Yes, I used more features with other languages.
The Pentagon is launching a brand new Autonomous Warfare Command. To help design it, they picked a 3-person team that includes Elon Musk, Newt Ginrich, and Palmer Luckey. (There's also a possible conflict of interest.) I wrote about it on #Substack. pithycyborg.substack.com/p/ai-just-en...
How AI could help predict and explain water levels in the Great Lakes #GreatLakes #Canada #Science #Tech #AI #Environment #Water #ClimateChange #Hydrology #WaterManagement #WaterLevels #ClimateScience #The14Media the-14.com/how-ai-could-help-p…
