{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/automated-conjecturing-vii-the-graph-brain","title":"Automated Conjecturing VII: The Graph Brain Project & Big Mathematics","arxiv_id":"1801.01814","date":"2017-12-28","proceeding":null,"authors":["N. Bushaw","C. E. Larson","N. Van Cleemput"],"abstract":"The Graph Brain Project is an experiment in how the use of automated\nmathematical discovery software, databases, large collaboration, and systematic\ninvestigation provide a model for how mathematical research might proceed in\nthe future.\n  Our Project began with the development of a program that can be used to\ngenerate invariant-relation and property-relation conjectures in many areas of\nmathematics. This program can produce conjectures which are not implied by\nexisting (published) theorems. Here we propose a new approach to push forward\nexisting mathematical research goals---using automated mathematical discovery\nsoftware. We suggest how to initiate and harness large-scale collaborative\nmathematics. We envision mathematical research labs similar to what exist in\nother sciences, new avenues for funding, new opportunities for training\nstudents, and a more efficient and effective use of published mathematical\nresearch.\n  And our experiment in graph theory can be imitated in many other areas of\nmathematical research. Big Mathematics is the idea of large, systematic,\ncollaborative research on problems of existing mathematical interest. What is\npossible when we put our skills, tools, and results together systematically?","url_abs":"http://arxiv.org/abs/1801.01814v1","url_pdf":"http://arxiv.org/pdf/1801.01814v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"automated-conjecturing-vii-the-graph-brain","repo_url":"https://github.com/math1um/objects-invariants-properties","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[{"task_slug":null,"task_name":"Relation"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}