Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun) | Hacker News - But Better

Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun)youtube.com

2 points•mindcrime•about 3 hours ago•1 comment•

#ai #proof #fun #worked #revise #jay #cummings #jay cummings

1 comment

eventhelixabout 2 hours ago

Quick question: Did AI prove the theorem in Lean 4?

Read the full thread on Hacker News →

Related stories

The SaaSpocalypse that wasn’t, with Atlassian CEO Mike Cannon-Brookestheverge.com
The Verge · 0 points · 3 days ago
Can you forget how you feel about Meta?theverge.com
The Verge · 0 points · 10 days ago
Can Cloudflare CEO Matthew Prince save the web from AI?theverge.com
The Verge · 0 points · 5 days ago
Can John Ternus find Apple’s next big thing?theverge.com
The Verge · 0 points · 10 days ago
Show HN: Training a model to identify AI web content from structure alonearxiv.org
Hacker News · 73 points · 9 days ago
Inside our months-long investigation into Kevin O’Leary’s Utah data center debacletheverge.com
The Verge · 0 points · about 11 hours ago