Ondřej_Kubů

Karma: 45

AI in Mathematics, 2026: From Assistant to Top Researcher

Ondřej_Kubů3 Aug 2026 13:15 UTC

9 points

1 comment1 min readLW link

ARC’s research agenda: solid mathematics, an unclear safety case

Ondřej_Kubů28 Jul 2026 16:49 UTC

16 points

0 comments1 min readLW link

ARC’s research agenda: solid mathematics, an unclear safety case

Ondřej_Kubů28 Jul 2026 16:21 UTC

2 points

0 comments6 min readLW link

Untitled Draft

Ondřej_Kubů19 Jun 2026 10:47 UTC

1 point

0 comments3 min readLW link