Mastodon Feed
Boosted by brib@bribstodon.xyz ("brib :neofox_floof: :Nonbinary:"):
timnitGebru@dair-community.social ("Timnit Gebru (she/her).") wrote:
"The LLM-generated proof hinges on a particular mathematical argument that it presented as its own but that actually first appeared in a 2016 paper by Miller and a collaborator..."