AI Achieves Mathematical Breakthroughs

New Benchmarks: ExploitGym, BenchCAD, and IntegrityBench

Several new evaluation benchmarks have been released, including ExploitGym for security vulnerabilities and BenchCAD for design robustness.

METR Report: AI R&D Acceleration at Anthropic

MIT's human-in-the-loop topology optimization copilot

Topology optimization has long been a black box that engineers distrust because they can't steer the design as it evolves. MIT researchers solved this by training an ML model to predict where humans would intervene, pausing the algorithm to ask for feedback on manufacturability and aesthetics. This collaborative approach yielded structures with 39% higher buckling loads and better buildability, adding only 15 seconds to the total computation time. It shifts topology optimization from a theoretical exercise into a practical tool by restoring human agency without sacrificing performance.