Image created with gemini-3.1-flash-image-preview with claude-opus-4.7. Image prompt: A centered Byzantine gold-ground mosaic apse enshrining a hammered-gold reliquary containing a double helix rendered as a twin gyre of goldsmith metalwork inlaid with purple and Aegean-blue tesserae, surrounded by iconic ornamental symbols of compass, crucible, and a halo of circuit-rings, warm candlelit sacral glow with visible grout and tactile surface grain, symmetrical iconic composition with generous negative gold-field space, the word ‘SCIENCE’ rendered in bold ivory-gold Trajan Roman capitals across the lower third, 16:9 landscape full-bleed.
If this is true, using the best public estimates we have of LLM resource use, solving this Erdos problem took 0.6-6.3 kWh of electricity and about 3-31 liters of water. So that is less than three almonds worth of water and the electricity equivalent of 2-20 miles of EV driving.
https://x.com/emollick/status/2057271533358162270
today was a massive day for protein engineering. esmfold2 dropped–next gen of the esm series, fully open on @huggingscience. 1.1 billion predicted structures, 6.8 billion sequences. 800m more entries than the alphafold db, and reportedly edging out alphafold3 on protein
https://x.com/cgeorgiaw/status/2059694583856927201
Rice and Baylor join BrainGate to develop brain-computer interfaces for people with paralysis
https://www.news-medical.net/news/20260528/Rice-and-Baylor-join-BrainGate-to-develop-brain-computer-interfaces-for-people-with-paralysis.aspx
Erdős problem #90 has been open for decades. Over the weekend a mathematician tested whether Claude Mythos could solve it. It did. But what caught my attention: Mythos didn’t replicate the known approach from OpenAI’s #1196 solution. It repeatedly settled on a different
https://x.com/kimmonismus/status/2059311386820289013
Announcing ESMFold2, our new state-of-the-art structure prediction model capable of predicting structure from single sequences or MSAs. ESMFold2 improves on benchmarks of protein-protein interaction and is particularly strong on predictions of antibody-antigen complexes.
https://x.com/proteinrosh/status/2059633089702240598
We are putting quantum inside the rack so customers can roll it in, plug it in’: The world’s first rack-mounted quantum computer is here — and it runs at -459 degrees Fahrenheit from a standard wall socket | TechRadar
https://www.techradar.com/pro/we-are-putting-quantum-inside-the-rack-so-customers-can-roll-it-in-plug-it-in-the-worlds-first-rack-mounted-quantum-computer-is-here-and-it-runs-at-459-degrees-fahrenheit-from-a-standard-wall-socket
Google Deepmind’s AlphaProof Nexus solves decades-old math problems for a few hundred dollars
https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars/
Our team at @AIatMeta is excited to announce ATLAS: one of the largest automated formalization efforts to date. ATLAS contains Lean 4 formalizations of both statements and proofs from 25+ mathematics textbooks, spanning dozens of domains, for a total of 500k lines of code. We
https://x.com/arnal_charles/status/2060009395107377282
Today we’re announcing ESMFold2, an open scientific engine to power prediction, design, and discovery across protein biology. The new model delivers state of the art performance on protein interactions, especially antibodies, a critical modality for therapeutics. We have
https://x.com/alexrives/status/2059611151860683097
A breakthrough by OpenAI in a very famous Combinatorics problem, the Planar Unit Distance problem by Erdos 1946. The problem is amazing because it can be described to a first-grader: Find a way to place n points on the plane to maximize the number of pairs that have distance
https://x.com/AlexGDimakis/status/2057353021172965832
ABILITY Neurotech Receives IMDD Approval to Start Clinical Trial for Chronic Implantation of Brain-Computer Interface in ALS Patients
https://www.tmcnet.com/usubmit/2026/05/26/10388506.htm
AI for science just had its ChatGPT moment • OpenAI tackled a famous math conjecture • DeepMind generated leukemia drug candidates • FutureHouse proposed a new blindness treatment • Google + Harvard’s ERA built scientific simulation code Of course, scientists are
https://x.com/TheTuringPost/status/2058340530480640453
AI is the beginning of science’s most creative open-ended era
https://x.com/TheTuringPost/status/2059055943401255130
AI is watching for wildfires across the drought-stricken West | Here & Now
https://www.wbur.org/hereandnow/2026/05/21/ai-wildfire-drought
Can LLMs discover new laws of physics? We present DiscoverPhysics, a pipeline to benchmark LLM agents on experimentation, analysis and discovery.
https://t.co/FSjixhuwc6 Co-led by @LindsayMSmith3 w/ Peter Melchior, @kdqg1 @andrewgwils @Pavel_Izmailov Carol Cuesta-Lazaro 1/10
https://x.com/Space_Boy_Matt/status/2060017676655710371
In science, AI still does a poor job at finding interesting questions to solve in fields that don’t have lists of known issues This has always been the hardest thing to teach PhDs: otherwise you find small problems or problems that don’t advance the field or don’t generalize etc
https://x.com/emollick/status/2057469699567260072
Math is easy* because it has verifiable outputs and few messy judgement choices to make. Which AI labs have the guts to make advancing social science a priority? It may actually do more for human flourishing to unlock sociology, econ & psych reseach. * For AIs, not for humans
https://x.com/emollick/status/2057267486190342591
Protein World Model | Biohub
https://biohub.ai/esm/protein/about
We’ve already said this, there’s an AI boom in science now @biohub released Evolutionary Scale Models (ESM) – an open scientific engine for prediction, design, and discovery of protein biology – including proteins that bind to disease-related targets, helping to create new
https://x.com/TheTuringPost/status/2059786236387266826
Its very limiting that a big set of very hard problems that we have just lying around are Erdos problems. Don’t get me wrong, they are quite cool, but we really need hard problems repositories for many fields, including areas that have less specified answers & require judges.
https://x.com/emollick/status/2059012803009151444
Modern LLMs can do multiplication of 100-digit numbers without tools. So much for “”embers of autoregression””. Just scale the COT bro
https://x.com/teortaxesTex/status/2057826903721951273
Decent chance that, not even taking into account GenAI, this will be viewed as a decade of incredible progress against the problems that were, ironically, caused by modernity: metabolic syndrome, auto deaths, carbon emissions…
https://x.com/emollick/status/2059707145277325682
12 AI Co-Scientists of 2026 Open-source: ▪️ ERA – builds scientific simulations and software for biology, forecasting, and more ▪️ DISCO – designs proteins and enzymes from scratch ▪️ kUPS – fast molecular simulation engine ▪️ Axplorer by @axiommathai – solved trillion-scale
https://x.com/TheTuringPost/status/2058618540685742450
Biohub releases a world model of protein biology
https://biohub.org/news/world-model-of-protein-biology/
Elon Musk’s Neuralink reveals new robotic system for BCI brain implant surgeries | MobiHealthNews
https://www.mobihealthnews.com/news/elon-musks-neuralink-reveals-new-robotic-system-bci-brain-implant-surgeries
Synthesize Realistic 3D Medical Images at Scale to Ship Pre‑Trained Models | NVIDIA Technical Blog
https://developer.nvidia.com/blog/synthesize-realistic-3d-medical-images-at-scale-to-ship-pre-trained-models/?ncid=so-twit-899791
Leave a Reply