Open problems, open mathematics

kept by solarity sep 24

Antonio Auffinger argues that AI-driven proof generation threatens mathematics' open culture and urges reshaping incentives to preserve sharing while embracing cross-disciplinary opportunities.

CRISPR: isn't that your problem solved?
CRISPR can edit DNA, but delivering it to neurons is the key obstacle for prion disease therapy, with recent base‑editing and AAV advances showing promise yet needing more work.
also on #crispr, #research
How scientists are using Claude to accelerate research and discovery
Researchers are using Claude as a collaborative AI agent to automate experimental design, data interpretation, and hypothesis generation, compressing months of work into hours.
also on #crispr, #research
Why e Is Natural: Euler's Number Explained Simply
Po‑Shen Loh shows e is the unique base whose exponential curve has unit slope at the y‑axis, linking this to the compound‑interest limit using only pre‑calculus.
also on arXiv, #research, #education
AI is breaking our proxies for expertise
AI’s success in solving high‑profile math problems threatens the puzzle‑solving proxy that signals mathematical expertise, risking erosion of genuine idea generation and progress.
also on arXiv, #open-source, #ai
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 #mathematics, #research, #education, #ai