Tag
Briefings and ideas about AI scientific discovery from AI podcast discussions and the research they cite, with links to the original sources.
Anthropic's agents formalized Wiles's existing proof of Fermat's Last Theorem in about 13 million Lean lines over eleven days, per its report, with occasional human direction and a dependency-tracking platform keeping runs from losing their work.
PSI's AI found in a week a cheap Alpha Centauri route that eluded StarCloud's Philip Johnston for six months: slow down, fall toward the sun, thrust at perihelion. The sub-$15M probe would take roughly 77,500 years and miss by about 2,600 AU.
David Friedberg argued AI can screen a million protein ideas on computers to find ones that might reverse cell aging, without a full theory of the cell. The eye work he cited has reached a first safety trial in people, not restored sight.
GenBio's AIDO Cell simulates a human cell that remembers successive edits and drugs. For now it helps prioritize experiments in two cell lines; lab validation of its novel predictions is underway. A Moonshots panelist called it the end of medicine.
Merck and Moderna said personalized mRNA therapy intismeran autogene plus Keytruda beat Keytruda alone on melanoma recurrence-free and distant-metastasis-free survival in a 1,137-patient phase 3 interim analysis. No effect sizes were released.
Moonshots panelists urged young people to skip PhDs, arguing the next one to three years may be the last window when humans steering AI agent fleets are unusually valuable. A panelist noted they all hold the degrees they advise skipping.
Brian Greene argues AI could make Newton-scale discoveries, expecting it to excel at exploring options and linking fields while humans, for now, lead in inventing new frameworks. He sees collaboration reshaping physicists' role.
Bernie Sanders urged AI labs to honor their own safety commitments and pause development. On Moonshots, Emad Mostaque and others argued instead for genetic synthesis controls and threat detection; one panelist proposed monitoring all AI prompts.