Main Page: Difference between revisions

From Polymath Wiki
Jump to navigationJump to search
← Older edit
m Reverted edits by Oberfam (Talk) to last version by WikiSysop
Shuhari (talk | contribs)
7 edits
No edit summary
 
(98 intermediate revisions by 28 users not shown)
Line 2: Line 2:
This is the wiki for ''polymath'' projects - massively collaborative online mathematical projects.  The idea of such projects originated in Tim Gowers' blog post [http://gowers.wordpress.com/2009/01/27/is-massively-collaborative-mathematics-possible/ Is massively collaborative mathematics possible?]
This is the wiki for ''polymath'' projects - massively collaborative online mathematical projects.  The idea of such projects originated in Tim Gowers' blog post [http://gowers.wordpress.com/2009/01/27/is-massively-collaborative-mathematics-possible/ Is massively collaborative mathematics possible?]


Many polymath projects will be proposed, planned, and run at [http://polymathprojects.org/ this blog].
Many polymath projects will be proposed, planned, and run at [http://polymathprojects.org/ This Blog].


The Polymath wiki needs a [[logo]]
A Polymath [[logo]] is being trialled.  If you have more suggestions, please add them to the [[logo]] page, or add to the discussion at [[Talk:logo]].
 
The wiki is currently locked down due to a major influx of spam (July 29, 2013).  Please email thomas@asone.ai if you'd like an account set up, and I'll do my best to reply quickly.


== Existing polymath projects ==
== Existing polymath projects ==


* [[Polymath1]]: New proofs and bounds for the density Hales-Jewett theorem.  Initiated Feb 1, 2009; research results have now been submitted for publication.
* [[Polymath1]]: New proofs and bounds for the density Hales-Jewett theorem.  Initiated Feb 1, 2009; research results have now been published.
* [[Definable Banach Spaces|Polymath2]]: Must an “explicitly defined” Banach space contain <math>c_0</math> or <math>l_p</math>?  Initiated Feb 17, 2009; attempts to relaunch via wiki, June 9 2010.
* [[Definable Banach Spaces|Polymath2]]: Must an “explicitly defined” Banach space contain <math>c_0</math> or <math>l_p</math>?  Initiated Feb 17, 2009; attempts to relaunch via wiki, June 9 2010.
* [[imo 2009 q6|Mini-polymath1]]: Solving Problem 6 of the 2009 International Mathematical Olympiad.  Initiated July 20, 2009; five proofs obtained so far.
* [[imo 2009 q6|Mini-polymath1]]: Solving Problem 6 of the 2009 International Mathematical Olympiad.  Initiated July 20, 2009; five proofs obtained so far.
* [[The polynomial Hirsch conjecture|Polymath3]].  The polynomial Hirsch conjecture.  Proposed July 17, 2009; launched, September 30, 2010.   
* [[The polynomial Hirsch conjecture|Polymath3]].  The polynomial Hirsch conjecture.  Proposed July 17, 2009; launched, September 30, 2010.   
* [[finding primes|Polymath4]]: A deterministic way to find primes.  Proposed July 27, 2009; launched Aug 9, 2009.  Research results have been submitted for publication.
* [[finding primes|Polymath4]]: A deterministic way to find primes.  Proposed July 27, 2009; launched Aug 9, 2009.  Research results have now been published.
* [[The Erd&#337;s discrepancy problem|Polymath5]]. The Erd&#337;s discrepancy problem. Proposed Jan 10, 2010; launched Jan 19, 2010.
* [[The Erd&#337;s discrepancy problem|Polymath5]]: The Erd&#337;s discrepancy problem. Proposed Jan 10, 2010; launched Jan 19, 2010.  Activity ceased by the end of 2012, but results from the project were used to solve the problem in 2015.
* [[imo 2010|Mini-polymath2]]: Solving a problem from the 2010 International Mathematical Olympiad.  Proposed Jun 12, 2010; launched Jul 8, 2010; solved, Jul 8 2010.
* [[imo 2010|Mini-polymath2]]: Solving Problem 5 the 2010 International Mathematical Olympiad.  Proposed Jun 12, 2010; launched and solved, Jul 8 2010.
* [[Improving the bounds for Roth's theorem|Polymath6]]. Improving the bounds for Roth's theorem. Proposed Feb 5, 2011.
* [[Improving the bounds for Roth's theorem|Polymath6]]: Improving the bounds for Roth's theorem. Proposed Feb 5, 2011.
* [[imo 2011|Mini-polymath3]]: Solving a problem from the 2011 International Mathematical Olympiad.  Proposed Jun 9, 2011; launched and solved, Jul 19, 2011.
* [[imo 2012|Mini-polymath4]]: Solving a problem from the 2012 International Mathematical Olympiad.  Proposed, Jun 3, 2012; launched, July 12 2012.
* [[The hot spots conjecture|Polymath7]]:  Establishing the Hot Spots conjecture for acute-angled triangles.  Proposed, May 31st, 2012; launched, Jun 8, 2012.
* [[Bounded gaps between primes|Polymath8]]: Improving the bounds for small gaps between primes.  Proposed, June 4, 2013; launched, June 4, 2013.  Research results have now been published.
* [[Discretized Borel Determinacy and P=NP|Polymath9]]: exploring Borel determinacy-based methods for giving complexity bounds.  Proposed, Oct 24, 2013; launched, Nov 3, 2013.
* [[The Erdos-Rado sunflower lemma|Polymath10]]: improving the bounds for the Erdos-Rado sunflower lemma.  Launched, Nov 2, 2015.
* [[Frankl's union-closed conjecture|Polymath11]]: proving Frankl's union-closed conjecture. Proposed Jan 21, 2016; launched Jan 29, 2016.  Concluded, Jan 17, 2017.
* [[Rota's conjecture|Polymath12]]: proving Rota's conjecture.  Proposed Feb 28, 2017.
* [[Intransitive dice|Polymath13]]: Intransitive dice.  Proposed Apr 28, 2017.
* [[linear norm|Polymath14]]: Classifying homogeneous norms on groups.  Initiated Dec 16, 2017; solved Dec 21, 2017.  Research results have now been published.
* [[De_Bruijn-Newman constant|Polymath15]]: Upper bounding the de Bruin-Newman constant.  Proposed, Jan 24 2018; launched Jan 27 2018.
* [[Hadwiger-Nelson problem|Polymath16]]: Simplifying the lower bound proof for the Hadwiger-Nelson problem.  Proposed, Apr 10, 2018; launched, Apr 14, 2018.


== Polymath-like projects ==
== Polymath-like projects ==


* Scott Aaronson's "philomath project": "[http://scottaaronson.com/blog/?p=453 Sensitivity vs. Block sensitivity]" (see also [http://mathoverflow.net/questions/31482/the-sensitivity-of-2-colorings-of-the-d-dimensional-integer-lattice this Math Overflow question]).  Launched Jul 13, 2010.
* Scott Aaronson's "philomath project": "[http://scottaaronson.com/blog/?p=453 Sensitivity vs. Block sensitivity]" (see also [http://mathoverflow.net/questions/31482/the-sensitivity-of-2-colorings-of-the-d-dimensional-integer-lattice this Math Overflow question]).  Launched Jul 13, 2010.
* A [[wiki]] page clearinghouse for [[Deolalikar P vs NP paper]].  Launched Aug 10, 2010.
* A wiki page clearinghouse for the [[Deolalikar P vs NP paper]].  Launched Aug 10, 2010.
* <del>[http://researchtrends.wikia.com/wiki/Main_Page Math Research Trends Wiki] "research in the middle"</del> This project is recommended to be discontinued in favor of <b>[https://conference.portonvictor.org/wiki/Research_in_the_middle Research in the middle project] at [https://conference.portonvictor.org Virtual scientific conference]</b>.
* The page for the [[ABC conjecture]] contains links and information about Mochizuki's claimed proof of this conjecture.
* A [[COVID-19 dataset clearinghouse]].
* Massively Collaborative Theoretical Computer Science Projects at [https://polytcs.wordpress.com/ The PolyTCS Project], by Rupei Xu and Chloe Yang.


== Proposed polymath projects ==
== Proposed polymath projects ==
Line 27: Line 45:
* [[Boshernitzan’s problem]].  Proposed July 27, 2009.
* [[Boshernitzan’s problem]].  Proposed July 27, 2009.
* [http://gowers.wordpress.com/2009/09/16/possible-future-polymath-projects/ Possible future polymath projects].  Discussion opened September 16, 2009.
* [http://gowers.wordpress.com/2009/09/16/possible-future-polymath-projects/ Possible future polymath projects].  Discussion opened September 16, 2009.
* [http://rjlipton.wordpress.com/2011/05/12/a-possible-polymath-project/ A possible polymath project:] Proposal by Richard Lipton to attack a conjecture due to Erdos, about a class of Diophantine equations.


A (partial) list of proposed projects can be found [http://en.wordpress.com/tag/polymath-proposals/ here].
 
A (partial) list of proposed projects can be found [http://polymathprojects.org/category/polymath-proposals/ here].


If you have a tentative proposal for a polymath project, you can either make a post on it on your own blog, or place it [[other proposed projects|here]].
If you have a tentative proposal for a polymath project, you can either make a post on it on your own blog, or place it [[other proposed projects|here]].
Line 65: Line 85:
* [http://www.thebigquestions.com/2010/04/08/blogging-tic-tac-toe-and-the-future-of-math/ Blogging, Tic Tac Toe, and the Future of Math] Steve Landsburg, The Big Questions, April 4 2010
* [http://www.thebigquestions.com/2010/04/08/blogging-tic-tac-toe-and-the-future-of-math/ Blogging, Tic Tac Toe, and the Future of Math] Steve Landsburg, The Big Questions, April 4 2010
* [http://www.siam.org/news/news.php?issue=0043.03 Massively Collaborative Mathematics] Julie Rehmeyer, SIAM News, Volume 43(3), April 2010 (to appear)
* [http://www.siam.org/news/news.php?issue=0043.03 Massively Collaborative Mathematics] Julie Rehmeyer, SIAM News, Volume 43(3), April 2010 (to appear)
* [http://www.princeton.edu/~mbarany/cv.html#WikiSymPolymath  `But this is blog maths and we're free to make up conventions as we go along': Polymath1 and the Modalities of `Massively Collaborative Mathematics.'] Michael Barany,  Proceedings of the 6th International Symposium on Wikis and Open Collaboration, Gdansk, Poland, 2010.
* [http://mbarany.com/publications.html#WikiSymPolymath  `But this is blog maths and we're free to make up conventions as we go along': Polymath1 and the Modalities of `Massively Collaborative Mathematics.'] Michael Barany,  Proceedings of the 6th International Symposium on Wikis and Open Collaboration, Gdansk, Poland, 2010.
* [http://www.cs.cmu.edu/~jcransh/papers/cranshaw_kittur.pdf J. Cranshaw and A. Kittur. The Polymath Project: Lessons from a successful online collaboration in mathematics]. In Proceedings of the Conference on Human Factors in Computing Systems, Vancouver, BC, Canada, May 2011.
* [http://www.cs.cmu.edu/~jcransh/papers/cranshaw_kittur.pdf J. Cranshaw and A. Kittur. The Polymath Project: Lessons from a successful online collaboration in mathematics]. In Proceedings of the Conference on Human Factors in Computing Systems, Vancouver, BC, Canada, May 2011.
 
* [http://www.newscientist.com/article/mg21028113.900-how-to-build-the-global-mathematics-brain.html How to build the global mathematics brain], Jacob Aron, New Scientist, 4 May 2011.
* [http://www.newscientist.com/article/mg21028112.900-mathematics-becomes-more-sociable.html Mathematics becomes more sociable], New Scientist, 5 May 2011.
* [http://polymathprojects.files.wordpress.com/2011/03/polymathias.jpg Mathematical Advances: Lone or Massively Collaborative Endeavors?] from IAS Institute Letter for fall 2010 based on a discussion organized by IAS fall 2010.
* [http://today.uconn.edu/blog/2010/10/will-crowdsourcing-revolutionize-scholarship Will ‘Crowdsourcing’ Revolutionize Scholarship?] An article in UConn Today by Jeremy Teitelbaum, Fall 2010.
* [http://online.wsj.com/article/SB10001424052970204644504576653573191370088.html The New Einsteins Will Be Scientists Who Share] The Wall street journal, October 2011.
* [http://www.nature.com/news/parallel-lines-1.14759?WT.ec_id=NATURE-20140227 Parallel lines], editorial, Nature 506, 407–408 (27 February 2014).
Additional links are very welcome.
Additional links are very welcome.


Line 77: Line 102:
== Note on anonymous editing ==
== Note on anonymous editing ==


To help combat spam, anonymous editing has been disabled, and a captcha system added to hinder automated account creation. If this is causing problems, please email mn@michaelnielsen.org.
To help combat spam, anonymous editing has been disabled, and a captcha system added to hinder automated account creation. If this is causing problems, please email thomas@asone.ai.
 
== Note on image uploads ==
 
Image uploads have been disabled, as they were causing problems with spam.  If you'd like to upload an image, please email thomas@asone.ai

Latest revision as of 11:25, 1 September 2020

This is the wiki for polymath projects - massively collaborative online mathematical projects. The idea of such projects originated in Tim Gowers' blog post Is massively collaborative mathematics possible?

Many polymath projects will be proposed, planned, and run at This Blog.

A Polymath logo is being trialled. If you have more suggestions, please add them to the logo page, or add to the discussion at Talk:logo.

The wiki is currently locked down due to a major influx of spam (July 29, 2013). Please email thomas@asone.ai if you'd like an account set up, and I'll do my best to reply quickly.

Existing polymath projects

  • Polymath1: New proofs and bounds for the density Hales-Jewett theorem. Initiated Feb 1, 2009; research results have now been published.
  • Polymath2: Must an “explicitly defined” Banach space contain [math]\displaystyle{ c_0 }[/math] or [math]\displaystyle{ l_p }[/math]? Initiated Feb 17, 2009; attempts to relaunch via wiki, June 9 2010.
  • Mini-polymath1: Solving Problem 6 of the 2009 International Mathematical Olympiad. Initiated July 20, 2009; five proofs obtained so far.
  • Polymath3. The polynomial Hirsch conjecture. Proposed July 17, 2009; launched, September 30, 2010.
  • Polymath4: A deterministic way to find primes. Proposed July 27, 2009; launched Aug 9, 2009. Research results have now been published.
  • Polymath5: The Erdős discrepancy problem. Proposed Jan 10, 2010; launched Jan 19, 2010. Activity ceased by the end of 2012, but results from the project were used to solve the problem in 2015.
  • Mini-polymath2: Solving Problem 5 the 2010 International Mathematical Olympiad. Proposed Jun 12, 2010; launched and solved, Jul 8 2010.
  • Polymath6: Improving the bounds for Roth's theorem. Proposed Feb 5, 2011.
  • Mini-polymath3: Solving a problem from the 2011 International Mathematical Olympiad. Proposed Jun 9, 2011; launched and solved, Jul 19, 2011.
  • Mini-polymath4: Solving a problem from the 2012 International Mathematical Olympiad. Proposed, Jun 3, 2012; launched, July 12 2012.
  • Polymath7: Establishing the Hot Spots conjecture for acute-angled triangles. Proposed, May 31st, 2012; launched, Jun 8, 2012.
  • Polymath8: Improving the bounds for small gaps between primes. Proposed, June 4, 2013; launched, June 4, 2013. Research results have now been published.
  • Polymath9: exploring Borel determinacy-based methods for giving complexity bounds. Proposed, Oct 24, 2013; launched, Nov 3, 2013.
  • Polymath10: improving the bounds for the Erdos-Rado sunflower lemma. Launched, Nov 2, 2015.
  • Polymath11: proving Frankl's union-closed conjecture. Proposed Jan 21, 2016; launched Jan 29, 2016. Concluded, Jan 17, 2017.
  • Polymath12: proving Rota's conjecture. Proposed Feb 28, 2017.
  • Polymath13: Intransitive dice. Proposed Apr 28, 2017.
  • Polymath14: Classifying homogeneous norms on groups. Initiated Dec 16, 2017; solved Dec 21, 2017. Research results have now been published.
  • Polymath15: Upper bounding the de Bruin-Newman constant. Proposed, Jan 24 2018; launched Jan 27 2018.
  • Polymath16: Simplifying the lower bound proof for the Hadwiger-Nelson problem. Proposed, Apr 10, 2018; launched, Apr 14, 2018.

Polymath-like projects

Proposed polymath projects


A (partial) list of proposed projects can be found here.

If you have a tentative proposal for a polymath project, you can either make a post on it on your own blog, or place it here.

Discussions about polymath

Additional links are very welcome.

Other links

Note on anonymous editing

To help combat spam, anonymous editing has been disabled, and a captcha system added to hinder automated account creation. If this is causing problems, please email thomas@asone.ai.

Note on image uploads

Image uploads have been disabled, as they were causing problems with spam. If you'd like to upload an image, please email thomas@asone.ai

Retrieved from "https://michaelnielsen.org/polymath/index.php?title=Main_Page&oldid=11188"