Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | wm <wolfgang.mueckenheim@tha.de> |
|---|---|
| Newsgroups | sci.logic |
| Subject | AI understands where 99 % of mathematicians fail |
| Date | 2026-03-20 16:41 +0100 |
| Organization | tha |
| Message-ID | <10pjpqg$bme8$1@solani.org> (permalink) |
| References | <vpcele$is1s$3@solani.org> <1060lsa$2ri3s$2@solani.org> <10br8hd$h3hf$1@solani.org> <10br9et$h42u$1@solani.org> |
“In the construction where exactly one path is assigned to each node of the binary tree, every node is covered by at least one path. Since the set of nodes is countable, the set of chosen paths is also countable. Every infinite sequence of nodes—i.e., every path in the tree—passes through at least one of these chosen paths. Consequently, there is no additional path outside this set, and the binary tree is completely covered by countably many paths.” – ChatGPT, March 18, 2026 Regards, WM
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Prolog totally missed the AI Boom Mild Shock <janburse@fastmail.fm> - 2025-02-22 13:07 +0100
Auto-Encoders as Prolog Fact Stores (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> - 2025-02-22 22:54 +0100
Ignorance in ILP circles confirmed (Was: Auto-Encoders as Prolog Fact Stores) Mild Shock <janburse@fastmail.fm> - 2025-02-23 18:34 +0100
Neuro infused logic programming [NILP] (Re: Auto-Encoders as Prolog Fact Stores) Mild Shock <janburse@fastmail.fm> - 2025-03-19 21:00 +0100
Looks like sorting of rational trees needs an existential type (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> - 2025-07-23 13:58 +0200
LLMs / Autoencoders could profit for Bisimulation Quotienting (Was: Looks like sorting of rational trees needs an existential type) Mild Shock <janburse@fastmail.fm> - 2025-07-23 14:02 +0200
Are you Geh? From bi-simulation to bi-similarity (Re: LLMs / Autoencoders could profit for Bisimulation Quotienting) Mild Shock <janburse@fastmail.fm> - 2025-07-23 15:19 +0200
Quite vibrant logic history one can experience right now! (Was: Are you Geh? From bi-simulation to bi-similarity) Mild Shock <janburse@fastmail.fm> - 2025-07-23 19:13 +0200
The Prolog Community is extremly embarrassing (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> - 2025-07-25 21:28 +0200
Non-Wellfounded and Russell Paradox, what is your opinion? (Re: The Prolog Community is extremly embarrassing) Mild Shock <janburse@fastmail.fm> - 2025-07-25 21:37 +0200
Unfinished Bimbo Stuff: 4.1. Trees as terms (Was: Non-Wellfounded and Russell Paradox, what is your opinion?) Mild Shock <janburse@fastmail.fm> - 2025-07-25 23:03 +0200
Gold medal waiting for the crankiest of cranks (Re: Unfinished Bimbo Stuff: 4.1. Trees as terms) Mild Shock <janburse@fastmail.fm> - 2025-07-26 16:12 +0200
Old School Logicians waste time with compare/3 ? (Was: Gold medal waiting for the crankiest of cranks) Mild Shock <janburse@fastmail.fm> - 2025-07-26 16:18 +0200
RIs compare/3 a sunflower study subject? (e: Old School Logicians waste time with compare/3 ?) Mild Shock <janburse@fastmail.fm> - 2025-07-26 16:37 +0200
Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C# translation] (Re: The Prolog Community is extremly embarrassing (Re: Prolog totally missed the AI Boom) Mild Shock <janburse@fastmail.fm> - 2025-10-04 15:47 +0200
Swift AI versus Apertus AI: David against Goliath (Was: Abstraction Engine / Pattern-Amplification AI Avalanche [Java to C# translation]) Mild Shock <janburse@fastmail.fm> - 2025-10-04 16:03 +0200
AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-20 16:41 +0100
Re: AI understands where 99 % of mathematicians fail Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-03-20 19:06 +0000
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-20 22:57 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-21 11:42 +0200
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-21 13:47 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-22 11:13 +0200
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-22 14:00 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-23 11:52 +0200
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-23 16:33 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-24 10:33 +0200
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-24 20:29 +0100
Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-03-24 21:44 +0000
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-24 19:31 -0700
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-24 19:32 -0700
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-24 20:07 -0700
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-03-25 14:04 -0700
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-04-04 20:54 +0100
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) wm <wolfgang.mueckenheim@tha.de> - 2026-03-25 18:17 +0100
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Alan Mackenzie <acm@muc.de> - 2026-03-25 17:55 +0000
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Moebius <invalid@example.invalid> - 2026-04-30 04:43 +0200
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-30 09:10 -0700
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Mikko <mikko.levanto@iki.fi> - 2026-05-01 11:55 +0300
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-01 09:47 -0700
Re: Criticism of a proof of a contradiction in set theory (Was: Re: AI understands where 99 % of mathematicians fail) wm <wolfgang.mueckenheim@tha.de> - 2026-05-01 15:20 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-25 10:44 +0200
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-25 18:31 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-26 10:18 +0200
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-26 17:21 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-27 11:52 +0200
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-27 19:04 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-28 11:20 +0200
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-03-28 17:03 +0100
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-29 12:02 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-29 14:44 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-30 11:49 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-30 12:39 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-31 12:33 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-29 16:45 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-30 11:58 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-30 12:38 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-03-31 12:51 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-03-31 18:34 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-01 11:12 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-01 13:59 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-02 10:35 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-02 20:29 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-03 10:10 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-04 17:54 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-05 10:22 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-05 17:15 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-06 11:12 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-06 19:55 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-07 11:07 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-07 16:07 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-08 10:14 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-08 12:51 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:35 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-09 17:44 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-10 11:01 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-10 13:01 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-11 10:54 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-11 17:05 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-12 12:49 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-12 13:50 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-13 10:16 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-13 12:54 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-14 09:16 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-14 20:38 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-15 10:18 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-15 16:20 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:41 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-16 16:26 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-17 10:08 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-17 15:10 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-18 12:52 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-18 14:40 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-19 12:55 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-19 12:55 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-20 12:34 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-20 13:21 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-21 10:25 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-21 12:46 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-22 11:03 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-22 15:21 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-23 10:40 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-23 15:01 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-24 09:45 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-24 14:59 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-25 12:14 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-25 15:36 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-26 11:30 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-26 21:33 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-27 13:03 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-27 12:19 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-28 11:22 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-28 15:18 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-29 10:42 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-29 15:02 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-30 11:54 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-30 14:49 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-01 11:33 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-01 15:14 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-02 11:47 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-02 16:02 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-03 11:09 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-03 13:30 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-04 09:37 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-04 12:47 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-05 12:16 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-05 17:03 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-06 11:22 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-06 14:11 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-07 10:32 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-07 12:35 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-08 10:40 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-08 14:26 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-09 10:39 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-10 15:47 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-11 10:39 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-11 12:56 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-12 10:19 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-12 12:52 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-13 12:59 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-13 22:50 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-14 11:54 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-14 17:00 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-15 09:03 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-15 18:44 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-16 12:47 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-17 16:17 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-17 07:50 -0700
Re: AI understands where 99 % of mathematicians fail (forcing) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-17 09:14 -0700
Re: AI understands where 99 % of mathematicians fail (forcing) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-17 09:43 -0700
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-18 10:48 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-18 12:26 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-19 11:13 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-19 18:53 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-20 11:06 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-20 13:37 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-21 10:16 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-21 17:16 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-22 10:01 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-22 22:45 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-23 09:27 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-23 23:08 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-24 11:59 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-24 12:56 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-25 11:30 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-25 18:52 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-26 11:25 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-26 12:40 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-27 10:30 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-27 14:08 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-28 09:49 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-28 14:51 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-29 10:03 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-05-29 16:42 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-30 11:04 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-30 15:25 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-05-31 12:24 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-31 16:31 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-06-01 10:58 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-06-01 18:24 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-02 04:04 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-02 04:46 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-02 04:47 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-06-02 10:44 +0300
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-02 12:06 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-06-03 11:21 +0300
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-03 13:33 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-03 18:42 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 09:49 -0700
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-03 18:52 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-03 18:56 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-03 22:21 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 16:25 -0700
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 02:12 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 02:34 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 05:01 -0700
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 14:47 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 06:24 -0700
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 07:12 -0700
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 16:19 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 07:28 -0700
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 16:32 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 16:20 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 16:26 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 16:27 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 06:02 -0700
Re: AI understands where 99 % of mathematicians fail POE polcott <polcott333@gmail.com> - 2026-06-03 20:38 -0500
Re: AI understands where 99 % of mathematicians fail POE Mikko <mikko.levanto@iki.fi> - 2026-06-04 10:36 +0300
Re: AI understands where 99 % of mathematicians fail POE polcott <polcott333@gmail.com> - 2026-06-04 08:34 -0500
Re: AI understands where 99 % of mathematicians fail POE André G. Isaak <agisaak@gm.invalid> - 2026-06-04 10:02 -0600
Re: AI understands where 99 % of mathematicians fail POE polcott <polcott333@gmail.com> - 2026-06-04 11:42 -0500
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 19:13 +0200
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 19:24 +0200
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 12:48 -0500
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 20:00 +0200
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 11:00 -0700
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 11:05 -0700
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 20:09 +0200
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 11:15 -0700
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 13:12 -0500
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 20:17 +0200
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 15:08 -0700
Re: AI understands where 99 % of mathematicians fail POE André G. Isaak <agisaak@gm.invalid> - 2026-06-04 11:20 -0600
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 12:51 -0500
Re: AI understands where 99 % of mathematicians fail POE André G. Isaak <agisaak@gm.invalid> - 2026-06-04 12:18 -0600
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 13:51 -0500
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 21:01 +0200
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 14:18 -0500
Re: AI understands where 99 % of mathematicians fail POE André G. Isaak <agisaak@gm.invalid> - 2026-06-04 13:21 -0600
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 15:23 -0500
Re: AI understands where 99 % of mathematicians fail POE André G. Isaak <agisaak@gm.invalid> - 2026-06-04 14:32 -0600
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 15:52 -0500
Re: AI understands where 99 % of mathematicians fail POE André G. Isaak <agisaak@gm.invalid> - 2026-06-04 15:04 -0600
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 16:21 -0500
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 23:07 +0200
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 16:26 -0500
Re: AI understands where 99 % of mathematicians fail POE Mikko <mikko.levanto@iki.fi> - 2026-06-05 12:46 +0300
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 23:11 +0200
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-04 23:20 +0200
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 16:36 -0500
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 16:34 -0500
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 14:33 -0500
Re: AI understands where 99 % of mathematicians fail POE André G. Isaak <agisaak@gm.invalid> - 2026-06-04 13:06 -0600
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 13:28 -0700
Re: AI understands where 99 % of mathematicians fail POE olcott <polcott333@gmail.com> - 2026-06-04 15:50 -0500
Re: AI understands where 99 % of mathematicians fail POE Mikko <mikko.levanto@iki.fi> - 2026-06-05 11:22 +0300
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 05:43 -0700
Re: AI understands where 99 % of mathematicians fail POE polcott <polcott333@gmail.com> - 2026-06-04 08:32 -0500
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 05:20 -0700
Re: AI understands where 99 % of mathematicians fail POE polcott <polcott333@gmail.com> - 2026-06-04 10:23 -0500
Re: AI understands where 99 % of mathematicians fail POE "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-04 18:21 -0700
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-05 03:44 +0200
Re: AI understands where 99 % of mathematicians fail POE "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-04 22:51 -0700
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-05 07:44 -0700
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-05 17:51 +0200
Re: AI understands where 99 % of mathematicians fail POE "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-05 14:37 -0700
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-06 00:16 +0200
Re: AI understands where 99 % of mathematicians fail POE "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-05 16:28 -0700
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-06 02:06 +0200
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-06 02:14 +0200
Re: AI understands where 99 % of mathematicians fail POE "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-06 13:32 -0700
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-06 22:44 +0200
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-06 01:10 +0200
Re: AI understands where 99 % of mathematicians fail POE "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-05 16:26 -0700
Re: AI understands where 99 % of mathematicians fail POE Moebius <moebius@example.invalid> - 2026-06-05 03:46 +0200
Re: AI understands where 99 % of mathematicians fail POE Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-05 07:50 -0700
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 09:37 -0700
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-06-04 11:59 +0300
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 05:03 -0700
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 04:45 -0700
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 17:09 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-04 17:20 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-04 10:56 -0700
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-06-05 12:40 +0300
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-05 07:31 -0700
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 09:31 -0700
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 09:28 -0700
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-02 04:10 +0200
Re: AI understands where 99 % of mathematicians fail Moebius <moebius@example.invalid> - 2026-06-02 04:18 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-03 09:21 -0700
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-27 07:59 -0700
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-27 17:19 +0200
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-27 09:13 -0700
Re: AI understands where 99 % of mathematicians fail Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-27 11:11 -0700
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-05-23 22:36 +0200
Re: AI understands where 99 % of mathematicians fail (forcing) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-05-18 07:36 -0700
Re: AI understands where 99 % of mathematicians fail Jeff Barnett <jbb@notatt.com> - 2026-04-17 01:13 -0600
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-17 15:21 +0200
Re: AI understands where 99 % of mathematicians fail Carlo XYZ <carloxyz@invalid.invalid> - 2026-04-06 08:26 +0200
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-04 17:58 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-05 10:28 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-05 17:20 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-06 11:22 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-06 20:03 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-07 11:11 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-07 17:07 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-08 10:20 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-08 12:56 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-09 12:40 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-09 17:46 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-10 11:07 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-10 13:03 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-11 11:00 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-11 17:10 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-12 13:02 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-12 13:55 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-13 10:28 +0300
Re: AI understands where 99 % of mathematicians fail wm <wolfgang.mueckenheim@tha.de> - 2026-04-13 12:59 +0200
Re: AI understands where 99 % of mathematicians fail Mikko <mikko.levanto@iki.fi> - 2026-04-14 09:24 +0300
Re: AI understands where 99 % of mathematicians fail WM <wolfgang.mueckenheim@tha.de> - 2026-04-14 20:45 +0200
csiph-web