It’s a nice reformulation, but the main problem is not the extra affine constraints, but the doubling of the dimension of the PSD variable, and this you cannot solve.

I think the best solution still is to handle complex numbers directly. Note that SeDuMi is not the only solver that can handle it, Hypatia can also do it and it’s a much better solver.

]]>https://arxiv.org/abs/2307.11599 ]]>

Isn’t that the objective of A (Super) I developers? Or are you speaking about AI species…? ]]>

Theorem: All integers are uninteresting.

Proof: Indeed, let us assume that there are interesting integers. Then there must be an integer which is the smallest among the interesting ones, which is therefore the smallest interesting numbers. Well, who cares?

Indeed. It would be very scary indeed if a newborn AI could already write on the level of one of the greatest writers we ever had.

]]>It’s some kind of a relief, though, that chatGPT failed to adequately emulate his writings.

]]>The story ends with the monk’s face contorting in despair as he realizes: “the only number so far…”

]]>A more mundane way of confronting it is to “demand” a rigorous definition for ‘interesting’. ]]>

Thank you kindly for your contribution to the community and for your very nice post on your journey–it was a great read.

]]>