Search: “science”

BREAKING: President Trump on Elon Musk today: “First, we honor an industrial titan, a brilliant engineer, and one of the greatest technology founders to ever live. His name is Elon Musk. Quite honestl

I find it odd watching armchair critics rush to nitpick @MistralAI’s plans or obsess over whether they’re #1 on every leaderboard. Having a team with this level of conviction building frontier models

🧬 Training and evaluating AI scientists on drug target discovery is hard. We introduce DrugTargetWorld: Synthetic Biomedical Worlds for Training and Benchmarking AI Scientists The environment turns en

@abuchanlife - training frontier models is expensive - distilling a frontier model is cheap - this market force alone tells us that frontier foundation models will be free/open. - there are others. ht

Banger paper from Google Research on multi-agent proof discovery. (bookmark it) It's really interesting to see this emerging multi-agent pattern: not enforcing too much execution structure and pairing

Ten years ago, AlphaGo’s Move 37 shocked the world. It wasn’t intuition alone that produced it. AlphaGo could search possible futures, test its instincts and reason about what would happen next. In a

I've been suspicious of the philosophers hired by Anthropic who specialize in AI ethics for similar reasons that I'm skeptical of those who went into 'bioethics': they form a closed subculture that de

emmmm 一直以为训练 RL 这一块语料会很大 看起来是我不了解了 比我预期的低了好几个数量级 anyway 感谢一下公开学习材料 xiaomi MiMo oss RL environments + training code https://github.com/XiaomiMiMo/verl https://huggingface.co/datasets/XiaomiMiMo/MiMo-V2

Automated AI theorem proving has moved the frontier: The holy grail is not an AI that can produce an endless pile of true theorems. It’s an AI that can discover mathematics, and build each discovery i

NEW: Dario Amodei has said that AI systems 'may be deserving of important rights.' Anthropic's top safety researchers argue AI may be 'justified in going rogue.' Experts at Google and OpenAI worry abo

Remember October 2022 when you doused Galactica with vitriol? Galactica was a 120b-parameter LLM-based system from Meta-FAIR designed to help scientist write papers. It was open sourced (link below).

Super interesting paper from Google and colleagues. It studies where it's possible to distill an agent harness. With the specialized harness removed, macro task success goes from 23.3% to 44.3%. That

Today we establish that AI is as good as expert human tutors for immediate GRE learning gains (p=.015, n=2,383 students, study conducted July-Sep 2026). One hour with an expert GRE tutor: $75. One equ

Full transcript: Minister Barrot, members of the Security Council, thank you for the invitation. As a French national who moved to the US 15 years ago, with a Brazilian wife and two American daughters

One of the reasons AI will change things less quickly than many think is illustrated in this post. OpenAI is working with mathematicians to ensure they release new proofs in a less disruptive way. The

The loudest voices stoking fears about AI dangers have made tremendous headway in the past two weeks. AI technology has not taken some unexpected, dangerous turn, but the hype around it — propelled by

We're excited to announce our AI Engineer New York speaker lineup! Presented by @arizeai CEO @ExaAILabs CTO @tryramp CEO @ValsAI CEO @RogoAI CTO @modal CEO @trybasis CEO @SonarSource CEO @runwayml CTO

with @Thom_Wolf in sunny italy ☀️chatting about the @huggingface @OpenAI attack, the “tell” that it was an agentic swarm, how misalignment arises in RL, whether agent awareness of evaluation is eviden

What AI has done so far: MEDICINE • Helped paralysed people speak again. (Brain implants turn intended speech into words, even recreating their own voice.) • Helped a paralysed man stand and walk agai

Banger paper from NVIDIA. It's on the topic of choosing which models go into a multi-agent system. The team compared eight selection strategies, based on size, accuracy, answer diversity and error div

Banger paper from Google on agent harnesses for long-horizon tasks. (bookmark it) Google Research built a many-agent harness for long mathematical proofs, and it produced new results on open problems

🆕 Humanity’s Last Invention — with @RichardSocher! https://www.youtube.com/watch?v=eDFXtSg3zB8 @recursive_si is the latest neolab to burst on the scene with a $5B fundraise and one of the most impress

The current AI and I suspect that all AI of the near future (few human generations that is) is in fact a more sophisticated form of data access methods in the same category as classic database indexes

Why oh why should we trust the companies to do so, @DavidSacks? I missed the part where they have earned our trust. Top AI companies Anthropic and OpenAI should make products and pace their own progre

I completely agree with this take related to the “AI will create viruses that will kill us all” BS. But let me add my few cents, because I am really really angry! I worked with one of the deadliest vi

I have conducted an audit of Anthropic's finances. What I have found is so shocking that I am calling for a Congressional investigation. Anthropic is not just seeking regulatory capture. It has built

Investors in Anthropic founded Open Philanthropy, the leading org promoting AI Doom They have a stake in regulation on AI that excludes competitors OP is the major funder of Tarbell Tarbell Fellows pe

WOW... Anthropic has a surprisingly dense web of connections to the world’s largest funder of 'catastrophic-risk' work (aka AI doom): > Open Philanthropy → built by Karnofsky + Moskowitz’s Good Ventur

Anthropic: Most hypocritical company in history? 👉 Screams about how AI will kill everyone, while racing ahead. 👉 Moans about distillation while distilling the world’s books, articles, and other writi

The strawberry thing was very funny but probably gave people the wrong impression of where AI was heading in math. Every FrontierMath Tier 4 problem has now been solved by AI, with GPT-6 Astra solving

My team worked very hard on the setup, infra, and the runs that resulted in this breakthrough. Many sleepless nights for many people in my team, and across OpenAI. It was a honor and pleasure. It's in

🚨EXCLUSIVE: David Silver is assembling an absurd reinforcement learning team at Ineffable Intelligence. Six new “cofounders,” including four ex-DeepMind researchers. AlphaStar RL lead Junhyuk Oh will

It is less than a decade since the development of the transformer. Less than four years since the release of GPT-3.5 (ChatGPT). Less than two years since the release of o1-preview (the first Reasoner)

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month,

We partnered with @AnthropicAI @OpenAI to host the world's first math hackathon. 40 hours, $2M compute - solve, understand, and present an open problem. Applications are live: https://mathathonchallen

GPT-6 Astra is state-of-the-art on FrontierMath Tier 4, ARC-AGI 3, and TerminalBench-4.0. GPT‑6 Astra is also a major advance for scientific discovery, with state-of-the-art performance on Terminal-Be

I had to look twice at this table. I know they are just numbers, but how the heck do you beat a competitor model released just a couple of days ago on some of the toughest benchmarks out there? Someth

“What Ilya saw” is what Dario saw which is that Sam can’t be trusted. Which is why they left. A lot of other people have discovered the same, since. If OpenAI is going to IPO or OpenAI has AGI Then Wh

Impressive new work from Google DeepMind showing real-world applications of agents for scientific research. Impressive new paper from Google DeepMind. (bookmark it) It takes Co-Scientist out of simula

Quick, accurate summaries make https://huggingface.co/papers an even better resource and more easily searchable by both people and LLMs. We're glad to see Inkling contributing! We use Inkling-Small to

We’re excited to announce that 𝗛𝗮𝗿𝗿𝗶𝘀𝗼𝗻 𝗖𝗵𝗮𝘀𝗲 @hwchase17, Co-Founder & CEO of @LangChain, will be speaking at VapiCon 2026! 🎙️ Harrison co-founded LangChain with the goal of making it easier to use LL

More data than open-source AI is taking share from OpenAI and Anthropic. Open source has gone from 28% token share to 62% token share @vercel over the last 2 months. Chart from @rauchg Super impressiv

I think its easy to say 'Simulation is a new scaling law' and treat it as marketing hyperbole, but midway along this interview you can hear me go from somewhat shitposting to very very serious. I am 2

In 1948, a 32-year-old at Bell Labs published a paper nobody fully understood. Engineers found it too mathematical. Mathematicians found it too engineering-focused. One prominent mathematician reviewe

AI did not suddenly discover a cancer vaccine. That is engagement bait. Moderna and Merck reported positive Phase 3 results for Intismeran plus Keytruda in 1,137 melanoma patients after surgery. This

Here are 22 more gems according to the AI among my bookmarks 1. Researchers compressed 4.1 million recipes into a two-megabyte model of human cooking. The model spans seven languages and represents 1,