dmweinhold

4 ms·

1. 1.▲
   by dmweinhold 7mo ago

   Not yet! We just finished this proof this week - as I'm a non-theorist I want to figure out if the proof passes human scrutiny before submitting it to a serious journal, and be totally transparent about how the proof came to exist. Wit
2. 2.▲
   How a Non-Theorist and Two AIs Proved a Theorem(papers.ssrn.com)

   2 points by dmweinhold 7mo ago|3 comments