ChatGPT 5.6 Assists in Solving Long-Standing Open Problem in Intuitionistic Logic
gleech · x · 2026-08-29
A new arXiv paper claims to resolve a long-standing open problem in category theory: whether all Heyting algebras can appear as the lattice of subterminal objects of an elementary topos. The authors provide a negative answer, proving that the free Heyting algebra on two generators does not satisfy this condition. Notably, the paper states that the mathematical results were obtained with the assistance of ChatGPT 5.6 Sol.
More from Research
- Robotics papers on arXiv have grown ~6x in five years, peaking at 676 in a single week — Rewkang · 2026-10-15
- MicroSDF: microfacet-driven neural SDFs for mixed-reflectance 3D reconstruction — ssh4net · 2026-10-15
- 'Thinking leakage': no-think RL gains in hybrid models just reuse think-mode skills — kaust-generative-ai · 2026-10-15
- COMPASS predicts model-pair compatibility before alignment or merging — epfl-ch · 2026-10-15
- BERT tokenizer gets 50x speedup by skipping text normalization, not optimizing it — LysandreJik · 2026-10-15
- LLM agents autonomously design a SAR ADC on SKY130 from schematic to signoff, paper finds — IgorCarron · 2026-10-15