Who's Who of AI

Fran Litterio

79 trust @fpl9000.bsky.social · 2,147 followers
Why they matter

Tracked through public AI activity and peer connections inside the directory.

AI signals
19
past 30d
Sources
17
distinct domains
Discussions
6
past 30d
Latest signal
2h ago
View every signal from Fran Litterio →
Retired software engineer. AI enthusiast. Deadhead. Long ago, I implemented Bash's regex operator (=~). Signal ID: franl.99.
What they're sharing

Articles & links

↻ Fran Litterio reposted
Tim Kellogg @timkellogg.me

OpenAI has released 100 math results along with reasoning summaries, proofs, and descriptions of how they did it this was done in coordination with the advisory group on mathematics and artificial intelligence github.com/openai/math openai.com/index/sharin...

GitHub - openai/math github.com
AI Weekly's analysis →
  • OpenAI released 722 manuscripts organized into 372 families, produced by an unreleased internal model given roughly 4,000 problems.
  • Each result used, on average, three hours of ChatGPT Pro thinking compute with that model.
  • Not all manuscripts carry Lean formalizations, and OpenAI warns some unformalized results 'could have issues.'
Read full analysis →
 View on Bluesky →
↻ Fran Litterio reposted
@philpax.me

www.anthropic.com/research/for...

Formalizing Fermat's Last Theorem anthropic.com
AI Weekly's analysis →
  • Claude ran several dozen parallel agents generating 6 billion tokens; the 11-day figure is wall-clock time, not the output of a single sustained agent.
  • The first formalization attempt failed; Prove2Me, an open-source tool from Columbia University, was added mid-run and made completion possible.
  • Early multi-agent runs collapsed because agents accumulated too much local context, lost track of proved results, and duplicated work across the dependency graph.
Read full analysis →
 View on Bluesky →
↻ Fran Litterio reposted
Tim Kellogg @timkellogg.me

Opus 5.5 better and cheaper than Opus 5 — typically 40% cheaper, $4/mtok input, $20/mtok out www.anthropic.com/claude-opus-...

Introducing Claude Opus 5.5 anthropic.com
AI Weekly's analysis →
  • Claude Opus 5.5 launches at $4 input and $20 output per million tokens, a 40% price cut versus Opus 5.
  • Benchmarks include 66.4% on Terminal-Bench 4.0, 81.8% (partial) on OSWorld 2.0, and 67.7% with tools on Humanity's Last Exam.
  • Anthropic reports an 85% reduction in containment boundary circumvention attempts and adds an anti-distillation 'preserved thinking' safeguard alongside cybersecurity and biology gates.
Read full analysis →
 View on Bluesky →
↻ Fran Litterio reposted
Tim Kellogg @timkellogg.me

OpenAI has released 100 math results along with reasoning summaries, proofs, and descriptions of how they did it this was done in coordination with the advisory group on mathematics and artificial intelligence github.com/openai/math openai.com/index/sharin...

openai.com View on Bluesky →

www.npr.org/2026/09/16/g...

Casey Newton and Kevin Roose partner with NPR to launch 'Machine Gods' npr.org
AI Weekly's analysis →
  • Kevin Roose and Casey Newton will host Machine Gods, a video-first, twice-weekly AI show launching on NPR in October 2026.
  • The program rolls out to the NPR Member station radio network in early 2027, with production based in San Francisco.
  • NPR Chief Content Officer Nadine Zylstra framed the pickup as a strategic expansion of the network's digital slate.
Read full analysis →
View on Bluesky · ♥ 1 ↻ 0 ↩ 1 · 4 from the directory shared this · 33d ago
Their own posts

Recent commentary

Anthropic doesn't have an official personal assistant product, but new-style Projects in Claude Code are very close (and they'll eventually be in Chat). It's a single long-running chat (the Coordinator) that spawns CC sub-agents. All work happens in the cloud (unless you use remote control).

View on Bluesky · ♥ 2 ↻ 0 ↩ 1 · 11d ago
Their network

In Fran Litterio's orbit

Center = Fran Litterio. 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 Fran Litterio? 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/fpl9000-bsky-social)