Submissions from xenaproject.wordpress.com

		Formalization of Erdős Problems (xenaproject.wordpress.com)
		2 points by surprisetalk 3 months ago \| past
		Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)
		1 point by unprovable 3 months ago \| past
		Formalization of Erdős Problems (xenaproject.wordpress.com)
		7 points by kevinbuzzard 4 months ago \| past \| 1 comment
		Formal or not formal? That is the question in AI for theorem proving (xenaproject.wordpress.com)
		1 point by todsacerdoti 5 months ago \| past
		AI at IMO 2025: a round-up (xenaproject.wordpress.com)
		3 points by hcarlens 8 months ago \| past
		Think of a Number (xenaproject.wordpress.com)
		40 points by IdealeZahlen 9 months ago \| past \| 8 comments
		Think of a Number: An Update (xenaproject.wordpress.com)
		2 points by mathgenius on March 16, 2025 \| past
		Can AI do maths yet? Thoughts from a mathematician (xenaproject.wordpress.com)
		390 points by mathgenius on Dec 23, 2024 \| past \| 350 comments
		Fermat's Last Theorem – how it’s going (xenaproject.wordpress.com)
		443 points by verbify on Dec 12, 2024 \| past \| 210 comments
		Lean in 2024 (xenaproject.wordpress.com)
		1 point by looofooo0 on Oct 1, 2024 \| 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
		More

HN For You