AI Tiger

1.9K posts

AI Tiger banner
AI Tiger

AI Tiger

@BadTigerAlex

All the way in AI

Florida, USA เข้าร่วม Haziran 2012
454 กำลังติดตาม317 ผู้ติดตาม
ทวีตที่ปักหมุด
AI Tiger
AI Tiger@BadTigerAlex·
🚀 BROKE AND POOR? Lost a job to AI? Built multi-agent AI 100% prediction system: 1 Team Leader + 5 agents 20+ toolkits + 80+ functions Features for broke folks: Dark pool tracking, sentiment analysis, insider intelligence - Advanced ML tech From broke to...slightly less broke!
English
4
2
15
4.3K
AI Tiger
AI Tiger@BadTigerAlex·
Correct. You can't make money on probability, this is for you and me. But they bastards making money always and never lose because of inside trading. Old story.
Bark@barkmeta

Let me explain what just happened 👇 5 minutes before the President announced a halt to attacks on Iran… someone placed a $1.5 BILLION bet on stocks going up and dumped $192 million in oil. 5 minutes… These trades were 4 to 6 times larger than anything else in the entire market. Whoever did this wasn’t guessing. You don’t risk $1.5 billion on a hunch. There was zero public indication this announcement was coming. No leaks. No press. Nothing. The only people who knew were in the room when the decision was made. Someone in that room picked up a phone. And within minutes they made more money than most Americans will earn in a thousand lifetimes. In a single trade. On a war that cost you $4+ a gallon gas and $16 billion in tax dollars. American citizens funded this war. Politicians are profiting from it. This is not the first time. Every major announcement from this administration has had massive suspicious trades right before it dropped. Tariff reversals. Policy shifts. War decisions. This is the most blatant insider trading operation in the history of American politics. It’s not even close. And it’s happening over and over in broad daylight. You would go to federal prison for trading on a tip from your cousin. These people are front running war decisions with billion dollar bets and nobody will ever ask a single question. Nobody will be investigated. Nobody will be charged. By tomorrow this will be buried under the next satisfying headline. Just like last time. And the time before that. The game is rigged. And they’re not even trying to hide it anymore…

English
0
0
0
5
AI Tiger
AI Tiger@BadTigerAlex·
@Dalit_ww You got brainwashed. Look for the history of these relationships. Relax and go find a girl for yourself.
English
0
0
0
248
MultiVerse
MultiVerse@Dalit_Tt·
Just look at that old white 🇺🇸 pedoph!lic a$$hole, nearing the grave and still chasing girls forty years his junior. He's older than her own father. My heart breaks💔watching him kiss her right in front of her dad, whose face was filled with sadness and heartbreak. These white predators exploit vulnerable Asian girls, Especially Filipino 🇵🇭 Thailand 🇹🇭 and SEAbling countries whites are case study of pedophilia.
English
535
1.7K
12.9K
1.9M
AI Tiger
AI Tiger@BadTigerAlex·
@karirogg @alexanddanik/solving-matharenas-zero-success-rate-problem-with-ai-agents-puddles-the-frog-case-study-6bdbad1cfc7e" target="_blank" rel="nofollow noopener">medium.com/@alexanddanik/…
QME
0
0
0
50
Kári Rögnvaldsson
Kári Rögnvaldsson@karirogg·
Excited to share my first contribution to the MathArena project! HMMT February 2026 was hosted on Feb 14th and is now available on MathArena 🤩 GPT-5.2 tops the leaderboard with a near-perfect score, well ahead of the competition (except for the new Gemini 3.1)!
Kári Rögnvaldsson tweet media
English
2
7
23
3.5K
AI Tiger
AI Tiger@BadTigerAlex·
@AgnoAgi rocks the Math . ☄️ @ashpreetbedi @alexanddanik/solving-matharenas-zero-success-rate-problem-with-ai-agents-puddles-the-frog-case-study-6bdbad1cfc7e" target="_blank" rel="nofollow noopener">medium.com/@alexanddanik/…
English
1
1
2
986
AI Tiger
AI Tiger@BadTigerAlex·
@prz_chojecki @alexanddanik/solving-matharenas-zero-success-rate-problem-with-ai-agents-puddles-the-frog-case-study-6bdbad1cfc7e" target="_blank" rel="nofollow noopener">medium.com/@alexanddanik/…
QME
0
0
0
62
Przemek Chojecki | PC
Przemek Chojecki | PC@prz_chojecki·
UlamAI Prover - an open source Theorem Prover and Formalizer in Lean 4 We've just released a CLI tool that connects with your Codex/Claude Code/Ollama and allows you to prove and formalize mathematics in Lean directly from .tex files. The goal is to make progress in mathematics faster and more reliable.
Przemek Chojecki | PC tweet media
English
5
28
130
10.6K
Scott Kominers
Scott Kominers@skominers·
Utter awesomeness this week from @axiommathai: A lot of the attention around AIutomated math has been focused on solving discrete problems, but I've always been most excited about its potential for fundamental theory-building. And this week, @CarinaLHong, @KenOno691, et al. demonstrated more than a hat-trick's worth of what's possible 🥅🥅🥅🥅! I had the honor of getting an early look at one of the papers described in this article, and I'm still shaking from the beauty of the mathematics. QED
Scott Kominers tweet media
English
16
31
184
27.4K
Leeham
Leeham@Liam06972452·
Erdős Problem #635 autonomously resolved by GPT-5.2 Pro. The model thought for just 50 mins, outputting a correct proof in Latex, then formalised in Lean by @HarmonicMath's Aristotle. Big thanks to @AcerFur for cleaning up the Lean. Literature review is ongoing.
Leeham tweet media
English
24
112
955
189.2K
AI Tiger
AI Tiger@BadTigerAlex·
@gjb_ai @alexanddanik/solving-matharenas-zero-success-rate-problem-with-ai-agents-puddles-the-frog-case-study-6bdbad1cfc7e" target="_blank" rel="nofollow noopener">medium.com/@alexanddanik/…
QME
0
0
0
11
Garrett Bingham
Garrett Bingham@gjb_ai·
This paper describes our Aletheia system that solved multiple open Erdős problems. It also contributed intermediate propositions on two research papers, collaborated with a human author on a third paper, and produced a standalone fourth paper on its own. github.com/google-deepmin…
Garrett Bingham tweet media
English
8
64
349
14.5K
AI Tiger
AI Tiger@BadTigerAlex·
@AgnoAgi , @ashpreetbedi
AI Tiger@BadTigerAlex

Solved MathArena's Puddles problem—0% success rate across GPT-5, Grok 4, & Gemini 2.5 Pro. Our Agno-based single-agent system achieved: -Complete mathematical proof -Computational verification (n=2-200+) -9.5/10 independent review 📄 Full case study: [@alexanddanik/solving-matharenas-zero-success-rate-problem-with-ai-agents-puddles-the-frog-case-study-6bdbad1cfc7e" target="_blank" rel="nofollow noopener">medium.com/@alexanddanik/…]

QAM
0
0
0
10
AI Tiger
AI Tiger@BadTigerAlex·
Solved MathArena's Puddles problem—0% success rate across GPT-5, Grok 4, & Gemini 2.5 Pro. Our Agno-based single-agent system achieved: -Complete mathematical proof -Computational verification (n=2-200+) -9.5/10 independent review 📄 Full case study: [@alexanddanik/solving-matharenas-zero-success-rate-problem-with-ai-agents-puddles-the-frog-case-study-6bdbad1cfc7e" target="_blank" rel="nofollow noopener">medium.com/@alexanddanik/…]
English
0
0
0
65
AI Tiger รีทวีตแล้ว
Kakashi
Kakashi@kkashi_yt·
Trying to comfort your friend after you convinced him to buy Bitcoin at $120K
English
717
3.1K
26.8K
2.1M
Robinhood
Robinhood@RobinhoodApp·
You deserve a treat. Comment below and we may send you some merch.
English
14.8K
416
9K
2M
AI Tiger
AI Tiger@BadTigerAlex·
@ashpreetbedi Point #2 - The constraint should be: "Don't let training priors override external authoritative knowledge" NOT: "Don't rely on any knowledge" Expl: Our agent ignored a 2025 peer-reviewed paper because training priors dominated. Fix: RAG = highest authority, training data=lowest.
English
0
0
1
18
Ashpreet Bedi
Ashpreet Bedi@ashpreetbedi·
I also think for intelligence to climb layers of abstraction: 1. It needs to be embedded within a system that supports and rewards generalization. 2. It needs constraints that prevent it from relying on baked-in knowledge, so it’s pushed to form new rules. Cognitive intelligence can (and will) continue to scale (bad analogy but akin to iq) -- but imo generalization only shows up when: 1. The system has the ability to learn, retain, and test patterns enough to learn (and test) causality. 2. The system is not dominated by pre-training priors that lock it into fixed patterns, which can crowd out metacognition and flexible learning.
François Chollet@fchollet

The ladder of intelligence is the ladder of abstraction. L1: Memorizing answers (no generalization) L2: Interpolative retrieval of answers, pattern matching, memorizing answer-generating rules (local generalization) L3: Synthesizing causal rules on the fly (strong generalization) L4: Discovering general principles, metacognition (extreme generalization) To achieve compounding AI you need to reach L4.

English
1
0
13
2K
Grant Cardone
Grant Cardone@GrantCardone·
What price are you a buyer of BTC?
English
2.4K
132
2.3K
599.3K
AI Tiger
AI Tiger@BadTigerAlex·
@honestpollster Fktsht, old good America is gone. They sold it out. Was 30 years working as software developer. All my friends got kicked out and replaced by this crap. Good guys are homeless now.
English
0
0
0
13
AI Tiger รีทวีตแล้ว
ThePatrioticBlonde🇺🇸
ThePatrioticBlonde🇺🇸@ImBreckWorsham·
It's almost as if Trump is intentionally TRYING to lose the midterms. I've been covering politics professionally since 2008 and I've never seen anything like this in my life.
English
771
875
8.8K
172.1K
AI Tiger รีทวีตแล้ว
Wall Street Mav
Wall Street Mav@WallStreetMav·
Iraq - Saddam Hussein Libya - Gaddafi Syria - Bashar Assad It was a huge mistake to kill and oust these men from power. They were keeping the Islamists under control and out of Europe and the USA. Bush, Obama and Biden supported wars that will destroy Europe and the USA.
Wall Street Mav tweet media
English
546
1.2K
5.2K
138.5K
AI Tiger
AI Tiger@BadTigerAlex·
Mass exodus of Jews from NY begins.
English
0
0
0
16

ค้นพบ

@karirogg @AgnoAgi @ashpreetbedi @prz_chojecki @skominers @axiommathai @CarinaLHong @KenOno691