Many "serious" mathematicians are aghast(twitter.com)

17 points by tosh 3 months ago | 6 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

I admire Fabrice Bellard. He is almost certainly a better overall programmer(twitter.com)

829 points by apitman 4 months ago | 394 comments

A post on X by John Carmack saying he admires Fabrice Bellard, quoting a thread about Bellard's work on FFmpeg, QEMU and other software.

GateGPT: 56k tokens per second Transformer (KV cache) on FPGA at 80 MHz(twitter.com)

27 points by laxmena 4 months ago | 8 comments

New arXiv policy: 1-year ban for hallucinated references(twitter.com)

539 points by gjuggler 5 months ago | 191 comments

A tweet by Thomas G. Dietterich reminding arXiv authors that signing a paper means taking full responsibility for its contents, however they were generated.

"Our research is greatly sped up by AI but AI still needs us"(twitter.com)

21 points by wrong-mexican 11 months ago | 9 comments