AntiGravity has been proven and demonstrated in quantum weak measurement experiments!

 Here is the quote from the weak measurement experiment data:

In addition, our study indicates that the gravitational force can behave as a repulsive force because of the weak measurement.

 https://academic.oup.com/ptep/article/2019/4/041A01/5481146 as preprint https://arxiv.org/pdf/1804.09505.pdf

the amplification can be
negative, and this means that the gravitational force can
behave like a repulsive force. Qualitatively, this negative
amplification comes from the fact that the weak value
Eq.(7) can generally take both of negative and positive
values. Although this behavior seems to be unnatural
from the usual attractive property of gravity, our result
shows that a very small number of atoms actually feel
such a repulsive force due to the quantum effects....

  Then, we have also seen that the gravitational force can behave
as a repulsive force in response to a negative weak value.
This counterintuitive result is also one of the interesting
aspects of weak measurement.

and

In particular, this implies the possibility of gravitational repulsion rather than attraction within the weak reality.

 https://arxiv.org/pdf/2201.09510.pdf

Quantum reality with negative-mass particles