RSS Anyway logo
HotLatestFollowingStatusAbout

xenaproject.wordpress.com

Sign in to follow
xenaproject.wordpress.com
RSSAtomJSON
  1. 01.
    Human mathematicians are being outcounterexampled
    xenaproject.wordpress.com · /feed
    ▲ 497 · Jul 20 · 255 comments on HN
  2. 02.
    Formalizing Fermat workshop
    xenaproject.wordpress.com · /feed
    ▲ 0 · May 15
  3. 03.
    Accelerating mathematics
    xenaproject.wordpress.com · /feed
    ▲ 0 · Feb 9
  4. 04.
    Formalization of Erdős problems
    xenaproject.wordpress.com · /feed
    ▲ 0 · Dec 5
  5. 05.
    Formal or not formal? That is the question in AI for theorem proving.
    xenaproject.wordpress.com · /feed
    ▲ 0 · Oct 22
  6. 06.
    AI at IMO 2025: a round-up
    xenaproject.wordpress.com · /feed
    ▲ 0 · Aug 3
  7. 07.
    Think of a number: an update
    xenaproject.wordpress.com · /feed
    ▲ 0 · Mar 16
  8. 08.
    What is a quotient?
    xenaproject.wordpress.com · /feed
    ▲ 0 · Feb 9
  9. 09.
    Think of a number.
    xenaproject.wordpress.com · /feed
    ▲ 0 · Jan 20
  10. 10.
    Can AI do maths yet? Thoughts from a mathematician.
    xenaproject.wordpress.com · /feed
    ▲ 0 · Dec 22