BBFM conjectures see formalization progress building on Axiom Math's prior work
ctjlewis · x · 2026-09-19
A researcher announces formalization progress on the BBFM conjectures: the unimodality claim of conjecture 6 is formalized for all n ≥ 2, and conjecture 4 for all n ≥ 2^(10^8). The work builds on Axiom Math's earlier results, closing previously open problems — another sign of AI-assisted formal math advancing.
More from Research
- OpenADMET lands Gates Foundation funding to build open toxicity data for drug discovery — anshulkundaje · 2026-09-19
- Ken Goldberg's Agentic Robotics: AI writes deterministic robot code, no demos needed — animesh_garg · 2026-09-19
- Researchers question antibody model's SabDab training data extending to 2025, flagging test contamination — anshulkundaje · 2026-09-19
- Yale PhD quit after lymphoma diagnosis to build foundation models for antibody drugs at Aureka Bio — anshulkundaje · 2026-09-19
- WetRobo: A Reproducible Robot Kit Lets Coding Agents Run Real Wet-Lab Experiments — sherryyangML · 2026-09-19
- NanoGPT Speedrun Record Falls to 67.6s With Canonical Token Masking (-15 Training Steps) — kellerjordan0 · 2026-09-19