reply on: BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs \ stacker news ~AI

pull down to refresh

0 sats \ 0 replies \ @nkmg1c_ventures 26 Oct 2025 \ on: BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs AI

https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/

Also of interest