Image created with gemini-3.1-flash-image-preview with claude-opus-4.7. Image prompt: A square Lutheran stained-glass rose window depicting a haloed saintly scientist lifting a luminous DNA double-helix that transforms into the wings of a red-tailed hawk carrying a housecat in its talons, surrounded by leaded roundels of a microscope, telescope, Petri dish, and songbird, jewel-tone cobalt and ruby and amber glass with bold black came outlines and radiant backlight, a heavy blackletter title banner at the base reading SCIENCE, reverent illuminated-manuscript mood.
New AI Tools for the Future of Science
https://blog.google/innovation-and-ai/technology/research/gemini-for-science-io-2026/
We released physics-intern: a simple harness for science problems! It gets models like Gemini 3.1 Pro to go from 17.7 -> 31.4, thus beating GPT 5.5 Pro. The physics-intern harness can wrap any model and via dedicated subagent boost the performance of the vanilla reasoning
https://x.com/lvwerra/status/2057476832664953225
An internal OpenAI model has disproved one of the most well-known Erdős problems: the unit distance problem. This is, without doubt, the most impressive achievement of AI in mathematics so far.
https://x.com/thomasfbloom/status/2057177152894771631
An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture in discrete geometry that was first posed by Paul Erdős in 1946. This is the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
https://x.com/gdb/status/2057182650784452925
An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
just quick napkin math on how long this took (unless i missed where they said): the published CoT summary is 111,145 tokens long. it’s really hard to say how much they summarized, assume 3x-20x reduction in tokens? and i’m assuming this is gpt-5.6 pro, so taking Artifical
https://x.com/willdepue/status/2057213893857165701
The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular, and represents an important milestone for the math and AI communities.
https://x.com/OpenAI/status/2057176203166171317
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that
https://x.com/OpenAI/status/2057176201782075690
unfortunately openai didn’t publish the unsummarized chain of thought, but the summary is 125 pages! the model reaches the crucial idea (which it describes as ‘frightening,’ i would love to read the unabridged chain of thought here…) on page 39
https://x.com/voooooogel/status/2057198687307362642
unit-distance-remarks.pdf
Click to access unit-distance-remarks.pdf
Very proud that an OpenAI model disproved Erdős’s longstanding unit distance conjecture, with an elegant and intricate proof that brings sophisticated ideas from algebraic number theory to bear on geometry. For whatever reason, mathematics has been the field most amenable to
https://x.com/markchen90/status/2057517045575774598
China moves AI brain implants from trials towards real-world use
https://www.nature.com/articles/d41586-026-01468-x
Got to play with a little of this before launch as well. My experience as a social scientist was that it was more bioscience focused right now, but I think Google has been the leading lab in releasing serious AI tools to accelerate science & expect to see them improve fast.
https://x.com/emollick/status/2056893178855199111
How can you accelerate your day to day research workflow? By giving AI the right scientific toolkit. We launched Science Skills for Google @Antigravity, integrating insights from over 30 major life science sources, including UniProt and the AlphaFold Database.
https://x.com/GoogleDeepMind/status/2057256257153884161
Introducing Gemini for Science — a collection of AI tools to help accelerate the scientific process. Gemini can already assist in solving complex problems, but our new @GoogleLabs prototypes can help streamline more daily scientific tasks, including: 📃 Staying on top of new
https://x.com/Google/status/2056809034494124118
Our latest research on Co-Scientist is out today in Nature! Built with Gemini, this multi-agent system powers the new Hypothesis Generation tool within Gemini for Science, helping researchers navigate the rigorous cycle of ideation, critique, and refinement. Read more from
https://x.com/GoogleResearch/status/2056857494107062718
Our research on Empirical Research Assistance (ERA) was published today in the journal Nature. ERA uses Gemini to achieve expert-level performance for scientific coding and helped build the new Computational Discovery prototype in Google Labs. Learn more:
https://x.com/GoogleResearch/status/2056797037426045105
We want to help scientists discover their next breakthrough with AI. Gemini for Science is our new suite of experimental tools to help them explore more hypotheses, validate work at scale, unpack literature with ease, and more 🧵
https://x.com/GoogleDeepMind/status/2056808869242826957
‘Solve all diseases,’ you say? | The Verge
https://www.theverge.com/column/935021/google-io-gemini-for-science-alphafold-alphagenome-ai-health
@huggingface Bio released Carbon, an open DNA foundation model family. We tested a simple infra question: “”Can Carbon run on @awscloud Trainium2 with NxD Inference on day one?”” The answer is: Hell yes !!! Carbon-500M, 3B, and 8B all compiled and ran on a single trn2.3xlarge
https://x.com/Shekswess/status/2057468970471448787
Did we ever learn what model won gold at the IMO from OpenAI? It was a year ago and it was called an unreleased internal general purpose model back then. Has GPT-5.5 Pro Extended caught up with whatever it was?
https://x.com/emollick/status/2057196459259301933
Social Robots in Elderly Care: A Systematic Review of the Effectiveness on Formal and Informal Caregivers | International Journal of Social Robotics | Springer Nature Link
https://link.springer.com/article/10.1007/s12369-026-01396-w
Accelerating scientific discovery with Co-Scientist | Nature
https://www.nature.com/articles/s41586-026-10644-y
BCI FDA Approval Tracker: Every Brain Implant in the Pipeline (2026) | bciintel.com
https://bciintel.com/bci-fda-approval-tracker/
Brain implants allow us to move and talk. But they could also be hacked
https://medicalxpress.com/news/2026-05-brain-implants-hacked.html
Building AI models that understand chemical principles | MIT News | Massachusetts Institute of Technology
https://news.mit.edu/2026/building-ai-models-with-chemical-principles-connor-coley-0520
Companies, countries battle to develop quantum computers | 60 Minutes – YouTube
Foundations of AI Security | Zenity Learning Lab
https://zenity.io/resources/webinars/foundations-of-ai-security
Introducing Carbon 🧬 a family of open generative DNA foundation models. Carbon-3B matches Evo2-7B while running 250x faster at inference. It can generate new DNA sequences and score the functional impact of mutations, zero-shot. We borrowed a lot from how modern LLMs are
https://x.com/LoubnaBenAllal1/status/2056771927570530475
June 2024: The latest general-purpose LLMs could not count the r’s in strawberry. July 2025: The latest general-purpose LLMs get gold in the International Math Olympiad. May 2026: The latest general-purpose LLM solve one of the “”best-known questions in combinatorial geometry””
https://x.com/emollick/status/2057190703965327834
Predicting ≠ Reasoning. Why Energy Based Models are so important for various real-life problem (spoiler: because a lot of them are not language problems but constraint problems!) Watch this video and learn why @ylecun supports @logic_int so much
https://x.com/TheTuringPost/status/2055361001650892812
Reconnecting body and brain: Europe’s breakthrough in reversing paralysis
https://medicalxpress.com/news/2026-05-reconnecting-body-brain-europe-breakthrough.html
SCI Redefined as a Broken Brain-Body-Environment Loop – Neuroscience News
Tech company claims its new caps and beanies can read your mind and put it on a screen — no brain implant required
https://nypost.com/2026/05/07/tech/tech-company-claims-its-new-caps-and-beanies-can-read-your-mind-and-put-it-on-a-screen-no-brain-implant-required/
This is a general-purpose LLM. It wasn’t targeted at this problem or even at mathematics. Also, it’s not a scaffold. We have not pushed this model to the limit on open problems. Our focus is to get it out quickly so that everyone can use it for themselves.
https://x.com/polynoamial/status/2057179104315670826
We are releasing Carbon: a crazy fast DNA model Carbon is 275x faster than the next best model. So fast you can process the whole human genome on a single GPU in <2 days. Here are the tricks we used: When modelling DNA sequences a lot of the performance comes down to
https://x.com/lvwerra/status/2056774820872831234
We have seen inference-time compute help in math and code but does it help in the domain of forecasting which is often linked more with knowledge? In FutureSim, we found performance scales gracefully with test-time compute without any foreseeable ceiling! 🚀
https://x.com/nikhilchandak29/status/2055357580436783595
What can a DNA foundation model actually do? We got this question a lot after releasing Carbon, our new DNA model. Here are three things it does. 🧬 All live in our demo:
https://x.com/LoubnaBenAllal1/status/2057488110263435640
OlmoEarth v1.1: A more efficient family of Earth observation models
https://huggingface.co/blog/allenai/olmoearth-v1-1
News – Quantum Computing Report
Which problems will quantum computers solve–and when? | Scientific American
https://www.scientificamerican.com/article/which-problems-will-quantum-computers-solve-and-when/
AI has now solved a major open problem — one of the best known Erdos problems called the unit distance problem, one of Erdos’s favourite questions and one that many mathematicians had tried.
https://x.com/wtgowers/status/2057175729008153069
AIs with advanced biological knowledge could quickly end up being superpowers in the international arena. Compared with other forms of WMDs, the production of bioweapons doesn’t need a huge amount of industrial capabilities. An AI that had the know-how to make bioweapons
https://x.com/dwarkesh_sp/status/2055000434759307447
OlmoEarth v1.1 just dropped (thx @allen_ai) 🌍 This family of Earth observation foundation models for satellite imagery tasks (e.g. mangrove change tracking, forest loss driver classification) just got 3X CHEAPER/FASTER to run. The trick is redesigning what a token represents.
https://x.com/cgeorgiaw/status/2057481909802774664
Leave a Reply