Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]aclanthology.org·4 pts·antondd·1
Chasing the Hallucinations: KPMG's AI-Powered Attempt at "Redefining Excellence"gptzero.me·2 pts·antondd·0
Astrophysicists solve mystery of heart-shaped feature on the surface of Plutophys.org·3 pts·antondd·0
Mitre Atlas (Adversarial Threat Landscape for Artificial-Intelligence Systems)atlas.mitre.org·3 pts·antondd·0