| | AI at IMO 2025: a round-up (xenaproject.wordpress.com) |
| 3 points by hcarlens 33 days ago | past |
|
| | Think of a Number (xenaproject.wordpress.com) |
| 40 points by IdealeZahlen 82 days ago | past | 8 comments |
|
| | Think of a Number: An Update (xenaproject.wordpress.com) |
| 2 points by mathgenius 5 months ago | past |
|
| | Can AI do maths yet? Thoughts from a mathematician (xenaproject.wordpress.com) |
| 390 points by mathgenius 8 months ago | past | 350 comments |
|
| | Fermat's Last Theorem – how it’s going (xenaproject.wordpress.com) |
| 443 points by verbify 8 months ago | past | 210 comments |
|
| | Lean in 2024 (xenaproject.wordpress.com) |
| 1 point by looofooo0 11 months ago | past |
|
| | Lean in 2024 (xenaproject.wordpress.com) |
| 2 points by spekcular on Jan 23, 2024 | past |
|
| | Formalising modern research mathematics in real time (xenaproject.wordpress.com) |
| 111 points by mauricioc on Nov 5, 2023 | past | 16 comments |
|
| | Division by zero in type theory: a FAQ (xenaproject.wordpress.com) |
| 2 points by ykonstant on July 10, 2023 | past |
|
| | Beyond the Liquid Tensor Experiment (xenaproject.wordpress.com) |
| 42 points by panic on Sept 13, 2022 | past | 10 comments |
|
| | Beyond the Liquid Tensor Experiment (xenaproject.wordpress.com) |
| 10 points by auggierose on Sept 12, 2022 | past |
|
| | The future of interactive theorem proving? (xenaproject.wordpress.com) |
| 111 points by ColinWright on Aug 16, 2022 | past | 16 comments |
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
| 1 point by creata on Aug 7, 2021 | past |
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
| 1 point by mzs on June 21, 2021 | past |
|
| | Half a year of the Liquid Tensor Experiment: Amazing developments (xenaproject.wordpress.com) |
| 4 points by bentoner on June 6, 2021 | past |
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
| 3 points by twohey on June 5, 2021 | past |
|
| | Half a year of the Liquid Tensor Experiment: developments (xenaproject.wordpress.com) |
| 13 points by EvgeniyZh on June 5, 2021 | past | 1 comment |
|
| | Formalising Mathematics: An Introduction (xenaproject.wordpress.com) |
| 205 points by panic on Feb 21, 2021 | past | 116 comments |
|
| | Formalising Mathematics: An Introduction (xenaproject.wordpress.com) |
| 6 points by hnthwaccount on Jan 26, 2021 | past |
|
| | The end of the summer. (Update on 2020 for Xena project.) (xenaproject.wordpress.com) |
| 1 point by carapace on Jan 14, 2021 | past |
|
| | Thoughts on the Pythagorean Theorem (xenaproject.wordpress.com) |
| 2 points by ColinWright on Jan 13, 2021 | past | 1 comment |
|
| | A mathematical formalisation challenge by Peter Scholze (xenaproject.wordpress.com) |
| 75 points by alimw on Dec 6, 2020 | past | 24 comments |
|
| | Liquid Tensor Experiment – Challenge (xenaproject.wordpress.com) |
| 4 points by auggierose on Dec 5, 2020 | past |
|
| | Thoughts on the Pythagorean Theorem (xenaproject.wordpress.com) |
| 1 point by muizelaar on Sept 22, 2020 | past |
|
| | Division by zero in type theory: a FAQ (xenaproject.wordpress.com) |
| 120 points by EvgeniyZh on July 6, 2020 | past | 82 comments |
|
| | Mathematics in type theory (xenaproject.wordpress.com) |
| 93 points by g0xA52A2A on June 23, 2020 | past | 22 comments |
|
| | Lean is better for proper maths than all the other theorem provers (xenaproject.wordpress.com) |
| 9 points by rstarast on April 7, 2020 | past | 1 comment |
|
| | Where is the fashionable mathematics? (xenaproject.wordpress.com) |
| 85 points by karlicoss on Feb 22, 2020 | past | 64 comments |
|
| | Lean is better for proper maths than all the other theorem provers (xenaproject.wordpress.com) |
| 2 points by RossBencina on Feb 10, 2020 | past |
|
| | Rigorous Mathematics (xenaproject.wordpress.com) |
| 3 points by ocfnash on Dec 13, 2019 | past |
|
|
| More |
