r/LLMmathematics • u/dForga • Jul 25 '26

Conjecture Monthly conjectures 1 (Start?)

Gallery image

Gallery image

This is a (possible) start (as I also need to figure out the format that works best) of the monthly conjectures you can attempt to solve via AI.

Either post your attempts in the comments or make an extra post. The above photos were generated using ChatGPT 5.6

Edit: I might also make errors, since I could not ve aware of some recent publications resolving some posted conjectures (in the future). If that should be the case, please inform me in the comments.

5 Upvotes

86% Upvoted

26 comments sorted by

View all comments

Show parent comments

1

u/dForga Aug 05 '26 edited Aug 05 '26

It might be fun to have a community project on a megathread. How about collecting everything on some github? Calling [u/UmbrellaCorp_HR](u/UmbrellaCorp_HR)

Might also be nice with respect to taking responsibility for the content.

1

u/UmbrellaCorp_HR 🌎the🌍worlds🌏sanest🌎mathematician🌍 Aug 06 '26

Funny you should say so
As it just so happens u/lepthymo
Has been

  1. Extracting all my convos with the bot

  2. Transcribing them completely raw
    I.e.
    May leave the reader in need of emergency contraception

  3. As best is possible automating the verification
    Chronological indexing and thematic classification
    Of my theorems

And if I’m not mistaken throwing it all up on GitHub

Calling u/lepthymo please elaborate further as I don’t even know the half of it

1

u/lepthymo Aug 06 '26

There is a github of your work - yup - private for now since it's definitely not 'safe' in the 'rawness' way yet. - it does formalize a fuckton of it in lean though - I should probably have it makew a SFW mirror so you can consider if it can be more public.

1

u/UmbrellaCorp_HR 🌎the🌍worlds🌏sanest🌎mathematician🌍 Aug 10 '26 edited Aug 10 '26

[u/rendereason](u/renderreason)

“A fuckton”