
chari
3.9K posts

chari
@anchari
Entrepreneur, technologist, lapsed physicist, founded Tropos Networks. https://t.co/c1cEmxnUGe



Thrilled to share: #Aletheia, our math research agent, just solved 6/10 notoriously hard FirstProof problems autonomously, the best result in the inaugural challenge! To me, this is even bigger than our historic IMO-gold achievement last year; these problems challenge even top mathematicians. We share our results transparently, see paper and full thoughts in the thread. 👇













We’re launching Astera Neuro, a new neuroscience research effort led by @doristsao as Chief Scientist. Our aim is to unravel a profound scientific mystery: how the brain transforms sensory inputs into conscious experience. Advancing this work could illuminate the computational principles that drive perception and cognition and inspire approaches for neuroscience-informed AI research, potentially generating new pathways to AGI. Astera will support this work with $600M+ over the next decade. Read more: astera.org/neuroscientist…


And of course all of this reminds me again of one of my favourite episodes of Chinese Whispers I've ever done: a fierce, substantive debate between @hsu_steve and @RyanFedasiuk. Have America's export controls backfired? podcasts.apple.com/au/podcast/hav…



