Claude’s Solution to Decades-Long Math Mystery Is ‘Essentially Correct,’ Physicists Say

For years, physicists were stuck in trying to explain an important mathematical problem in physics. The right approach ended ...

Physicists and AI model Claude 'collaborate' to prove a 10-year-old jamming conjecture

A mathematical problem that had remained unsolved for more than 10 years in the physics of complex systems has finally been ...
InfoQ

Million PDFs: Building a Modern Document Infrastructure with Rust and Typst

Erik Steiger discusses the operational pain of legacy PDF generation in regulated banking and manufacturing. He explains how ...

A.I.’s First Big Math Breakthrough Is Not What It Seems

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...
GitHub

Substructure & MCS Search for Chemical Graphs

We benchmark on the community-standard Dalke NN dataset (1,000 high-similarity ChEMBL pairs) — the same dataset widely used by RDKit, CDK, and the academic MCS literature. Identical SMILES input, same ...