https://mathoverflow.net/questions/454096/lattice-point-counts-on-determinant-variety
Please look at my question. Boost it, and if possible, answer it!
As an experiment, I recently tried consulting #GPT4 on a question I found on #MathOverflow prior to obtaining a solution. The question is at https://mathoverflow.net/questions/449361/elegant-recursion-for-a301897 and my conversation with GPT-4 is at https://chat.openai.com/share/53aab67e-6974-413c-9e60-6366e41d8414 . Based on past experience, I knew to not try to ask the #AI to answer the question directly (as this would almost surely lead to nonsense), but instead to have it play the role of a collaborator and offer strategy suggestions. In the end it did end up suggesting a useful method (as one of a list of eight possible approaches); I discuss this a bit more in an update to my answer on MathOverflow. I decided to share my experience in case it encourages others to perform similar experiments.
A discussion thread:
@JordiGH At least my browser doesn't display this formula correctly, it is equivalent to \( \overline \Xi / \Xi \).
There is a story about a famous mathematician who used \(\frac{\overline{\Xi}}{\Xi}\) in a talk to annoy Serge Lang (who was in the audience).
Source: Somewhere in #MathOverflow.
@tao From the same thread ...
https://mathoverflow.net/questions/38639/thinking-and-explaining#comment90487_38639
I don't post on #mathoverflow , but when i do
https://mathoverflow.net/questions/434279/two-credible-references-seem-to-differ-on-the-equivalence-of-induction-and-well
#linearorder #newfoundations #axiomofchoice #zornslemma #induction
#induction #zornslemma #axiomofchoice #newfoundations #linearorder #mathoverflow
A surprisingly "soft" question in #Mathoverflow, answered by the hardest of the hard:
First time I venture into #MathOverflow, with a relatively undergraddy question:
https://math.stackexchange.com/a/3188720/664348
I wonder my answer will survive.