When Hypotheses Become Cheap - by Meg McNulty - CipherTalk

kept by eddie oct 08

AI makes hypothesis generation cheap, but scientific progress hinges on affordable, fast physical verification, requiring new lab‑infrastructure to match compute gains.

AI is doing something weird to Science
Scientific discovery emerges from a loop of human question-posing, LLM proposal, external verification, and human curation, not from AI alone.
also on GNOME, Lean, #open-source
Vaxry's Blog
D-Bus is fundamentally flawed due to lenient standards and security issues, prompting Vaxry to create Hyprtavern, a new IPC bus with strict protocols and secure secret storage.
also on GNOME, #open-source, #developer-tools
The AI Revolution in Math Has Arrived
Since mid-2025, AI models have begun proving new mathematical results at an accelerating pace, with mathematicians reporting discoveries that would have taken weeks now achieved in days.
also on AlphaEvolve, #research, OpenAI, #ai
AlphaEvolve: Gemini-powered coding agent scaling impact across fields — Google DeepMind
AlphaEvolve, a Gemini-powered coding agent, has optimized algorithms across genomics, quantum physics, and infrastructure, achieving significant improvements.
also on AlphaEvolve, #research, #ai, #developer-tools
Mathematics is effectively dead - by doomslide - ......
AI labs' undisclosed distillation of user data destroys credit assignment in mathematics, making open meritocratic discourse impossible and effectively killing the field as a public tradition.
also on Lean, #research, OpenAI, Anthropic, #ai