Google has announced a new project called Antigravity, but it's not about defying physics. Instead, it appears to be an AI system for analyzing and generating complex mathematical proofs. --- Why it matters: This matters because developing more efficient methods for mathematical proof generation could have significant implications for the field of formal verification in AI. Source: https://deepmind.google/blog/introducing-google-antigravity/