Tag: ai
- Mathematics and Mathematicians (01 Aug 2026)
- Fabling: Puzzles beyond Rubik's Cube with TeX (10 Jul 2026)
- Early-stage mathematicians in the age of AI (05 Mar 2026)
- ChatGPT5.2-Pro proved something for me (13 Jan 2026)
- What should we do as mathematicians with AI? (11 Aug 2025)
- Solving olympiad geometry without human demonstrations (17 Jan 2024)
- ICML 2023 Review (30 Jul 2023)
- LoRA: Low-Rank Adaptation of Large Language Models (02 May 2023)
- ChatGPT and Watermarking (28 Jan 2023)
- Simple code snippet for an offline translation (13 Jan 2023)
- AlphaTensor: Discovering faster matrix multiplication algorithms with reinforcement learning (06 Oct 2022)
- Construction in Combinatorics via Neural Network (21 Sep 2022)