wintercarver
Joined 8 years ago
Karma
376
Submissions
103
Member since
May 8
Generally curious. @wintercarver on twitter or [email protected].
View on Hacker NewsJoined 8 years ago
Thought this was pretty fascinating!
https://x.com/profbuehlermit/status/2093630309585531033?s=46
Is quite nascent, but with the jacobian conjecture news (amidst other recent AI-driven results) and odds that folks may go burn some AI credits on trying their hand at random open problems, I thought I'd share.
You can clone the repo and have your agent review some of the styles or prompt guide summary to try and refine an approach.
Also, shoutout to Fabrice, creator of Kanji Koohii -- that was my first foray into SRS back in ~2007/2008, after which I found Anki (pre-mobile).