none's user avatar
none's user avatar
none's user avatar
none
  • Member for 5 years, 2 months
  • Last seen more than a month ago
85 votes

Have there been any updates on Mochizuki's proposed proof of the abc conjecture?

22 votes

PhD dissertations that solve an established open problem

18 votes

What are some noteworthy "mic-drop" moments in math?

18 votes

Is there a complex structure on the 6-sphere?

18 votes

What about a mathematics journal for 'negative' results?

10 votes

References for literature from mathematicians who provided critiques and proposals concerning ethical aspects of mathematics research

10 votes

What recent discoveries have amateur mathematicians made?

9 votes

Old books you would like to have reprinted with high-quality typesetting

8 votes

Are there logical systems where formal proofs are not computer verifiable?

6 votes

What's a great christmas present for someone with a PhD in Mathematics?

4 votes

Polymath type websites for specialized areas

4 votes

Which mathematical definitions should be formalised in Lean?

3 votes

Pseudonyms of famous mathematicians

3 votes

Widely accepted mathematical results that were later shown to be wrong?

3 votes

Examples of statements with a high quantifier complexity

0 votes

Example of concrete statement which requires probabilistic algorithm

0 votes

Short papers for undergraduate course on reading scholarly math

0 votes

Great mathematical figures and/or diagrams?