Re:Terence Tao, "Machine Assisted Proof" [video]
by wenc on Thursday February 15, 2024 @01:37AM
(#39379787)
Sure. Just ask ChatGPT 4 (not the free 3.5) to help you formulate some simple MIP constraints.
My prompt was: (and it gave me the right answer)
"I have to formulate an MIP. I have a list of items i \in I each belong to groups g \in G. They are related by a static parameter G_{ig} which says if i in g, then 1 else 0. I want each item i to be freely and independently assigned to slots c \in C. However I want to keep items i together with other items in the same group if possible -- it's a soft preference.
My prompt was: (and it gave me the right answer)
"I have to formulate an MIP. I have a list of items i \in I each belong to groups g \in G. They are related by a static parameter G_{ig} which says if i in g, then 1 else 0. I want each item i to be freely and independently assigned to slots c \in C. However I want to keep items i together with other items in the same group if possible -- it's a soft preference.
How do i write the mathematical MIP formulation?"