Row 2795

Row ID: 2795 | Dataset Entry | Axioma AXP Content Repository

Content Data

This page contains data entry 2795 from the Axioma AXP content repository. The structured data below represents the complete record for this entry.

It seems inevitable that there's going to be a lot of overstated hype around this paper, and it'll be important to bear in mind what the actual achievement is. (Among other likely confusions, this seems to have nothing to do with automated theorem proving.) If I understand right, the new discovery is of a particular list of numbers 0,1,2 which improves the previously known lower bound 2.218 for a certain combinatorics quantity to 2.2202.

That's not to say that this isn't an interesting paper which might point the way to other reasonable uses of LLMs in math research!

FieldValue
text It seems inevitable that there's going to be a lot of overstated hype around this paper, and it'll be important to bear in mind what the actual achievement is. (Among other likely confusions, this seems to have nothing to do with automated theorem proving.) If I understand right, the new discovery is of a particular list of numbers 0,1,2 which improves the previously known lower bound 2.218 for a certain combinatorics quantity to 2.2202. That's not to say that this isn't an interesting paper wh…
label r/deepmind
dataType comment
communityName r/deepmind
datetime 2023-12-14
username_encoded Z0FBQUFBQm5LakwwRTVnZ2VuQUxWX2F0SS1vYnlBTW5jLUpyU1Iyb2ZtM2F1MVR0MVlEbVRCXzZJMUM1bFBxOFNKQ0NwR1hqTTRUWF82akg1YkczU1ctZ00wRkdmdXpFSFE9PQ==
url_encoded Z0FBQUFBQm5Lak9FMF9hTS16NFRrVVhHaWxoVVVKZ0dIOHhENDVfVFVzczNXNmlZb3Frdmg5aVJXWnFKN3VpRWwzSFgtX2p0TE02X1psRm1Wbm4yelpiZTktRlZoRzBQLVVpSzBybmJ1VmFTSktkcy1qb0Z0aWtxT0NWcVV1WFNVQkZGdjNfb2NhUU0wZFA4VE1BbE5YbEQwRDRXcExMdDllVTNrUVpYZEwwZ1dTUTlYa2hPbDhqNzdad1B4aUVZZ2ZHQnNsRlo5VG9KOVZKRUN6dWV4MHdSd21sN0RLdG16dz09

Raw Record

{
  "text": "It seems inevitable that there's going to be a lot of overstated hype around this paper, and it'll be important to bear in mind what the actual achievement is. (Among other likely confusions, this seems to have nothing to do with automated theorem proving.) If I understand right, the new discovery is of a particular list of numbers 0,1,2 which improves the previously known lower bound 2.218 for a certain combinatorics quantity to 2.2202.\n\nThat's not to say that this isn't an interesting paper which might point the way to other reasonable uses of LLMs in math research!",
  "label": "r/deepmind",
  "dataType": "comment",
  "communityName": "r/deepmind",
  "datetime": "2023-12-14",
  "username_encoded": "Z0FBQUFBQm5LakwwRTVnZ2VuQUxWX2F0SS1vYnlBTW5jLUpyU1Iyb2ZtM2F1MVR0MVlEbVRCXzZJMUM1bFBxOFNKQ0NwR1hqTTRUWF82akg1YkczU1ctZ00wRkdmdXpFSFE9PQ==",
  "url_encoded": "Z0FBQUFBQm5Lak9FMF9hTS16NFRrVVhHaWxoVVVKZ0dIOHhENDVfVFVzczNXNmlZb3Frdmg5aVJXWnFKN3VpRWwzSFgtX2p0TE02X1psRm1Wbm4yelpiZTktRlZoRzBQLVVpSzBybmJ1VmFTSktkcy1qb0Z0aWtxT0NWcVV1WFNVQkZGdjNfb2NhUU0wZFA4VE1BbE5YbEQwRDRXcExMdDllVTNrUVpYZEwwZ1dTUTlYa2hPbDhqNzdad1B4aUVZZ2ZHQnNsRlo5VG9KOVZKRUN6dWV4MHdSd21sN0RLdG16dz09"
}
Explore Dataset Explore Row

Entry Information