Forum: >>> Magnum BBS <<<

Dark
Log in

Username Password

Terence Tao, "Machine Assisted Proof"

From Mild Shock@21:1/5 to All on Tue Feb 27 17:02:24 2024

Terence Tao, "Machine Assisted Proof" https://www.youtube.com/watch?v=AayZuuDDKP0

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Who's Online
Recent Visitors
- Plume
  Mon Jun 16 06:46:57 2025
  from Uk via SSH
- Centurion
  Mon Jun 16 05:18:46 2025
  from Berea, Ohio via Telnet
- Guest
  Sun Jun 15 18:58:11 2025
  from No via SSH
- Plume
  Sun Jun 15 15:01:03 2025
  from Uk via SSH
- Centurion
  Sun Jun 15 09:44:59 2025
  from Berea, Ohio via Telnet
- Deasl
  Sun Jun 15 08:43:59 2025
  from Foo, Bar via SSH
- Deasl
  Sun Jun 15 08:41:06 2025
  from Foo, Bar via SSH
- Plume
  Sat Jun 14 21:49:07 2025
  from Uk via SSH

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	493
Nodes:	16 (2 / 14)
Uptime:	192:40:37
Calls:	9,707
Calls today:	2
Files:	13,740
Messages:	6,180,162