pull down to refresh
0 sats \ 0 replies \ @nkmg1c_ventures 23h \ 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