OpenAI
Verdict: RoutineSharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
- HN 523
News
What happened in research today, from the outlets and labs that report it.
Edition No. 9
Updated UTC
Top stories
1. Mistral Large 4: "Le Chonk"
█████░░░░░5.53. Beam: Reflection's 501B open-weight model
█████░░░░░4.8
More top stories
- Google DeepMind
EmbeddingGemma 2: an open, lightweight multimodal embedding model
No.04Verdict: RoutineScore████░░░░░░4.5 - MIT Newsby Wahl
Supercomputing researchers document evolution of AI hardware
An ongoing survey tracks the latest AI accelerator systems to keep hardware relevant for Lincoln Laboratory staff and sponsors.
No.05Verdict: RoutineScore████░░░░░░4.4 - Ars Technicaby Berger
It looks like the Atlantic storm season may finally produce a hurricane
To date, this Atlantic tropics year has been exceptionally quiet.
No.06Verdict: RoutineScore████░░░░░░4.4 - STATby Chen, DeAngelis
STAT+: AstraZeneca opens new Boston site
AstraZeneca opened a new R&D site in Kendall Square yesterday, celebrating a $1 billion investment in the unsettled center of U.S. biotechnology after a spate of Chinese dealmaking.
No.07Verdict: RoutineScore████░░░░░░4.3 - STATby Wilkerson
STAT+: Are stem cell treatments about to have their day?
Stem cells might be the next peptides, and how Trump's $90 checks will play out after the election.
No.08Verdict: RoutineScore████░░░░░░4.3
Briefs
- STAT
What are hospital longevity programs, and what can they tell you about your health?
████░░░░░░4.3 - STAT
STAT+: FDA spells out 2027 AI guidance plans
████░░░░░░4.2 - STAT
STAT+: Pharmalittle: We're reading about U.S.-funded psychedelic trials, an AstraZeneca R&D center, and more
████░░░░░░4.2 - OpenAI
Atlassian and OpenAI expand partnership to turn enterprise knowledge into action
████░░░░░░4.2 - Ars Technica
Neutrino physicist wins 2026 Nobel Physics Prize
████░░░░░░4.2 - Google Research
Unlocking Earth AI's planetary geospatial foundation models for global public health
████░░░░░░4.1 - OpenAI
Our approach to EU text provenance rules
████░░░░░░4.0 - OpenAI
How Jump Trading is scaling quant research with ChatGPT
████░░░░░░4.0 - STAT
STAT+: Can you live longer for $5,500? Longevity clinics are the buzzy new trend at nonprofit hospitals
████░░░░░░4.0 - STAT
Deciding when to get your flu shot? Consider these factors
████░░░░░░4.0 - Science
Possible plague death at a Siberian lab baffles scientists
████░░░░░░3.9 - Science
Architect of polar neutrino detector wins physics Nobel
████░░░░░░3.9