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

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

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

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

2 points by mindcrime 14 hours ago | 1 comment

eventhelix 13 hours ago |

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