mrc88 @MarcCbtn

Terence Tao just published a 27 slide deck saying the AI math hype only shows you the wins.. every week you see a new post.. AI solved an open math problem.. Tao says that feed hides most of the story.. the failed attempts never get posted.. the compute bill never gets posted.. and most frontier problems are STILL unsolved.. then he went further.. blindly chasing more solved problems is now hurting math.. open problems were never the goal.. they were lighthouses.. the real value was everything mathematicians learned on the way there.. let AI jump straight to the answer and the whole journey disappears.. in 1976 Appel and Haken proved the four color theorem using a computer.. and many mathematicians refused to accept it because no human could check it by hand.. 50 years later the fear has flipped.. the computer is right.. but nobody understands WHY.. so Tao asks you one question.. if an AI cured cancer and passed every trial.. would you inject it before a single human understood how it works.. you spent centuries thinking math was about answers.. answers are now cheap.. understanding is the new scarce thing

keyboard_arrow_left Previous keyboard_arrow_right Next

@lunafuchs_2001 35

Linear Algebra Done Right (Undergraduate Text in Mathematics) [4th edition. Open Access] Download 404-page PDF here: linear.axler.net

Yann LeCun: we are not going to get human-level intelligence or AGI by just scaling LLMs. “There’s absolutely no way in hell.” “The idea that we’re gonna have a country of geniuses in a data center, that’s complete BS.” “It may feel like you have a PhD sitting next to you.” “But it’s not a PhD.” “It’s a system with gigantic memory and retrieval ability, not one that can invent solutions to new problems.”

This is an extremely good watch. The things that felt novel/interesting to me: 1. Lock down your agents Humans tend to like 'sharp knife' abstractions - that are powerful, but you can cut yourself if your use them wrong. Lauren says agents perform much better in extremely locked-down environments. Abstractions are designed so they can't screw up, and lint rules enforce it. They built a whole internal framework (Dune) to keep the agent on track. That helps optimise agents that don't have a large context window to work productively in your codebase. 2. Create verification infrastructure To trust the results of any agent, you either need to sit and watch it OR have it provide evidence of its improvement. This has always made sense to me, but Lauren really pushes it hard here: - Invest in custom CLI's that let the agent drive the app and measure its performance - Make the app "factory ready" from the get-go - i.e. deployable to an environment where the agent can mess about with it 3. Feature Maps Lauren's software factory (what she calls an 'outer loop') often requires the agent to break down vague bug reports from users and to turn those into potential fixes. To aid that, they built a 'feature map' of all the main features in their application, which describe exactly how the app is supposed to function. This has become essential for helping the agent navigate the codebase, and figure out quickly how things are supposed to work. It's maintained along with the codebase, and kept in sync via automations. This is the kind of documentation I usually warn against. It goes stale quickly and can confuse agents if it's not kept up to date. But Lauren's team are using it as critical navigation infrastructure, and it makes it possible for agents to explore faster and better - even on a large codebase. So it sounds like navigation docs like this are worth it if they enable new behavior. Banger talk - watch the whole thing on 2x.

lauren @poteto

a month ago

here's how i shipped 2,500 PRs last month to production this was originally supposed to be for Cursor Compile in London. i couldn't make it since i was livestreaming for Grok @Bot Galaxy so i'm making it available for free here on X! watch it on 2x speed, i talk slowly

733 2K 20K 4.2M 35K

Understanding Data — A 21st Century Approach to Statistics and Data Science: amzn.to/45J2Xfx

Foundations of Large Language Models: arxiv.org/abs/2501.09223 [277-page PDF]

論文を読む人、全てに届けたい めちゃくちゃ有益すぎる資料はこちら👇 慶應義塾大学、渡辺宙志教授による 「論文の読み方」 speakerdeck.com/kaityo256/how-… 論文を読む時に、どこから、どのように どんな順番で読めば良いのか。全てこの資料に詰まっています。保存必須です。

keyboard_arrow_left Previous keyboard_arrow_right Next

Mathematician Terence Tao: "we have to slow down AI. the pace is insane, and there's no reason to be this fast — no reason at all" It's amazing how willing we are to change everything without any idea what happens afterward These are extremely nonlinear dynamics

🚨 BREAKING: Claude can now research like a Stanford PhD student. It can expose unlimited hidden research problems from top professors' papers in 60 seconds. Here are 15 insane Claude prompts to master research with Claude: 👇 (Save it. 📌 Don't start your PhD without these 15 cheat codes.)

Sam Altman (CEO of OpenAI): "You no longer need to write prompts." In just 38 minutes, he explains how to use ChatGPT at a level that most people can't even imagine. It's a talk he gave to Stanford students. A friend sent me the recording last night. After watching it, I realized I was only taking advantage of about 15% of what this tool can really do. Watch it in full and then read the guide I leave below on how to create a system that prompts itself. 🔥𝐀𝐜𝐜𝐞𝐬𝐬 𝐭𝐨 𝐚𝐥𝐥 𝐀𝐈 𝐭𝐨𝐨𝐥𝐬 𝐢𝐧 𝐨𝐧𝐞 : lnkd.in/eRbsWmgb

@sama this gae is more powerful, ya know. 😁

@urgrocerygoer MsJadeSO: why be miss universe, when you can be THE UNIVERSE?

Sakana AI、初の商用プロダクト「Sakana Marlin」発表　人間のリサーチ業務を代行 japan.cnet.com/article/352490…

LAPD shoots and kills a dog as the owner celebrates the Knicks' NBA championship. 🎥: FOX 11 Los Angeles

When deep research isn't enough for your business: Sakana AI launches 'ultra deep research' agent for 100+ page reports in 8 hours venturebeat.com/ai/when-deep-r…

Introducing MiniMax M3: The First Open-Weights Model to Combine Three Frontier Capabilities - Coding & Agentic Frontier: 59.0% SWE-Bench Pro, 66.0% Terminal Bench 2.1, 34.8% SWE-fficiency, 28.8% KernelBench Hard, 74.2% MCP Atlas - MiniMax Sparse Attention scales context to 1M - Natively Multimodal from Step Zero API: platform.minimax.io Token Plan: platform.minimax.io/subscribe/toke… 🚀New! MiniMax Code: code.minimax.io Weights & Tech Report in ~10 Days

@NaturalWorld515 China , obviously in Shanghai with those two towers.

PANOORIN: Sinagot ni Sen. Sherwin Gatchalian ang puna ni Sen. Loren Legarda na “unconstitutional” ang nangyaring reorganization sa Senado. “We respect her opinion, but matibay rin ang opinion ng Integrated Bar of the Philippines, ng association ng mga law school deans, at siyempre ng mga dating Senate president. Mas mabigat ang opinion nila dahil ang mga ganitong bagay ay pinag-aaralan nila,” ani Gatchalian. | via @GabGonzales42 Bisitahin ang gmanetwork.com/news para sa iba pang balita.