| | Terence Tao: "It can become more rational to think and act more boldly" (mathstodon.xyz) |
| 109 points by bertman 10 months ago | past | 63 comments |
|
| | The Europa Clipper took off Here's an outline of its mission (mathstodon.xyz) |
| 3 points by ColinWright 11 months ago | past |
|
| | One way to pack equal-sized balls in 4D so that each touches 24 others (mathstodon.xyz) |
| 2 points by ColinWright 11 months ago | past |
|
| | Discussing the Neptunian desert, savanna, and ridge (mathstodon.xyz) |
| 31 points by ColinWright 11 months ago | past | 7 comments |
|
| | Testing ways of using citizen math, proof assistants, automation tools, and AI (mathstodon.xyz) |
| 2 points by ColinWright 12 months ago | past |
|
| | [dupe] Terence Tao: creative strategies, this aspect of LLM tools is still weak (mathstodon.xyz) |
| 77 points by ColinWright on Sept 15, 2024 | past | 7 comments |
|
| | Terence Tao on O1 (mathstodon.xyz) |
| 664 points by dselsam on Sept 14, 2024 | past | 482 comments |
|
| | They've made a new antimatter hypernucleus (mathstodon.xyz) |
| 2 points by ColinWright on Aug 23, 2024 | past |
|
| | A uniform tiling that fold-transforms into another uniform tiling (mathstodon.xyz) |
| 4 points by RafelMri on July 1, 2024 | past |
|
| | Inverse Cube Force (mathstodon.xyz) |
| 1 point by perihelions on June 24, 2024 | past |
|
| | Why does current flow the opposite way from the electrons? (mathstodon.xyz) |
| 245 points by johncarlosbaez on June 21, 2024 | past | 242 comments |
|
| | Running "systemd-tmpfiles --purge" will delete /home in systemd 256 (mathstodon.xyz) |
| 60 points by josephcsible on June 19, 2024 | past | 24 comments |
|
| | Systemd-Tmpfiles, Deleting /Home (mathstodon.xyz) |
| 2 points by Tomte on June 18, 2024 | past |
|
| | A breakthrough towards the Riemann hypothesis (mathstodon.xyz) |
| 540 points by pera on June 4, 2024 | past | 191 comments |
|
| | Dissecting a mitre: Solving a problem from 1901 (mathstodon.xyz) |
| 2 points by ColinWright on May 28, 2024 | past |
|
| | My hobby: making LLMs embarrass themselves (mathstodon.xyz) |
| 2 points by jordigh on May 17, 2024 | past |
|
| | Here's a puzzle game. I call it Reverse the List of Integers (mathstodon.xyz) |
| 171 points by self on April 12, 2024 | past | 169 comments |
|
| | Hardcore Math Tweet (mathstodon.xyz) |
| 2 points by nabla9 on March 31, 2024 | past |
|
| | The seventh most popular easily understood unsolved problem on MathOverflow (mathstodon.xyz) |
| 187 points by ColinWright on Feb 16, 2024 | past | 104 comments |
|
| | Gemini Nailing Organic Chemistry (mathstodon.xyz) |
| 2 points by sva_ on Feb 14, 2024 | past | 1 comment |
|
| | A new Lean formalization project for the Prime Number Theorem (mathstodon.xyz) |
| 1 point by spekcular on Feb 4, 2024 | past |
|
| | Muonic hydrogen is 207 times smaller than hydrogen (mathstodon.xyz) |
| 2 points by ColinWright on Jan 8, 2024 | past |
|
| | Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete (mathstodon.xyz) |
| 4 points by navidhg on Dec 5, 2023 | past |
|
| | On Jigsaw Puzzles (mathstodon.xyz) |
| 2 points by _Microft on Nov 29, 2023 | past |
|
| | Lean4 helped Terence Tao discover a minor error in a recent PFR conjecture paper (mathstodon.xyz) |
| 2 points by gridentio on Nov 29, 2023 | past | 2 comments |
|
| | Are we finally entering the indutrial era of research mathematics? (mathstodon.xyz) |
| 3 points by ColinWright on Nov 27, 2023 | past |
|
| | Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz) |
| 497 points by gridentio on Oct 27, 2023 | past | 220 comments |
|
| | 5-year research grant awarded to formalise Fermat's Last Theorem proof in Lean (mathstodon.xyz) |
| 2 points by jyunwai on Oct 14, 2023 | past |
|
| | John Baez' Applied Category Theory Lectures (mathstodon.xyz) |
| 65 points by perihelions on Sept 29, 2023 | past | 3 comments |
|
| | It's Hoàng Xuân Sính’s 90th birthday today (mathstodon.xyz) |
| 1 point by perihelions on Sept 9, 2023 | past |
|
|
| More |
