开启时会模糊预览图，关闭后正常显示
Geoff Hinton on Boltzmann machines: “We thought we would win the Nobel in medicine for discovering how the brain works. We didn’t know we would win the Nobel in physics for not discovering how the brain works.”
Professor of computer science at UW and author of '2040' and 'The Master Algorithm'. Into machine learning, AI, and anything that makes me curious.
Putnam, the world's hardest undergrad math contest, ended 4pm PT yesterday. By 3:58pm, AxiomProver @axiommathai autonomously solved 8/12 of Putnam2025 in Lean, a 100% verifiable language. Last year, our score would've been #4 of ~4000 and a Putnam Fellow (top 10 in recent yrs)
The William Lowell Putnam Exam is the world's most prestigious university competition. The median score is often 0. Axiom is a 4-month-old startup in Palo Alto. We're building the starting point for reasoning: an AI mathematician. Lean is a 100% machine verifiable language.
Liked this story? Follow me here @sobedominik for more. Also check out my newsletter where I occasionally share my startup lessons in even more detail. Ups and downs included ツ https://t.co/FNU2RWDWQ9
⚡ Founder & 🌊 Surfer bootstrapping SaaS. ✍️ Notion ➯ Help Center @HelpkitHQ 💰 Reddit ➯ Customers https://t.co/3kdqfXzlsK🔋 Battery ➯ Alerts https://t.co/cX8QhAoG55
"The...research paper...finds that software engineers at a large e-commerce company received about 20 percent more feedback on their code when they sat in physical proximity to colleagues, and that the feedback disproportionately benefited younger workers and those newer to the company." https://t.co/YU331ED3eb
Dir., Office of Personnel Management (previously, MP at a16z); Author of Secrets of Sand Hill Road; father of three amazing/crazy/beautiful girls.
Want to build a lean, profitable, expertise-driven business you love? I show 175,000+ entrepreneurs one tip on how to market themselves every Saturday. 4 minutes or less every time. Join for free here: https://t.co/HM6RnrwvxI
The $10M Solopreneur | Helping 100,000+ experts turn their experience and expertise into income at https://t.co/27OAdtwR6D
seriously, look at these commits and tell me, with a straight face, that I'd be able to be that productive without AI I still remember that famous guy who blocked me for daring to say AI boosts my productivity btw I've also been playing lol, and just finished hunter x hunter
Kind / Bend / HVM / INets / λCalculus