There has been a recent number of submissions to wild proofs or theories generated with the help of AI. See [1] and [2] as examples. According to the LinkedIn

There has been a recent number of submissions to wild proofs or theories generated with the help of AI. See [1] and [2] as examples. According to the LinkedIn page [3] mentioned at the GitHub page, the author has bachelor degree in Communication from Boston College. Either the author is a self-made genius at the level of Ramanujan or has are rather superficial understanding of mathematics and is simply good at prompting the right AI agents. [1] https://news.ycombinator.com/item?id=46379409 https://news.ycombinator.com/item?id=46379409 [2] https://news.ycombinator.com/item?id=46430060 https://news.ycombinator.com/item?id=46430060 [3] https://www.linkedin.com/in/kristintynski/ https://www.linkedin.com/in/kristintynski/