2026-10-08
The article argues that the future of mathematics, or βMath 2.0,β should value mathematical progress more holistically than as isolated problem-solving. It warns that AI can solve problems quickly but may reduce the seminars, collaborations, teaching, and community building that traditionally help results become integrated into the field. The mathematical community therefore needs to preserve and reward the broader ecosystem of discussion, follow-up work, and public dissemination.
Claude Haiku 5.5 is a new small AI model positioned as the fastest and most capable in its class, aimed at high-volume, speed-sensitive work such as summaries, classification, database queries, live support, and browser use. It is intended to complement larger Claude models as a subagent for coding and other tasks, with adjustable effort settings that let users balance efficiency and intelligence. The article also reports benchmark improvements over previous Haiku models and notes related value changes to the broader Claude model lineup.
A writer recounts a 15-year effort to identify the mystery band Salvage, whose professionally produced tracks βElectricβ and βSearchlightsβ appeared on a single CD and briefly charted. Generic names, a lost disc, and a tiny label made the band nearly impossible to trace online. After using AI-assisted research, the writer uncovered chart records, a London distributor, and clues about the label, but the bandβs identity remains elusive.
Hundred Rabbits is an off-grid living project that documents sustainable experiments, software, and creative work. It highlights ongoing projects such as a wiki, games, cryptography guides, and analog art, while sharing updates on independent, privacy-focused activities.
Margaret Hamilton, a pioneering computer scientist who led the software engineering team for NASAβs Apollo program at MITβs Instrumentation Lab, has died. She helped establish software engineering as a discipline and developed critical flight software that contributed to the moon landing. Her career also included entrepreneurship and major recognition for her contributions to computing.
A new GPT-6 model is being brought to a much wider ChatGPT audience, introducing Intelligent UI, a capability that lets answers include interactive graphics, buttons, forms, charts, and other visual elements. The system chooses the most useful format for each question, making everyday tasks, comparisons, and complex explanations easier to understand and act on.
A project allows classic DOS demoscene productions to run directly in web browsers by recompiling their original code into WebAssembly. The process records the demos executed instructions, translates them with precise timing, and adds models for the timer, VGA graphics, and Sound Blaster audio. This lets the demos loaders, music, and visual effects behave as they originally did while only the hardware is simulated.
A new analysis of Rosalind Franklin's laboratory notes shows she recognized the helical structure of DNA in an earlier x-ray image, photograph 49, and used it to calculate key measurements of the spiral. This finding challenges the long-standing claim that she failed to understand the significance of the famous photograph 51, which she later produced as a more refined version. The work restores Franklin's scientific insight while still acknowledging Watson and Crick's broader model of DNA.
Jonathan, an Aldabra giant tortoise and the world's oldest living land animal at about 194 years old, has had his genome sequenced to help explain his exceptional longevity. Researchers found unique gene variants in aging-related pathways, including DNA repair, insulin regulation, mitochondrial function, and unusually stable methylation patterns. The study offers early clues about the biological mechanisms behind extreme lifespan in tortoises.
OpenAI released a large set of mathematical results, including a purported proof of the Unique Games Conjecture, a long-standing problem in theoretical computer science. The proof appears machine-generated and is not yet fully understood by mathematicians, though it has a formal verification certificate and suggests the conjecture is true. The episode marks a major shift in mathematics, raising both excitement and unease about AIβs role in discovering and checking deep results.