Firehose

Filtered to tagged “Computational complexity” · clear filters

Browse: People · Companies · Papers · Podcasts · Hacker News

All PeopleCompaniesPapersPodcastsHacker News

Browse by tag

artificial intelligence 43open-weight models 26agentic coding 20AI 14reinforcement learning 14AI safety 13continual learning 13AI agents 10cybersecurity 7large language models 7open-source 6Reinforcement learning 6benchmarking 5finance 5tech 5web development 5Agentic AI 4AI ethics 4autoregressive models 4Diffusion models 4language models 4Recursive self-improvement 4security 4vision-language models 4AI infrastructure 3AI security 3Code generation 3diffusion models 3diffusion transformers 3general 3
3 JUN 2026 · Podcast · Latent Space: The AI Engineer Podcast

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Carina Hong, CEO of Axiom Math, discusses the company's recent $200M Series A funding and their perfect Putnam exam score, highlighting their mission to scale "verified AI" through formal mathematics. She explains how formal verification, u…

Formal verificationAI for mathLean proof assistantMathematical discoveryPutnam examHardware verificationSoftware verificationRecursive self-improvementAI agentsTransfer learningAuto-formalizationCode generationComputational complexityReinforcement learningKnowledge graphsInterdisciplinary teamsStartup funding
15 MAY 2026 · Podcast · Dwarkesh Podcast

Eric Jang – Building AlphaGo from scratch

Eric Jang explains how to build AlphaGo from scratch using modern AI tools, detailing the game of Go's rules and the core Monte Carlo Tree Search (MCTS) algorithm. He describes how deep neural networks, specifically value and policy network…

AlphaGo developmentGo game rulesMonte Carlo Tree SearchDeep learningNeural networksReinforcement learningSelf-play trainingComputational complexityScaling lawsAutomated AI researchLLM trainingRobotics RLGame theoryOff-policy trainingOn-policy training