Weeks ago: everyone got excited about the autoformalization of Erdös problems
Now: Graduated a few orders of magnitude to the autoformalization of multiple Fields Medal results with generated code that is ~10% (!) of the size of mathlib
RH will be solved in my lifetime 😀

We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24.
This is the only Fields Medal-winning result from this century to be completely formalized,

Math, Inc.

Twitter

Original Author: Changan, Amelia I Biteye Content Team

What? Someone used AI to trade cryptocurrencies and made 480 times their initial investment in 8 days?

Previously, the financial market was a hunting ground of information asymmetry. Retail investors lacked capital, but even more so, they lacked the computing power to process massive amounts of data, the energy to work 24/7, and the discipline to combat human greed.

Now, AI has become that "Archimedean fulcrum." As long as your logic is correct, AI is the lever that helps you leverage your wealth tenfold.

Below is a review of hardcore AI practical applications in four major financial markets. 👇

🌟Perpetual Contracts: 100 to...

AI Trading in Practice: 480x Return in 8 Days, 15%+ Gain from Geopolitical Crisis Arbitrage – How Can Ordinary People Replicate This?

RAVE Extreme Market Control Warning: 96% of the tokens are locked up by whale, and contract positions exceed spot positions, creating an epic short squeeze. Please be highly vigilant for the risk of a chain of liquidations on OKX and the possibility of the market maker dumping their shares at any time.

Dissecting RAVE's Market Manipulation Techniques

Trump's DeFi project, World Liberty Financial (WLFI), has just announced a key governance proposal involving approximately 62.28 billion Token, marking a new step in perfecting its allocation and control mechanisms...