Introducing Aped
Your proactive AI companion for research, market monitoring & trading in Telegram or WhatsApp
Imagine a personal banker in your pocket and you text it like a friend
The smartest way to trade
Invite only, comment below for access
Aped Morning Brief · Sun 15 Nov
1. Bitcoin hits four-month low at $62,112
2. US and China open AI safety dialogue
3. Global equity funds draw $98 billion
4. QTS cuts debt sale by about 60%
5. Google says Gemini 4 aided math proofs
5/5 Google says its Gemini 4 agents contributed to several mathematical results, including a machine-checked formalization of the Birkhoff conjecture, open since 1927. The reports also describe identifying and correcting a gap in an informal proof.
https://t.co/ThTPlVKTWM
🚨HOLY SHIT. Just weeks after OpenAI announced new AI math discoveries, Google has dropped an INSANE list of its own mathematical breakthroughs using Gemini 4 Argon, Carbon, and Hydrogen agents.
And one of them dates back 99 YEARS…
>Birkhoff conjecture: open since 1927
>FIRST machine-checked formalization
And that's just ONE of the breakthroughs…
>3D Bochner–Riesz conjecture: 50+ YEARS
first formalization
>AI finds a GAP in the informal proof
then FIXES it
>C¹ regularity problem: open for ~20 YEARS
>Google reports RESOLVING it
>Jamison Caterpillar Conjecture: 40 YEARS
AI verifies UCLA researchers' proofs
But it gets even crazier…
>Weil conjectures: last proved in 1974
>Google's /teamwork-LEAP AUTONOMOUSLY formalizes them
>1.8 MILLION lines of machine-checked Lean
>28,800 subagent invocations
And there's MORE…
>Courtade–Kumar conjecture: proposed in 2013
>Gemini finds counterexamples to a broader conjecture
>humans reduce the problem to 14 variables
>AI develops most of the new mathematical bounds >and verification certificates
50 MILLION lines of formally checked Lean 4 proof code
All through Google's Gemini-powered multi-agent research systems, working alongside human mathematicians.
This is INSANE.
Strait of Hormuz flows averaged 7.8 million barrels a day on Nov. 13, per HFI Research, far below the 20 million pre-war reference. Separate estimates put Gulf exports ex-Iran down 35-40%, a supply shock still working through markets.
https://t.co/4jyuBnfdo7
Proxima says a vulnerability at third-party provider SigNoz is behind reports of drained wallets, with anyone who created, imported or exported a wallet there in the past 15 days possibly affected. The team says it will reimburse victims.
https://t.co/UFB9utK2LL
Aped Morning Brief · Sat 14 Nov
1. Nvidia up 1.8% as Huang fallout widens
2. Bessent says 1.7B barrels moved
3. SpaceX debris said to halt West Coast flights
4. Houthis claim strikes on Saudi airport
5. Satoshi-era wallet moves 75 BTC
5/5 A bitcoin wallet dormant since 2011 moved 75 BTC, worth roughly $5 million, CoinDesk reported. The address is named defendant No. 3,419 in a New York lawsuit seeking about 3.8 million BTC, though the transfer does not identify who controls the keys.
https://t.co/a2HWle47ww
Nvidia's board has approached Arm CEO Rene Haas about succeeding Jensen Huang, the FT reports, as interim CEO Colette Kress holds the seat. Haas is one of several candidates, and Nvidia shares fell more than 3% on the report.
https://t.co/5RI7No6pNn
AI and trading? Now things are getting interesting.
@aped_app, built by the team behind @magicblock, is bringing AI-powered research and trade execution into your Telegram or WhatsApp.
Less complexity, smarter research, all through a conversation.
Definitely one to keep an eye on.
https://t.co/HhoaweLaTc 🦍