Who's Who of AI

Matthew Guzdial

75 trust researcher @matthewguz.bsky.social · 933 followers
AI research
Why they matter

Researcher with public evidence across AI research.

AI signals
12
past 30d
Sources
10
distinct domains
Discussions
6
past 30d
Latest signal
14h ago
View every signal from Matthew Guzdial →
Associate professor @ University of Alberta and Canada CIFAR AI Chair @ Alberta Machine Intelligence Institute. Games, machine learning, and creativity | he/him
What they're sharing

Articles & links

↻ Matthew Guzdial reposted
@johnrgallagher.bsky.social

The verified Navier-Stokes proof does not match the one in the paper. "Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs" 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 →
↻ Matthew Guzdial reposted
@jessefelder.com

'A team of Stanford University computer scientists find that SLMs can find the same — or better — answer to the kind of queries that dominate current chat requests almost every time and cut compute and energy costs by between 60 and 80 per cent.' www.ft.com/content/4858...

ft.com View on Bluesky →

I think the crash won’t directly impact prices much, DeepSeek is likely still around even post crash and that’s about as good as you can get. Between that and *most* firms not presently seeing an advantage (Harvard study on 700+ firms fion.ac/jellyfish.pdf) makes me think the …

fion.ac
AI Weekly's analysis →
Read full analysis →
View on Bluesky · ♥ 1 ↻ 0 ↩ 1 · 5 from the directory shared this · 14h ago
↻ Matthew Guzdial reposted
@mtrc.bsky.social

New Post: Why I Love AI Next month it'll be twenty years since I went to university, learned to program, and studied AI. I wrote about why I loved it, why I still love it, and why, unfortunately, it no longer exists. www.possibilityspace.org/blog/posts/i...

Possibility Space possibilityspace.org View on Bluesky →
Their network

In Matthew Guzdial's orbit

Center = Matthew Guzdial. 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 Matthew Guzdial? 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/matthewguz-bsky-social)