🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Feyntron.com is actually one of my favorite domains I own :)

Problems like Fermat's Last Theorem or the Riemann Hypothesis are the Beatles hits of math: huge crowd-pleasers that are easy to grasp but really hard to master.

Google had everything: the transformer, massive compute, access to data, even Google Books - yet OpenAI beat them to the LLM gold rush. Having the pieces isn't the same as playing the game.

Imagine being a brilliant mathematician and still avoiding the most important problems because your career depends on publishing frequent papers, not solving the biggest mysteries in the world. That's why you can't do things like this in academia.

Someone needs to build this

Imagine an alien watching Earth from the Moon with a telescope. For thousands of years: no signs of humans - just forests, oceans, clouds. Then around 1700 (~300 years ago), cities, roads, and lights appear. Exponential progress is invisible... until it’s not.

Just tested Grok 4’s physics simulation skills. Uploaded a screenshot from SpaceX’s keynote showing Starship’s Earth→Mars orbit. Asked it to simulate the return trip and it nailed it on the 1st try.

There are people walking around literally powered by nuclear energy. Cyberpunk is real.

3,295 authors on Gemini 2.5 paper. Just ~1,800 shy of the Higgs discovery paper's 5,154 - the record-holder for most co-authors. The rise of AI isn’t just technological, it’s transforming how scientific collaboration is done, at scale.

Grok in context is great for triggering curiosity rabbit holes from X posts. Like: How long could a straw be on Mars? Just 16.2 cm - any longer and you can’t sip!

Tao’s key point on recent AI IMO results: Without tightly controlled, standardized test conditions, we can’t meaningfully compare AI models to humans. Format changes like time, collaboration, filtering outputs can inflate scores by orders of magnitude.

.Strava's gamification is so good, it makes it hard to stop running - even when you're injured

Relationship Between 2025 International Mathematical Olympiad Scores and National GDP

"Programming needs to be learn in part by the act of typing" DHH. That really hit home. In Physics, one of the best ways to learn a concept is to code it into a simulation. Feynman said it best: "What I cannot create, I do not understand"

AI beating humans at math olympiads is the natural sequel to conquering games. Some math problems are games: find the proof = save the princess. Physics is messier. Sometimes the real challenge is picking the right board. Does your model even match reality?

The moment I found myself ranting about token prices in AI models like my grandma did about egg prices... I knew I’d crossed a line.

Just spoke with a bald AI researcher who thinks we'll reach AGI before we cure baldness

Google Maps might be the only app where a UI mistake can cost you your life. Humans shouldn’t be deciphering “Recalculating…” while navigating a 6-exit interchange. This is what self-driving should solve.

Genuinely curious: if you're working on AI, why do it in academia instead of industry? What are the biggest reasons for staying in the academic track? Would love to hear your take

Wild how many Grok mentions show up under Fermat's Library posts, all sparked by pure curiosity. I truly believe everyone can love physics and math. The secret is revealing the hidden beauty most never knew was there.