Who's Who of AI

steven t. piantadosi

223 trust researcher @spiantado.bsky.social · 6,480 followers
AI research
Why they matter

Researcher with public evidence across AI research.

AI signals
3
past 30d
Sources
3
distinct domains
Discussions
0
past 30d
Latest signal
12d ago
View every signal from steven t. piantadosi →
computational cognitive science he/him UC Berkeley ScienceHomecoming http://colala.berkeley.edu/people/piantadosi/
What they're sharing

Articles & links

↻ steven t. piantadosi reposted
@leahmcelrath.bsky.social

New today in the old tale of externalizing costs while privatizing profits: OpenAI CEO Sam Altman tells Politico, “We believe the world should accept some bad things happening for the benefits of this technology.”

politico.com
AI Weekly's analysis →
  • Altman said the world 'should accept some bad things happening' for AI's benefits, drawing the line only at 'really catastrophic risks' like serious loss of control.
  • He put 'a lot of daylight' between OpenAI and Anthropic's Dario Amodei on how heavy-handed AI regulation should be.
  • Altman called AI industry political spending 'clearly not working' and said he no longer gives personally because OpenAI does business with the government.
Read full analysis →
 View on Bluesky →

But mathematicians reading these proofs seem to often have a hard time, meaning that they're not great at aligning the formal stuff with our intuitions (yet). I'd also take this as a little evidence arxiv.org/abs/2610.08144

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs arxiv.org
AI Weekly's analysis →
  • A new preprint argues OpenAI's announced Lean proof of Navier-Stokes blow-up does not correspond to the natural-language proof it was meant to verify.
  • The authors place semantically faithful autoformalisation at SCI = infinity in the Solvability Complexity Index hierarchy, above the Halting problem's SCI = 1.
  • They present several practical examples of AI mistranslations between natural language and Lean producing mismatches between the proofs and their Lean verifications.
Read full analysis →
View on Bluesky · ♥ 1 ↻ 0 ↩ 1 · 5 from the directory shared this · 12d ago

A little opinion piece on the contributions of mathematicians in the era of AI colala.berkeley.edu/papers/piant...

colala.berkeley.edu
View on Bluesky · ♥ 3 ↻ 2 ↩ 1 · 2 from the directory shared this · 15d ago
Their network

In steven t. piantadosi's orbit

Center = steven t. piantadosi. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.

Are you steven t. piantadosi? Show it.

Add the Who’s Who of AI badge to your site or bio. It links back to this profile.

Listed in AI Weekly's Who's Who of AI

Markdown: [![Listed in AI Weekly's Who's Who of AI](https://aiweekly.co/modules/custom/aiweekly_whoswho/images/whoswho-badge.svg)](https://aiweekly.co/whos-who/person/spiantado-bsky-social)