| | Can AI do maths yet? Thoughts from a mathematician (xenaproject.wordpress.com) |
|
390 points by mathgenius 38 days ago | past | 350 comments
|
|
| | Fermat's Last Theorem β how itβs going (xenaproject.wordpress.com) |
|
443 points by verbify 49 days ago | past | 210 comments
|
|
| | Lean in 2024 (xenaproject.wordpress.com) |
|
1 point by looofooo0 4 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
|
|
| | A computer-generated proof that nobody understands β Xena (xenaproject.wordpress.com) |
|
4 points by EvgeniyZh on Nov 16, 2019 | past | 2 comments
|
|
| | A computer-generated proof that nobody understands (xenaproject.wordpress.com) |
|
1 point by colinprince on Oct 28, 2019 | past
|
|
| | What Is the Xena Project? (xenaproject.wordpress.com) |
|
2 points by mathgenius on July 6, 2019 | past
|
|
|
|
More |
