After AxiomProver got Putnam perfect score, we felt like it’s the right time to move forward from math Olympiads to “adult” math - research!
We also feel like it’s crucial to choose a theory-building domain.
The first modest test case for the quest of an AI mathematician.

1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance.
This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.

Axiom

Twitter

Crypto-native brand Pudgy Penguins is hosting a pop-up Valentine's Day event in New York City, complete with a plush bouquet.

Pudgy Penguins Hit New York City With Valentine's Day Pop-Up Event

In its assessment of the potential impact of quantum computers on Bitcoin, cryptocurrency asset management company CoinShares stated that the threat is not a “near crisis” but a “manageable risk.”
Acc...

Can Satoshi Nakamoto’s Bitcoin Passwords Be Cracked? Is This Why the Market Is Falling? Analysis Company Reveals the Truth

At a conference dedicated to the riskiest traders in finance, Miami's crypto scene appeared far different than during its pandemic-era boom.