探索
Newest first — browse tweet threads
Keep on to blur preview images; turn off to show them clearly
RT @axiommathai: Putnam, the world's hardest college-level math test, ended yesterday 4p PT. Noon today, AxiomProver solved 9/12 problems…
@axiommathai : careers@axiommath.ai
Intelligence is compiling the test part of generate-and-test into the generate part. (Marvin Minsky)
Professor of computer science at UW and author of '2040' and 'The Master Algorithm'. Into machine learning, AI, and anything that makes me curious.
agree continual learning very top of mind, but people only seem to have questions and no strong answers other notable neurips takes (see also my subagent RLaaS comments earlier this week) - researchers* surprisingly dont care about: - Deepseek OCR - Muon/MuonClip - mechinterp - world models - post training (!?) - chinese labs - people are positive on - new arch: nested transformers, hybrid models (linear attn/SSMs/sparsity mixed with full attn) - nano banana - GPT-OSS - robotics - xAI, Anthropic - ilya deposition > ilya podcast - RL Envs and AI4Science overhyped? / hard to disentangle actual progress from funding excitement *outside obvious specialists on those particular areas. to be super clear this is NOT me saying they are overhyped, its what the sentiment was. i'm basically more positive than consensus on most of these, starting to feel like i have a different, informed view from specialized researchers and that feels good honestly.
achieve ambition with intentionality, intensity, & integrity - @dxtipshq - @sveltesociety - @aidotengineer - @latentspacepod - @cognition + @smol_ai
RT @CastelionCorp: We were recently highlighted in a @Forbes feature on next-generation defense companies. At Castelion, we’re building t…
Chicken Sexing @Cantos & Host @MotionBlurFM // Prev American Dynamism @a16z // Finding founders building the future
Favorite swag of NeurIPS has to be the Grok jersey from @xai. It was so fun to meet some of the incredibly hard-working team IRL and chat about how their models are improving so fast 👀
Partner @a16z AI 🤖 and twin to @omooretweets | Investor in @elevenlabsio, @krea_ai, @bfl_ml, @hedra_labs, @wabi, @WaveFormsAI, @ViggleAI, & more
Got nothing to do this Sunday? Here's a free course on how to acquire profitable startups. - Picking a niche - Investment thesis - Sourcing startups - Negotiations - Due diligence - Financing - Hiring developers - Growth tactics - Exit strategy Get started here free:
Founder and CEO of @acquiredotcom. https://t.co/wRMIssDmhl has helped 100s of startups get acquired and facilitated $500m+ in closed deals.
