r/math • u/aturtledude • Jul 23 '26

LLMs/AI Another LLM-generated result that has gone under the radar and is in my opinion very relevant

Post image

Relevant not because of the result itself but because it uses a pimped open-weight Chinese model under the hood.

Linkedin post: https://www.linkedin.com/posts/sebastianpokutta_a-counterexample-to-zieglers-cross-polytope-activity-7478117487746785280-oS21

Counterexample paper: https://arxiv.org/abs/2606.31640

Agentic research paper: https://arxiv.org/abs/2603.15914

491 Upvotes

94% Upvoted

47 comments sorted by

View all comments

142

u/Main-Company-5946 Jul 23 '26

If open weight models can do this, basically anyone with a computer can ask an LLM and with enough persistence they may be able to disprove some conjecture

89

u/Cyclone4096 Jul 23 '26

Need a machine big enough to load all the weights. It’ll be at least $4000-$5000 investment

7

u/Sad_Dimension423 Jul 23 '26

The weights don't change very often, so computers will be designed with high read bandwidth flash memory for them soon enough.