“We are not cheating” (YH Kwon superconductor comments)(twitter.com)59 points by electricships 3 years ago | 45 comments
Wikidata, with 12B facts, can ground LLMs to improve their factuality(twitter.com)195 points by raybb 2 years ago | 78 comments
FlashAttention-2, 2x faster than FlashAttention(twitter.com)57 points by machdiamonds 3 years ago | 12 comments
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem(twitter.com)247 points by mean_mistreater 7 months ago | 161 comments
Gap in Mochizuki's proof of ABC confirmed by Lean(twitter.com)13 points by ogogmad 3 months ago | 1 comments
